A logic for the specification of continuous systems

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

Volumn 1386, Issue , 1998, Pages 143-158

  Friesen, Viktor ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0012523407     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_37     Document Type: Conference Paper

References (11)

1. 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. [5], pages 209-229.
2. R. Alur, C. Courcoubetis, 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. Duke, P. King, G. A. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 91-1, Department of Computer Science, University of Queensland, St. Lucia 4072, Australia, April 1991.
4. V. Friesen. Objektorientierte Spezifikation hybrider Systeme. PhD thesis, Technical University of Berlin, 1997.
5. R. Grossman, A. Nerode, H. Rischel, and A. Ravn, editors. Hybrid Systems, volume 736 of LNCS. Springer-Verlag, 1993.
6. T. A. Henzinger, Z. Manna, and A. Pnueli. Towards refining temporal specifications into hybrid systems. In Grossman et al. [5], pages 60-76.
7. C. B. Jones. Systematic Software Development using VDM. Prentice Hall, second edition, 1990.
8. B. P. Mahony. The Specification and Refinement of Timed Processes. PhD thesis, Department of Computer Science, University of Queensland, Australia, 1992.
9. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J. W. de Bakker, K. Huizing, W.-P. de Roever, and G. Rozenberg, editors, Real Time: Theory in Practice, volume 600 of LNCS, pages 446-484. Springer-Verlag, 1992.
10. A. P. Ravn. Design o] Embedded Real-Time Computing Systems. PhD thesis, Technical University of Denmark, Lyngby, 1995.
11. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hail, second edition, 1992.