Maria D. Di Benedetto

Error Detection within a Specific Time Horizon

Maria D. Di Benedetto, 2005 .

Integrated symbolic control design for nonlinear systems with infinite states specifications

Giordano Pola, Alessandro Borri, Maria D. Di Benedetto, 2010 .

Critical Observability for a Class of Stochastic Hybrid Systems and Application to Air Traffic Management

Maria D. Di Benedetto, 2005 .

Decentralized Critical Observers of Networks of Finite State Machines and Model Reduction

Giordano Pola, Elena De Santis, Davide Pezzuti, 2014 .