Sfoglia per Autore
Computation of K-reachable paths in Petri nets
2024-01-01 Cordone, R.; Basile, F.; Piroddi, L.
Monitors under attack: Preliminary results on robustness analysis and synthesis
2024-01-01 Zhang, Y.; Basile, F.; Chen, Y.; Li, Z.
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.
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.
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.
A Matlab toolbox implementing MSCG computation
2022-01-01 Basile, F.; Ferrara, L.
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
2022-01-01 Basile, F.; Cordone, R.; Piroddi, 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.
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.
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.
Non-interference enforcement via supervisory control in bounded Petri nets
2021-01-01 Basile, F.; Detommasi, G.; Sterle, C.
Finite-time accuracy of timed discrete event systems
2021-01-01 Basile, F.; Ferrara, L.
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
2021-01-01 Li, L.; Basile, F.; Li, Z.
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.
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