Hybrid cc, hybrid automata and program verification

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

Volumn 1066, Issue , 1996, Pages 52-63

  Gupta, Vineet ^a   Jagadeesan, Radha ^b   Saraswat, Vijay ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

^b Dept of Mathematical Sdences ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84958034475     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020935     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. Rajeev Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. In Proceedings of the 14th Annual IEEE Real-time Systems Symposium. IEEE, 1993.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
4. A. Benveniste, M. Le Borgne, and Paul Le Guernic. Hybrid Systems: The SIGNAL approach. Number 736 in LNCS. Springer Verlag, 1993.
5. G. Berry. Real-time programming: General purpose or special-purpose languages. In G. Ritter, editor, Information Processing 89, pages 11-17. Elsevier Science Publishers B.V. (North Holland), 1989.
6. G. Berry. Preemption in concurrent systems. In Proc. of FSTTCS. Springer-Verlag, 1993. LNCS 781.
7. G. Berry and G. Gonthier. The ESTEREL programming language: Design, semantics and implementation. Science of Computer Programming, 19(2):87-152, November 1992.
8. E. M. Clarke, D. E. Long, and K. L. McMillan. A language for compositional specification and verification of finite state hardware controllers. Proceedings of the IEEE, 79(9), September 1991.
9. P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with SIGNAL. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
10. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Computing with continuous change. Submitted to Science of Computer Programming.
11. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow. Programming in hybrid constraint languages. In Hybrid Systems II, volume 999 of Lecture notes in computer science. Springer Verlag, November 1995.
12. G. Gogic, H. Kautz, C. Papadimitriou, and B. Selman. The comparitive linguistics of knowledge representations. In 14th International joint conference on Artificial intelligence, 1995.
13. Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, editors. Hybrid Systems. Springer Verlag, 1993. LNCS 736.
14. N. Halbwachs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.
15. D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231-274, 1987.
16. N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language LUSTRE. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
17. David Harel and Amir Pnueli. Logics and Models of Concurrent Systems, volume 13, chapter On the development of reactive systems, pages 471-498. NATO Advanced Study Institute, 1985.
18. Hybrid Systems II. Springer Verlag, 1995. LNCS 999.
19. L.J. Jagadeesan, C. Puchol, and J.E. Von Olnhausen. Safety property verification of ESTEREL programs and applications to telecommunications software. In Proceedings of CAV, LNCS 939, 1995.
20. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.
21. Ray Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
22. Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989. To appear, Doctoral Dissertation Award and Logic Programming Series, MIT Press, 1992.
23. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Default Timed Concurrent Constraint Programming. In Proceedings of Twenty Second ACM Symposium on Principles of Programming Languages, San Francisco, January 1995.