Author:
D'Innocenzo A.,Di Benedetto M.D.,Di Gennaro S.
Reference16 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Di Benedetto, M. D., A. D'Innocenzo, G. Pola, C. Rinaldi and F. Santucci (2006a) Modeling of adaptive behaviours in control over wireless networks. In: Proceedings of the 17th International Symposium on Mathematical Theory of Network and Systems. Kyoto, Japan.
3. Di Benedetto, M. D., S. Di Gennaro and A. D'Innocenzo (2005). Error detection within a specific time horizon and application to air traffic management. In: Proceedings of the Joint 44th IEE Conference on Decision and Control and European Control Conference (CDC–ECC'05), Seville, Spain. pp. 7472-7477.
4. Di Benedetto, M. D., S. Di Gennaro and A. D'Innocenzo (2006b). Critical states detection with bounded probability of false alarm and application to air traffic management. In: Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Alghero, Sardinia, Italy.
5. Diagnosability verification for hybrid automata;Di Benedetto,2007