On the Existence of Solutions to Controlled Hybrid Automata
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are rep- resented by inhomogeneous linear time-invariant systems whose inputs are controls that can be determined by the user. The principal result of the paper is a procedure that searches for global periodic non-terminating solutions of systems having a single cycle.
KeywordsHybrid System Open Loop Control Master Program Hybrid Automaton Unbounded Solution
Unable to display preview. Download preview PDF.
- Alu93.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.Google Scholar
- Ant97.P.J. Antsaklis, A.N. Michel, Linear Systems, MacGraw-Hill, 1997.Google Scholar
- Aub84.J.P. Aubin and A. Cellina, Differential Inclusions, Springer Verlag, 1984.Google Scholar
- Baz93.M. Bazaraa, H.D. Sherali, and C.M. Shetty, Nonlinear Programming: theory and algorithms, 2nd Edition, John-Wiley, 1993.Google Scholar
- Dav83.M.D. Davis and E.J. Weyuker, Computability, Complexity, and Languages, Academic Press, 1983.Google Scholar
- He98.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.Google Scholar
- Lyn96.N. Lynch, R. Segala, F. Vaandrager, and H.B. Weinberg, “Hybrid I/O Automata”, 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.Google Scholar
- Zhi98.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.Google Scholar