Relating time progress and deadlines in hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 286-300

  Bornot, Sébastien ^a   Sifakis, Joseph ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

GALOIS CONNECTION; TIME PROGRESS;

REAL TIME SYSTEMS;

EID: 84957685266     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014733     Document Type: Conference Paper

References (8)

1. R. Alur, C. Courconbetis, 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.
2. 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.
3. Z. Manna and A. Pnuefi. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
4. O. Ore. Galois connections. Trans. Amer. Math. Society, 55:493-513, February 1944.
5. L.E. Sanchis. Data types as lattices: retractions, closures and projections. RAIRO, Theoretical Computer Science, 11, no 4:339-344, 1977.
6. P. Sénac, M. Diaz, and P. de Saqui-Sarmes. Toward a formal specification of multimedia scenarios. Annals of telecomunications, 49(5-6):297-314, 1994.
7. J. Sifakis. Use of petri nets for performance evaluation. In H. Beilner and E. Gelenebe, editors, Measuring, modelling and evaluating computer systems, pages 75-93. North-Holland, 1977.
8. J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS’96, pages 347-359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Spinger-Verlag.