Sfoglia per Autore
Computation of K-reachable paths in Petri nets
2024 Cordone, R.; Basile, F.; Piroddi, L.
Monitors under attack: Preliminary results on robustness analysis and synthesis
2024 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 Basile, F.; De Tommasi, G.; Motta, C.
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
2023 Basile, F.; Ferrara, L.
A Matlab toolbox implementing MSCG computation
2022 Basile, F.; Ferrara, L.
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
2022 Basile, F.; Cordone, R.; Piroddi, L.
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming
2022 Basile, F.; Tommasi, G. D.; Motta, C.; Petrillo, A.; Santini, S.
Assessment of multilevel intransitive non-interference for Discrete Event Systems
2022 Basile, F.; De Tommasi, G.
Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets
2022 Basile, F.; Ferrara, L.
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
2022 Basile, F.; Boccia, M.; De Tommasi, G.; Motta, C.; Sterle, C.
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems
2022 Basile, F.; De Tommasi, G.; Motta, C.; Sterle, C.
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
2021 Li, L.; Basile, F.; Li, Z.
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled with Bounded Petri Nets
2021 Basile, F.; De Tommasi, G.
Finite-time accuracy of timed discrete event systems
2021 Basile, F.; Ferrara, L.
A sliding-window approach to analyze the accuracy of timed DESs
2021 Basile, F.; Ferrara, L.
A model-based approach to the validation of automation systems
2021 Basile, F.; Ferrara, L.
Non-interference enforcement via supervisory control in bounded Petri nets
2021 Basile, F.; Detommasi, G.; Sterle, C.
An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems
2021 Lefebvre, D.; Basile, F.
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
2020 Li, L.; Basile, F.; Li, Z.
A Reduced Computation of State Space to Enforce GMECs and Deadlock-Freeness on TPN Systems
2020 Li, L.; Basile, F.; Li, Z.
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