Hybrid I/O automata revisited

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

Volumn 2034, Issue , 2001, Pages 403-417

  Lynch, Nancy ^a   Segala, Roberto ^b   Vaandrager, Frits ^c  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

AUTOMATED TRANSPORTATION SYSTEMS; CONSUMER ELECTRONICS APPLICATIONS; DUAL USE; HYBRID I/O AUTOMATON; MODEL FRAMEWORK;

AIR TRAFFIC CONTROL;

EID: 84944257713     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_33     Document Type: Conference Paper

References (23)

1. 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.
2. R. Alur and T.A. Henzinger: Reactive modules. Proc. LICS'96, pp. 207-218, 1996.
3. R. Alur and T.A. Henzinger. Modularity for timed and hybrid systems. In Proc. of CONCUR'97, LNCS 1243, pp. 74-88, 1997.
4. D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an audio control protocol. In Proc. of FTRTFT'94, LNCS 863, pp. 170-192, 1994.
5. D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.
6. E. Dolginova and N.A. Lynch: Safety verification for automated platoon maneuvers: A case study. Proc. of HART'97, LNCS 1201, pp. 154-170, 1997.
7. C.A. Gunter. Semantics of Programming Languages: Structures and Techniques. MIT Press, Cambridge, Massachusetts, 1992.
8. A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In Proc. of FTRTFT'94, LNCS 863, pp. 431-454, 1994.
9. C. Livadas, J. Lygeros, and N.A. Lynch. High-level modelling and analysis of TCAS. In Proc. of RTSS'99, 1999.
10. C. Livadas and N.A. Lynch. Formal verification of safety-critical hybrid systems. In Proc. of HSCC'98, LNCS 1386, pp. 253-272, 1998.
11. J. Lygeros and N.A. Lynch: On the formal verification of the TCAS conflict resolution algorithms. In Proc. of 36th IEEE Conference on Decision and Control, pp. 1829-1834, 1997. Extended abstract.
12. J. Lygeros and N.A. Lynch: Strings of vehicles: Modeling and safety conditions. In Proc. of HSCC'98, LNCS 1386, pp. 273-288, 1998.
13. N.A. Lynch. Modelling and verification of automated transit systems, using timed automata, invariants and simulations. In Hybrid Systems III, LNCS 1066, 1996.
14. N.A. Lynch. A three-level analysis of a simple acceleration maneuver, with uncertainties. Proc. of 3rd AMAST Workshop on Real-Time Systems, pp. 1-22, 1996.
15. N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. In Hybrid Systems III, LNCS 1066, pp. 496-510, 1996.
16. N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O automata. Report CSI-R9907, Computing Science Institute, Univ. of Nijmegen, 1999.
17. N.A. Lynch and F.W. Vaandrager. Action transducers and timed automata. Formal Aspects of Computing, 8(5):499-538, 1996.
18. N.A. Lynch and H.B. Weinberg: Proving correctness of a vehicle maneuver: Deceleration. Proc. 2nd European Workshop on Real-Time and Hybrid Systems, 1995.
19. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proc. REX Workshop on Real-Time: Theory in Practice, LNCS 600, pp. 447-484, 1992.
20. R. Segala, R. Gawlick, J.F. Sfigaard-Andersen, and N.A. Lynch. Liveness in timed and untimed systems. Information and Computation, 141(2):119-171, March 1998.
21. E.D. Sontag. Mathematical Control Theory - Deterministic Finite Dimensional Systems, volume 6 of Texts in Applied Mathematics. Springer-Verlag, 1990.
22. H.B. Weinberg and N.A. Lynch: Correctness of vehicle control systems: A case study. In Proc. RTSS'96, pp. 62-72, 1996.
23. H.B. Weinberg, N.A. Lynch, and N. Delisle. Verification of automated vehicle protection systems. In Hybrid Systems III, LNCS 1066, pp. 101-113, 1996.