DEA - Systèmes Temporisés et Hybrides

• Slides
• Timed automata
• Hybrid systems
• Tools
• Kronos home page.
• Articles
• Timed automata
• S.Yovine. Model-checking timed automata. In Embedded Systems, G. Rozenberg and F. Vaandrager eds., Lecture Notes in Computer Science 1494, 1998.
• S.Yovine. Kronos: A verification tool for real-time systems. In Springer International Journal of Software Tools for Technology Transfer, Vol. 1, Nber. 1/2, October 1997.
• T.A. Henzinger, X. Nicollin, J. Sifakis and S. Yovine. Symbolic model checking for real-time systems. Information and Computation 111(2):193--244, 1994.
• C.Daws, A.Olivero, S.Tripakis and S.Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.
• C.Daws, A.Olivero and S.Yovine. Verifying ET-LOTOS programs with KRONOS. In Proceedings of the 7th IFIP WG G.1 International Conference of Formal Description Techniques FORTE'94, pages 227-242, Bern, Switzerland, October 1994. Formal Description Techniques VII, Chapman & Hall.
• Hybrid systems
• G. Lafferriere, G. Pappas, S. Yovine. Symbolic reachability computation of families of linear vector fields. Journal of Symbolic Computation, 32(3):231-253, September 2001. Academic Press.
• Y. Kesten, A. Pnueli, J. Sifakis and S. Yovine. Decidable Integration Graphs. Information and Computation, 150:209--243, 1999. Academic Press.
• R.Alur, C.Courcoubetis, N.Halbwachs, T.Henzinger, P.Ho, X.Nicollin, A.Olivero, J.Sifakis, and S.Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3--34, 1995.

---

Sergio Yovine

Last modified: Fri Mar 14, 2003