Sfoglia per Autore
Initial-state-opacity assessment in timed discrete event systems via optimization techniques
2026 Basile, F.; Calce, E.; De Tommasi, G.
A Sequence-Based Approach for the Verification of Current-State Opacity in Bounded Discrete Event Systems
2026 Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F.
Verification of K-step Non-Interference for Live Bounded and Reversible Discrete Event Systems Modeled with Petri Nets
2025 Basile, F.; Tommasi, G. D.; Dubbioso, S.; Fiorenza, F.
Sequence-based Vs Observer-based Approaches to Verify Current-State Opacity: A Benchmark Case
2025 Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F.
Model Predictive Supervisory Control of Discrete Event Systems
2025 Basile, F.; Giua, A.; Marcone, G.
Optimization-based computation of bounded sequences to reach target states in DESs
2025 Cordone, R.; Basile, F.; Piroddi, L.
An Optimization Approach to Current State Opacity Assessment
2024 Basile, F.; De Tommasi, G.; Dubbioso, S.; Fiorenza, F.
Monitors under attack: Preliminary results on robustness analysis and synthesis
2024 Zhang, Y.; Basile, F.; Chen, Y.; Li, Z.
Computation of K-reachable paths in Petri nets
2024 Cordone, R.; Basile, F.; Piroddi, L.
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
2023 Basile, F.; Ferrara, L.
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
2023 Basile, F.; De Tommasi, G.; Motta, C.
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.
A Matlab toolbox implementing MSCG computation
2022 Basile, F.; Ferrara, L.
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.
Assessment of multilevel intransitive non-interference for Discrete Event Systems
2022 Basile, F.; De Tommasi, G.
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.
Residuals-based fault diagnosis of industrial automation systems using timed and untimed Interpreted Petri nets
2022 Basile, F.; Ferrara, L.
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications
2022 Basile, F.; Cordone, R.; Piroddi, L.
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems
2021 Li, L.; Basile, F.; Li, Z.
Non-interference enforcement via supervisory control in bounded Petri nets
2021 Basile, F.; Detommasi, G.; Sterle, C.
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