Advertisement

Stability of hybrid systems

  • Mikhail Kourjanski
  • Pravin Varaiya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1066)

Abstract

Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point. The set of fixed points is a polyhedron. The viability kernel may not be a polyhedron. However, under a “controllability” condition, the viability kernel is a polyhedron.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, L. Fix and T.A. Henzinger. A Determinizable Class of Timed Automata. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 1–13.Google Scholar
  2. 2.
    J.-P. Aubin. Viability Theory, Birkhäuser, 1991.Google Scholar
  3. 3.
    A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. to appear.Google Scholar
  4. 4.
    T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What's decidable about hybrid automata?. STOCS, 1995.Google Scholar
  5. 5.
    A. Katok and B. Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, 1995.Google Scholar
  6. 6.
    J.L. Nazareth. Computer Solution of Linear Programs. Oxford University Press, 1987.Google Scholar
  7. 7.
    A. Olivero, J. Sifakis and S. Yovine. Using Abstractions for the Verification of Linear Hybrid Systems. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 81–94.Google Scholar
  8. 8.
    A. Puri and P. Varaiya. Decidability of Hybrid Systems with Rectangular Differential Inclusions. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 95–104.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Mikhail Kourjanski
    • 1
  • Pravin Varaiya
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of California at BerkeleyBerkeley

Personalised recommendations