- 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.
- P. Caravani, E. De Santis, Observer based stabilization of linear switching systems, International Journal of Robust and Nonlinear Control, , Special Issue on Observability and Observer Design for Hybrid Systems. Volume 19 Issue 14, Pages 1541 – 1563, 2009.
- M. Colageo, M., A. Di Francesco, Hybrid System Framework for the Safety Modelling of the In Trail Procedure, ICRAT 2008, June 2008.
- E. De Santis, M.D. Di Benedetto, Observer Design for Discrete-Time Linear Switching Systems, 3rd IFAC Symposium on System, Structure and Control, IFAC-SSSC07, Foz do Iguaçu, Brazil, October 17-19, 2007.
- E. De Santis, Invariant Dual Cones for Hybrid Systems, Systems & Control Letters, 57, pp. 971-977, 2008.
- E. De Santis, M.D. Di Benedetto, G. Pola, A structural approach to detectability for a class of hybrid systems, Automatica, 45(5):1202-1206, 2009.
- E. De Santis, M.D. Di Benedetto, A. Petriccone, G. Pola, A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems, Proc. of the 8th Innovative Research Workshop & Exhibition, EUROCONTROL, Paris, France, 2009.
- E. De Santis, M.D. Di Benedetto, G. Pola, A complexity reduction approach to detectability of switching systems, International Journal of Control, 83(9):1930-1938, September 2010.
- M.D. Di Benedetto, S. Di Gennaro, A. D’Innocenzo, Diagnosability of Hybrid Automata with Measurement Uncertainty, 47th IEEE Conference on Decision and Control (CDC'08), Cancun Mexico, December 2008.
- M.D. Di Benedetto, A. D’Innocenzo, A. Petriccone, Automatic Verification of Temporal Properties of Air Traffic Management Procedures Using Hybrid Systems, EUROCONTROL Innovative ATM Research Workshop & Exhibition, 2008.
- M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Discrete State Observability of Hybrid Systems. International Journal of Robust and Nonlinear Control, Special Issue on Observability and Observer Design for Hybrid Systems. Volume 19 Issue 14, Pages 1564 – 1580, 2009.
- M.D. Di Benedetto, G. Di Matteo, and A. D’Innocenzo, Stochastic Validation of ATM Procedures by Abstraction Algorithms. ICRAT 2010, June 02-03.
- M.D. Di Benedetto, S. Di Gennaro, A. D'Innocenzo. Verification of Hybrid Automata Diagnosability by Abstraction. IEEE Transactions on Automatic Control, Volume: 56 , Issue: 9, 2011. Page(s): 2050 – 2061.
- A.A. Julius, A. D'Innocenzo, G.J. Pappas, M.D. Di Benedetto. Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters, Volume 58, Issue 2, February 2009, Pages 94-101.
- A. Petriccone, G. Pola, M.D. Di Benedetto, E. De Santis, A Complexity Reduction Approach to the Detection of Safety Critical Situations in Air Traffic Management Systems, Proc. of 49th IEEE Conference on Decision and Control, Atlanta, USA, 2010, pp. 2081-2085.
- G.Pola, M.D. Di Benedetto, E. De Santis, A Compositional Approach to Bisimulation of Arenas of Finite State Machines, IFAC World Congress, Milan, Italy, August 28th-September 2nd 2011.
