FERRARA, LUIGI
FERRARA, LUIGI
Dipartimento di Ingegneria dell'Informazione ed Elettrica e Matematica applicata/DIEM
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.016 secondi).
A Matlab toolbox implementing MSCG computation
2022-01-01 Basile, F.; Ferrara, L.
A model-based approach to the validation of automation systems
2021-01-01 Basile, F.; Ferrara, L.
A sliding-window approach to analyze the accuracy of timed DESs
2021-01-01 Basile, F.; Ferrara, L.
An Optimization-Based Approach to Discover the Unobservable Behavior of a Discrete-Event System through Interpreted Petri Nets
2020-01-01 Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J.
Discovering of the unobservable behaviour of an Interpreted Petri Net model
2019-01-01 Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J.
Finite-time accuracy of timed discrete event systems
2021-01-01 Basile, F.; Ferrara, L.
From supervisory control to PLC code: A way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems
2020-01-01 Basile, F.; Ferrara, L.
Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets
2022-01-01 Basile, F.; Ferrara, L.
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
2023-01-01 Basile, F.; Ferrara, L.