On the existence of solutions to controlled hybrid automata

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

Volumn 1790, Issue , 2000, Pages 229-242

  Lemmon, Michael ^a  

^a University of Notre Dame   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CONTINUOUS TIME SYSTEMS; HYBRID SYSTEMS; INVARIANCE; LINEAR SYSTEMS; TIME VARYING CONTROL SYSTEMS;

CONTINUOUS DYNAMICS; EXISTENCE OF SOLUTIONS; HYBRID AUTOMATONS; LINEAR TIME INVARIANT SYSTEMS; SINGLE CYCLE;

LINEAR CONTROL SYSTEMS;

EID: 84974733635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_21     Document Type: Conference Paper

References (9)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Po, “ Hybrid Automata: an Algorithmic Approach to the Specification and Verification of Hybrid Systems”, Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer-Verlag, pp. 209-229, 1993.
2. R. Alur, C. Courcoubetis, Halbwachs, T.A. Henzinger, P-H Ho, X Nicollin, Olivero, J. Sifjakis, and S. Yovine, “The Algorithmic Analysis of Hybrid Systems”, Theoretical Computer Science Vol. 138:, pp. 3-34, 1995
3. P.J. Antsaklis, A.N. Michel, Linear Systems, MacGraw-Hill, 1997.
4. J.P. Aubin and A. Cellina, Differential Inclusions, Springer Verlag, 1984.
5. M. Bazaraa, H.D. Sherali, and C.M. Shetty, Nonlinear Programming: theory and algorithms, 2nd Edition, John-Wiley, 1993.
6. M.D. Davis and E.J. Weyuker, Computability, Complexity, and Languages, Academic Press, 1983.
7. K.X. He and M.D. Lemmon, Lyapunov stability of continuous valued systems under the supervision of discrete event transition systems, in Proceedings of Hybrid Systems: Control and Computation, lecture notes in computer science Vol. 1386, Springer Verlag, 1998.
8. N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg, “Hybrid I/O Au- tomata”, In R. Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control (DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems), New Brunswick, New Jersey, October 1995, volume 1066 of Lecture Notes in Computer Science, pages 496-510. Springer-Verlag 1996.
9. P. Zhivoglyadov and R.H. Middleton, On Stability in Hybrid Systems, Proceedings off 37th IEEE Conference on Decision and Control, Tampa Florida, USA, pp. 3687-3692, December 1998.