MOTTA, CARLO
MOTTA, CARLO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Optimization-Based Assessment of Initial-State Opacity in Petri Nets
2021 Tommasi, Gianmaria De; Motta, Carlo; Petrillo, Alberto; Santini, Stefania
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
2022 Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio
Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems
2022 Basile, Francesco; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming
2022 Basile, Francesco; Tommasi, Gianmaria De; Motta, Carlo; Petrillo, Alberto; Santini, Stefania
Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays
2022 De Tommasi, Gianmaria; Motta, Carlo; Petrillo, Alberto; Santini, Stefania
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
2023 Basile, Francesco; De Tommasi, Gianmaria; Motta, Carlo
Double-layer control architecture for motion and torque optimisation of autonomous electric vehicles
2023 Coppola, A.; De Tommasi, G.; Motta, C.; Petrillo, A.; Santini, S.
Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Cyber-Attacks
2023 De Tommasi, Gianmaria; Motta, Carlo; Petrillo, Alberto; Santini, Stefania
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Optimization-Based Assessment of Initial-State Opacity in Petri Nets | 2.1 Contributo in volume (Capitolo o Saggio) | 2021 | Tommasi, Gianmaria De; Motta, Carlo; Petrillo, Alberto; Santini, Stefania | |
| An optimization-based approach to assess non-interference in labeled and bounded Petri net systems | 1.1 Articolo in rivista | 2022 | Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio | |
| Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems | 1.1 Articolo in rivista | 2022 | Basile, Francesco; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio | |
| Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming | 4.1 Articoli in Atti di convegno | 2022 | Basile, Francesco; Tommasi, Gianmaria De; Motta, Carlo; Petrillo, Alberto; Santini, Stefania | |
| Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays | 4.1 Articoli in Atti di convegno | 2022 | De Tommasi, Gianmaria; Motta, Carlo; Petrillo, Alberto; Santini, Stefania | |
| Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques | 1.1 Articolo in rivista | 2023 | Basile, Francesco; De Tommasi, Gianmaria; Motta, Carlo | |
| Double-layer control architecture for motion and torque optimisation of autonomous electric vehicles | 1.1 Articolo in rivista | 2023 | Coppola, A.; De Tommasi, G.; Motta, C.; Petrillo, A.; Santini, S. | |
| Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Cyber-Attacks | 4.1 Articoli in Atti di convegno | 2023 | De Tommasi, Gianmaria; Motta, Carlo; Petrillo, Alberto; Santini, Stefania |