Hybrid I/O automata

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

Volumn 1066, Issue , 1996, Pages 496-510

  Lynch, Nancy ^a   Segala, Roberto ^b   Vaandrager, Frits ^c   Weinberg, H B ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

AUTOMATON MODEL; COMPATIBILITY CONDITIONS; HYBRID I/O AUTOMATON; IMPLEMENTATION RELATION; SHARED VARIABLES; TRANSITION SYSTEM;

AUTOMATA THEORY;

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

References (20)

1. M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 1(15):73-132, 1993.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
3. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Grossman et al. [8], pages 209-229.
4. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.
5. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an audio control protocol. In Proc. FTRTFT’94, LNCS 863, pages 170-192. Springer-Verlag, 1994.
6. D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.
7. th ICALP, LNCS 820. Springer-Verlag, 1994. A full version appears as MIT Technical Report number MIT/LCS/TR-587.
8. R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Hybrid Systems, LNCS 736. Springer-Verlag, 1993.
9. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, March 1994.
10. N.A. Lynch. Modelling and verification of automated transit systems, using timed automata, invariants and simulations, 1996. This volume.
11. th PODC, pages 137-151, August 1987. A full version is available as MIT Technical Report MIT/LCS/TR-387.
12. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations - part II: Timing-based systems. Report CS-R9314, CWI, Amsterdam, March 1993. To appear in Information and Computation.
13. N.A. Lynch and F.W. Vaandrager. Forward and backward simulations, part I: Untimed systems. Information and Computation, 121(2):214-233, September 1995.
14. N.A. Lynch and H.B. Weinberg. Proving correctness of a vehicle maneuver: Deceleration. In Proceedings Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, June 1995.
15. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proceedings REX Workshop, LNCS 600, pages 447-484. Springer-Verlag, 1992.
16. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
17. A. Nerode and A. Yakhnis. Concurrent programs as strategies in games. In Y. Moschovakis, editor, Logic from Computer Science. Springer-Verlag, 1992.
18. A. Pnueli and J. Sifakis, editors. Special Issue on Hybrid Systems of Theoretical Computer Science, 138(1). Elsevier Science Publishers, February 1995.
19. E.D. Sontag. Mathematical Control Theory - Deterministic Finite Dimensional Systems, TAM 6. Springer-Verlag, 1990.
20. H.B. Weinberg, N.A. Lynch, and N. Delisle. Verification of automated vehicle protection systems, 1996. This volume.