Design of Resilient Supervisory Control for Autonomous Connected Vehicles Approaching Unsignalized Intersection in presence of Communication Delays. - Gianmaria De Tommasi; Carlo Motta; Alberto Petrillo; Stefania Santini (ICNSC, 2022)

Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Alberto Petrillo; Stefania Santini (MED, 2022)

Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta; Claudio Sterle (IEEE Control. Syst. Lett., 2022)

Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2023)

Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. - Francesco Basile; Gianmaria De Tommasi; Carlo Motta (Autom., 2025)

SOTIF-Oriented Distributed Control for Connected Autonomous Vehicles Platoons. - Xiaohua Ge; Dario Giuseppe Lui; Carlo Motta; Alberto Petrillo; Stefania Santini (IEEE Trans. Syst. Man Cybern. Syst., 2025)