Hybrid systems' properties - Classification and relation to computer science

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

Volumn 2178 LNCS, Issue , 2001, Pages 79-93

  Stauner, Thomas ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LYAPUNOV FUNCTIONS; SYSTEM THEORY; HYBRID SYSTEMS;

CONTINUOUS SYSTEM; DISCRETE SYSTEMS; GALOIS CONNECTION; LIAPUNOV FUNCTION; TRACE INCLUSION;

HYBRID SYSTEMS; DISCRETE TIME CONTROL SYSTEMS;

EID: 84887161032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45654-6_7     Document Type: Conference Paper

References (16)

1. E. Abraham-Mumm, U. Hannemann, and M. Steffen. Assertion-based analysis of hybrid systems with PVS. In Proc. of EuroCAST'2001, LNCS (to appear). Springer-Verlag, 2001.
2. E. Akin. The General Topology of Dynamical Systems. American Mathematical Society, 1993.
3. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proc. of FOCS'97. IEEE Computer Society Press, 1997.
4. M. Broy. Refinement of time. Theoretical Computer Science, 253(1):3-26, 2001.
5. E. Chang, Z. Manna, and A. Pnueli. The safety-progress classification. In Logic and Algebra of Specifications, NATO ASI Series. Springer-Verlag, 1991.
6. P. Cousot and R. Cousot. Abstract Interpretation and applications to logic programs. Journal of Logic Programming, 13(2-3):103-180, 1992.
7. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, 1990.
8. R. Engelking. General Topology, volume 6 of Sigma Series in Pure Mathematics. Heldermann Verlag, Berlin, 1989.
9. H. Leipholz. Stability Theory. John Wiley &Sons Ltd., second edition, 1987.
10. M. D. Mesarovic and Y. Takahara. General Systems Theory: Mathematical Foundations, volume 113. Academic Press, 1975. Mathematics in Science and Engineering.
11. A. N. Michel and K. Wang. Qualitative theory of dynamical systems-The role of stability preserving mappings. Marcel Dekker Inc., 1995.
12. M. Sintzoff. Abstract verification of structured dynamical systems. In Proc. of Hybrid Systems III, LNCS 1066. Springer-Verlag, 1996.
13. M. Sintzoff and F. Geurts. Analysis of dynamical systems using predicate transformers: Attraction and composition. In Analysis of Dynamical and Cognitive Systems, LNCS 888. Springer-Verlag, 1995.
14. E. D. Sontag. Mathematical Control Theory. Springer-Verlag, 1990.
15. T. Stauner. Properties of hybrid systems-A computer science perspective. Technical Report TUM-I0017, Technische Universitat Munchen, 2000.
16. T. Stauner. Systematic Development of Hybrid Systems. PhD thesis, Technische Universitat Munchen, to appear 2001.