Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification

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

Volumn 1200, Issue , 1997, Pages 153-164

  de Alfaro, Luca ^a   Kapur, Arjun ^a   Manna, Zohar ^a  

^a Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

ALGORITHMIC APPROACH; LINEAR TIME TEMPORAL LOGIC; SYSTEM VERIFICATIONS; VERIFICATION OF TEMPORAL PROPERTIES; VERIFICATION PROBLEMS;

TEMPORAL LOGIC;

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

References (13)

1. R. Alur, C. Courcoubebetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comp. Sci., 138(1):3-34, 1995.
2. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Hybrid Systems, volume 736 of Led. Notes in Comp. Sci., pages 209-229. Springer-Verlag, 1993.
3. Z. Chaochen, A.P. Ravn, and M.R. Hansen. An extended duration calculus for hybrid real-time systems. In Hybrid Systems, volume 736 of Led. Notes in Comp. Sci., pages 36-59. Springer-Verlag, 1993.
4. L. de Alfaro and Z. Manna. Temporal verification by diagram transformations. In Computer Aided Verification, volume 1102 of Lect. Notes in Comp. Sci., pages 288-299. Springer-Verlag, 1996.
5. A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In FTRTFT'94, volume 863 of Lect. Notes in Comp. Sci., pages 431-454. Springer-Verlag, 1994.
6. Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In Hybrid Systems III, volume 1066 of Lect. Notes in Comp. Sci., pages 13-40. Springer-Verlag, 1996.
7. L. Lamport. Hybrid systems in TLA+. In Hybrid Systems, volume 736 of Lect. Notes in Comp. Sci., pages 77-102. Springer-Verlag, 1993.
8. N.A. Lynch and H. Attiya. Using mappings to prove timing properties. Distributed Computing, 6:121-139, 1992.
9. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proc. of the REX Workshop "Real-Time: Theory in Practice", volume 600 of Lect. Notes in Comp. Sci., pages 447-484. Springer-Verlag, 1992.
10. Z. Manna and A. Pnueli. Completing the temporal picture. Theor. Comp. Sci., 83(1):97-130, 1991.
11. Z. Manna and A. Pnueli. Models for reactivity. Acta Informatica, 30:609-678, 1993.
12. S. Safra. On the complexity of ω-automata. In Proc. 29th IEEE Symp. Found, of Comp. Sci., 1988.
13. H.B. Sipma, T.E. Uribe, and Z. Manna. Deductive model checking. In Computer Aided Verification, volume 1102, pages 208-219. Springer-Verlag, 1996.