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.
Research supported by NSF Grant ECS9417370. The authors are grateful to Mireille Broucke for posing the questions addressed here, and to Anuj Puri for discussion.
Preview
Unable to display preview. Download preview PDF.
References
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.
J.-P. Aubin. Viability Theory, Birkhäuser, 1991.
A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. to appear.
T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What's decidable about hybrid automata?. STOCS, 1995.
A. Katok and B. Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, 1995.
J.L. Nazareth. Computer Solution of Linear Programs. Oxford University Press, 1987.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kourjanski, M., Varaiya, P. (1996). Stability of hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020964
Download citation
DOI: https://doi.org/10.1007/BFb0020964
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive