Controllability of Linear Systems With Switching Delays
Jungers, Raphael M., D'Innocenzo, Alessandro, Di Benedetto, Maria D.
Published in IEEE transactions on automatic control (01.04.2016)
Published in IEEE transactions on automatic control (01.04.2016)
Get full text
Journal Article
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Pola, Giordano, Pepe, Pierdomenico, Di Benedetto, Maria D., Tabuada, Paulo
Published in Systems & control letters (01.06.2010)
Published in Systems & control letters (01.06.2010)
Get full text
Journal Article
Approximate Abstractions of Stochastic Hybrid Systems
Abate, A., D'Innocenzo, A., Di Benedetto, M. D.
Published in IEEE transactions on automatic control (01.11.2011)
Published in IEEE transactions on automatic control (01.11.2011)
Get full text
Journal Article
Discrete state observability of hybrid systems
Di Benedetto, Maria D., Di Gennaro, Stefano, D'Innocenzo, Alessandro
Published in International journal of robust and nonlinear control (25.09.2009)
Published in International journal of robust and nonlinear control (25.09.2009)
Get full text
Journal Article
Randomized sampling for large zero-sum games
Bopardikar, Shaunak D., Borri, Alessandro, Hespanha, João P., Prandini, Maria, Di Benedetto, Maria D.
Published in Automatica (Oxford) (01.05.2013)
Published in Automatica (Oxford) (01.05.2013)
Get full text
Journal Article
Verification of Hybrid Automata Diagnosability by Abstraction
Di Benedetto, Maria D., Di Gennaro, S., D'Innocenzo, A.
Published in IEEE transactions on automatic control (01.09.2011)
Published in IEEE transactions on automatic control (01.09.2011)
Get full text
Journal Article
Critical Observability of Finite State Machines Under Attacks
Shamloo, Naeimeh Fakhr, De Santis, Elena, Di Benedetto, Maria D.
Published in 2021 29th Mediterranean Conference on Control and Automation (MED) (22.06.2021)
Published in 2021 29th Mediterranean Conference on Control and Automation (MED) (22.06.2021)
Get full text
Conference Proceeding
Critical observability of networks of Finite State Machines
Pezzuti, Davide, Lessanibahri, Sina, Pola, Giordano, De Santis, Elena, Di Benedetto, Maria D.
Published in 2015 European Control Conference (ECC) (01.07.2015)
Published in 2015 European Control Conference (ECC) (01.07.2015)
Get full text
Conference Proceeding
A structural approach to detectability for a class of hybrid systems
De Santis, Elena, Di Benedetto, Maria Domenica, Pola, Giordano
Published in Automatica (Oxford) (01.05.2009)
Published in Automatica (Oxford) (01.05.2009)
Get full text
Journal Article
A hybrid observer for the driveline dynamics
Balluchi, Andrea, Benvenuti, Luca, Di Benedetto, Maria D., Vincentelli, Alberto L. Sangiovanni
Published in 2001 European Control Conference (ECC) (01.09.2001)
Published in 2001 European Control Conference (ECC) (01.09.2001)
Get full text
Conference Proceeding
Journal Article
The Use of Hard Palate Mucosal Graft Combined with Lateral Canthus Suspension for Ocular Prosthesis Stability
Scalise, Alessandro, Pirro, Ortensia, Vico, Sara, Consorti, Giuseppe, Di Benedetto, Giovanni Maria
Published in Plastic and reconstructive surgery. Global open (01.09.2024)
Published in Plastic and reconstructive surgery. Global open (01.09.2024)
Get full text
Journal Article
Approximate equivalence and synchronization of metric transition systems
Julius, A. Agung, D’Innocenzo, Alessandro, Di Benedetto, Maria Domenica, Pappas, George J.
Published in Systems & control letters (01.02.2009)
Published in Systems & control letters (01.02.2009)
Get full text
Journal Article
Automotive engine control and hybrid systems: challenges and opportunities
Balluchi, A., Benvenuti, L., di Benedetto, M.D., Pinello, C., Sangiovanni-Vincentelli, A.L.
Published in Proceedings of the IEEE (01.07.2000)
Published in Proceedings of the IEEE (01.07.2000)
Get full text
Journal Article
Symbolic models approximating possibly unstable time-delay systems with application to the artificial pancreas
Pola, Giordano, Borri, Alessandro, Pepe, Pierdomenico, Palumbo, Pasquale, Di Benedetto, Maria D.
Published in 2019 18th European Control Conference (ECC) (01.06.2019)
Published in 2019 18th European Control Conference (ECC) (01.06.2019)
Get full text
Conference Proceeding
On symbolic control design of discrete-time nonlinear systems with state quantized measurements
Pola, Giordano, Borri, Alessandro, Di Benedetto, Maria D.
Published in 2016 IEEE 55th Conference on Decision and Control (CDC) (01.12.2016)
Published in 2016 IEEE 55th Conference on Decision and Control (CDC) (01.12.2016)
Get full text
Conference Proceeding
Bisimulation theory for switching linear systems
Pola, G., van der Schaft, A.J., Di Benedetto, M.D.
Published in 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) (2004)
Published in 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601) (2004)
Get full text
Conference Proceeding