Sfoglia per Autore
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
2023-01-01 Basile, F.; De Tommasi, G.; Motta, C.
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
2023-01-01 Basile, F.; Ferrara, L.
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
2022-01-01 Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C.
Assessment of multilevel intransitive non-interference for Discrete Event Systems
2022-01-01 Basile, F.; De Tommasi, G.
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems
2022-01-01 Basile, F.; De Tommasi, G.; Motta, C.; Sterle, C.
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
2022-01-01 Basile, F.; Cordone, R.; Piroddi, L.
A Matlab toolbox implementing MSCG computation
2022-01-01 Basile, F.; Ferrara, L.
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming
2022-01-01 Basile, F.; Tommasi, G. D.; Motta, C.; Petrillo, A.; Santini, S.
Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets
2022-01-01 Basile, F.; Ferrara, L.
A model-based approach to the validation of automation systems
2021-01-01 Basile, F.; Ferrara, L.
Non-interference enforcement via supervisory control in bounded Petri nets
2021-01-01 Basile, F.; Detommasi, G.; Sterle, C.
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
2021-01-01 Li, L.; Basile, F.; Li, Z.
Finite-time accuracy of timed discrete event 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 approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
2021-01-01 Lefebvre, D.; Basile, F.
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled with Bounded Petri Nets
2021-01-01 Basile, F.; De Tommasi, G.
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 Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems
2020-01-01 Li, L.; Basile, F.; Li, Z.
From supervisory control to PLC code: A way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems
2020-01-01 Basile, F.; Ferrara, L.
Makespan optimization using Timed Petri Nets and Mixed Integer Linear Programming Problem
2020-01-01 Marino, E. D.; Su, R.; Basile, F.
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