Properties of hybrid systems - A computer science perspective

Formal Methods in System Design

Volumn 24, Issue 3, 2004, Pages 223-259

  Stauner, Thomas ^a  

^a BMW Car IT GmbH   (Germany)

Author keywords

Abstraction; Hybrid systems; Property classification; Stability

Indexed keywords

ABSTRACTING; COMPUTER SCIENCE; CONTROL THEORY; FUNCTIONS; SENSORS; SET THEORY; TOPOLOGY;

ELECTRONIC HEIGHT CONTROL SYSTEM (EHC); LIAPUNOV FUNCTIONS; PROPERTY CLASSIFICATION;

HYBRID COMPUTERS;

EID: 3543051848     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:FORM.0000026091.03793.cf     Document Type: Article

References (51)

1. J.-R. Abrial, "Steam-boiler control specification problem," in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, Springer-Verlag, 1996.
2. E. Akin, The General Topology of Dynamical Systems, American Mathematical Society, 1993.
3. B. Alpern and F.B. Schneider, "Defining liveness," Information Processing Letters, Vol. 21, No. 4, pp. 181-185, 1985.
4. 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, Vol. 138, pp. 3-34, 1995.
5. R. Alur, R. Grosu, Y. Hur, V. Kumar, and I. Lee, "Modular specification of hybrid systems in Charon," in Proc. of 3rd International Workshop on Hybrid Systems: Computation and Control (HSCC'00), LNCS 1790, Springer-Verlag, 2000.
6. R. Alur, T.A. Henzinger, and O. Kupferman, "Alternating-time temporal logic," in Proceedings of the 38th Annual Symposium on Foundations of Computer Science, IEEE Computer Society Press, 1997, pp. 100-109.
7. F. Antosch, Systematische Maschinenmodellierung: Modellierung eines Glideliners (Fa. Kranes) nach der ROOM Methode, Diplomarbeit, Lehrstuhl für Informationstechnik im Maschinenwesen, Technische Universität München, 1996.
8. A. Back, J. Guckenheimer, and M. Myers, "A dynamical simulation facility for hybrid systems," in Proc. of Hybrid Systems I, LNCS 736, Springer-Verlag, 1993.
9. M.S. Branicky, "Stability of switched and hybrid systems," in Proc. 33rd IEEE Conf. Decision and Control, Lake Buena Vista, FL, 1994, pp. 3498-3503.
10. H. Brettschneider, H.-M. Hanisch, S. Kowalewski, and J. Thieme, "Diskontinuierlicher Verdampfer: Ein erweitertes Benchmark-Beispiel für ereignisdiskrete und hybride Systeme," Presentation at the 1998 Workshop of GMA Fachausschuß 1.8 "Methoden der Steuerungstechnik, " March 1998.
11. M. Broy, "Refinement of time," in Proc. of ARTS'97, LNCS 1231, Springer-Verlag, 1997.
12. E. Chang, Z. Manna, and A. Pnueli, "The safety-progress classification," in F.L. Bauer, W. Brauer, and H. Schwichtenberg (Eds.), Logic and Algebra of Specifications, NATO ASI, Springer-Verlag, 1991.
13. P. Cousot, "Methods and logics for proving programs," in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Elsevier, 1990.
14. P. Cousot and R. Cousot, "Abstract Interpretation and applications to logic programs," Journal of Logic Programming, Vol. 13, Nos. 2/3, pp. 103-180, 1992.
15. E.W. Dijkstra, "Self-stabilization in spite of distributed control (EWD 391)," in E. W. Dijkstra (Ed.), Selected Writings on Computing: A Personal Perspective, Texts and Monographs in Computer Science, Springer-Verlag, 1982.
16. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Elsevier, 1990.
17. R. Engelking, General Topology, Vol. 6 of Sigma Series in Pure Mathematics, Heldermann Verlag: Berlin, 1989.
18. S. Engell, "Modellierung und analyse hybrider dynamischer systeme," At-Automatisierung-Stechnik, Vol. 45, No. 4, 1997.
19. R.W. Floyd, "Assigning meaning to programs," in Mathematical Aspects of Computer Science: Proc. American Mathematics Society Symposia, Vol. 19, American Mathematical Society, 1967.
20. O. Föllinger, Nichtlineare Regelungen 1, 4th edition, R. Oldenbourg Verlag, München, 1987.
21. O. Föllinger, Regelungstechnik, Hüthig Buch Verlag: Heidelberg 6th edition, 1990.
22. B. Friedland, Control System Design - An Introduction to State-Space Methods, McGraw-Hill Inc., 1986.
23. S. Germann, Modellbildung und modellgestützte Regelung der Fahrzeuglängsdynamik, Fortschrittsberichte VDI, Reihe 12: Verkehrstechnik/Fahrzeugtechnik, Bericht 307, VDI Verlag, 1997.
24. F. Geurts, Compositional Analysis of Iterated Relations: Dynamics and Computations, Ph.D. thesis, Université catholique de Louvain, Faculté des Sciences Appliquées, Département d'Ingéniere Informatique, Belgium, 1996.
25. R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel (Eds.), Hybrid Systems I, LNCS 736, Springer-Verlag, 1993.
26. R. Grosu, T. Stauner, and M. Broy, "A modular visual model for hybrid systems," in Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486, Springer-Verlag, 1998.
27. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi, "A user guide to HYTECH," in E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen (Eds.), TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, Springer-Verlag, 1995, pp. 41-71.
28. Integrated Systems Inc., Integrated Systems: Products-BetterState. http://www.isi.com/Products/BetterState/, 1998.
29. Integrated Systems Inc., Integrated Systems: Product families-MATRIXx. http://www.isi.com/Products/MATRIXx/, 2000.
30. H. Leipholz, Stability Theory, 2nd edition, John Wiley & Sons Ltd., 1987.
31. D.G. Luenberger, Introduction to Dynamic Systems - Theory, Models, and Applications, John Wiley & Sons Ltd., 1979.
32. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.
33. M.D. Mesarovic and Y. Takahara, General Systems Theory; Mathematical Foundations, Vol. 113 of Mathematics in Science and Engineering, Academic Press, 1975.
34. A.N. Michel and K. Wang, Qualitative Theory of Dynamical Systems - The Role of Stability Preserving Mappings, Marcel Dekker Inc., 1995.
35. A. Nerode and W. Kohn, "Models for hybrid systems: Automata, topologies, controllability, observability," in Hybrid Systems, LNCS 736, Springer-Verlag, 1993.
36. K. Ogata, Discrete-Time Control Systems, Prentice-Hall, 1987.
37. C.L. Phillips and R.D. Harbor, Feedback Control Systems, Prentice-Hall, 1988.
38. J.W. Polderman and J.C. Willems, Introduction to Mathematical Systems Theory - A Behavioral Approach, Springer-Verlag, 1997.
39. M. Rappl, "Strukturierte Analyse und Design hybrider Systeme mit MatrixX und BetterState," Diplomarbeit, Fakultät für Informatik, Technische Universität München, 1998.
40. T. Schlegl and M. Buss, "Hybrid closed-loop control of robotic hand regrasping," in Proc. of the IEEE International Conference on Robotics and Automation, Leuven, Belgium, 1998, pp. 3026-3032.
41. T. Schlegl, S. Haidacher, M. Buss, F. Freyberger, F. Pfeiffer, and G. Schmidt, "Compensation of discrete contact state errors in regrasping experiments with the TUM-hand," in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems IROS, Kyongju, Korea, 1999, pp. 118-123.
42. M. Sintzoff, "Invariance and contraction by infinite iterations of relations," in Research Directions in High-Level Parallel Programming Languages, LNCS 574, Springer-Verlag, 1992.
43. M. Sintzoff, "Abstract verification of structured dynamical systems," in Proc. of Hybrid Systems III, LNCS 1066, Springer-Verlag, 1996.
44. 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.
45. E.D. Sontag, Mathematical Control Theory, Springer-Verlag, 1990.
46. T. Stauner, "Specification and verification of an electronic height control system using hybrid automata," Diploma thesis, Technische Universität München, 1997.
47. T. Stauner, "Hybrid systems' properties - Classification and relation to computer science," in Proc. of EuroCAST'2001 (Eight International Conference on Computer Aided Systems Theory), LNCS 2178, Springer-Verlag, 2001.
48. T. Stauner, Systematic Development of Hybrid Systems, Ph.D. thesis, Technische Universität München, 2001.
49. T. Stauner, O. Müller, and M. Fuchs, "Using HyTech to verify an automotive control system," in Proc. Int. Workshop on Hybrid and Real-Time Systems (HART'97), LNCS 1201, Springer-Verlag, 1997, pp. 139-153.
50. R.J. Vaccaro, Digital Control, McGraw-Hill Inc., 1995.
51. G. Winskel, The Formal Semantics of Programming Languages, MIT Press, 1993.