Start May 2007
End July 2011
Area: Air Traffic Management System
“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