Functional specification of real-time and hybrid systems

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

Volumn 1201, Issue , 1997, Pages 273-285

  Müller, Olaf ^a   Schołz, Peter ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FIXED POINT ARITHMETIC; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

DISCRETE SYSTEMS; FIXED POINT THEORY; FUNCTIONAL SPECIFICATION; MATHEMATICAL FOUNDATIONS; METRIC SPACES; REAL TIME;

REAL TIME SYSTEMS;

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

References (14)

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(1):3-34, 1995.
2. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry. Hybrid Systems II, volume 999. Springer Verlag, 1995. Lecture Notes in Computer Science.
3. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus - Revised Version. Technical Report TUM-I9202-2, Technische Universität München, Fakultät für Informatik, 80290 Miinchen, Germany, 1993.
4. M. Broy. Interaction Refinement - The Easy Way. In M. Broy, editor, Program Design Calculi, volume 118 of NATO ASI Series F: Computer and System Sciences. Springer, 1993.
5. R. Engelking. General Topology. PWN - Polish Scientific Publishers, 1977.
6. R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel. Hybrid Systems, volume 736. Springer Verlag, 1993. Lecture Notes in Computer Science.
7. R. Grosu and K. Stølen. A Model for Mobile Point-to-Point Datafiow Networks without Channel Sharing. In Proe. of the 5th International Conference on Algebraic Methodology and Software Technology AMAST’96, Munich, volume 1101 of Lecture Notes in Computer Science, pages 513-519, 1996. Also available as Technical Report TUM-I9527, Technische Universität Miinchen.
8. L. Lamport. Hybrid Systems in TLA+. In R.L. Grossman et al., editor, [GNRR93], 1993.
9. ~fvaan/
10. Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Grossman et al., editor, [GNRR93], 1993.
11. M.D. Mesarovic and Y. Takahara. General Systems Theory: Mathematical Foundations, volume 113. Academic Press, 1975. Mathematics in Science and Engineering.
12. D. Scott and C. Gunter. Semantic Domains and Denotational Semantics. In Handbook of Theoretical Computer Science, chapter 12, pages 633-674. Elsevier Science Publisher, 1990.
13. W. A. Sutherland. Introduction to metric and topological spaces. Claredon Press- Oxford, 1975.
14. G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.