Sfoglia per Autore
Mostrati risultati da 1 a 9 di 9
Discovering of the unobservable behaviour of an Interpreted Petri Net model
2019-01-01 Basile, F.; Faraut, G.; Ferrara, L.; Lesage, J. -J.
From supervisory control to PLC code: A way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems
2020-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.
A sliding-window approach to analyze the accuracy of timed DESs
2021-01-01 Basile, F.; Ferrara, L.
A model-based approach to the validation of automation systems
2021-01-01 Basile, F.; Ferrara, L.
Finite-time accuracy of timed discrete event systems
2021-01-01 Basile, F.; Ferrara, L.
A Matlab toolbox implementing MSCG computation
2022-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.
Mostrati risultati da 1 a 9 di 9
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile