“Safety, Complexity and Responsibility based design and validation of highly automated Air Traffic Management”) where the HYBRIDGE results on analysis and control of hybrid systems provide the basis for the study of advanced mathematical techniques for the development of autonomous flight.

• A. Abate, A. D'Innocenzo, M.D. Di Benedetto, S. Sastry (2008). Markov Set-Chains as abstractions of Stochastic Hybrid Systems. In: Hybrid Systems:Computation and Control 2008, Lecture Notes in Computer Science

• A. Abate, A. D'Innocenzo, M.D. Di Benedetto, S. Sastry. Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems. Nonlinear Analysis: Hybrid Systems, Volume 3, Issue 2, May 2009, Pages 150-162.

• P. Caravani, E. De Santis: On observer based stabilization of networked systems. CDC 2009: Proceedings of the 48th IEEE Conference on Decision and Control, pp. 2017-2022, 2009

View all publications from this project

Elena De Santis

Maria Domenica Di Benedetto

Stefano Di Gennaro

Alessandro D'Innocenzo

Giordano Pola