Advertisement

On the Existence of Solutions to Controlled Hybrid Automata

  • Michael Lemmon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1790)

Abstract

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.

Keywords

Hybrid System Open Loop Control Master Program Hybrid Automaton Unbounded Solution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. Alu95.
    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, 1995zbMATHCrossRefMathSciNetGoogle Scholar
  3. Ant97.
    P.J. Antsaklis, A.N. Michel, Linear Systems, MacGraw-Hill, 1997.Google Scholar
  4. Aub84.
    J.P. Aubin and A. Cellina, Differential Inclusions, Springer Verlag, 1984.Google Scholar
  5. Baz93.
    M. Bazaraa, H.D. Sherali, and C.M. Shetty, Nonlinear Programming: theory and algorithms, 2nd Edition, John-Wiley, 1993.Google Scholar
  6. Dav83.
    M.D. Davis and E.J. Weyuker, Computability, Complexity, and Languages, Academic Press, 1983.Google Scholar
  7. 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
  8. 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
  9. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Michael Lemmon
    • 1
  1. 1.Dept. of Elect. Eng.University of Notre DameNotre DameUSA

Personalised recommendations