Abstract

Hybrid and switched dynamic systems are of major research interest nowadays due to their use as models in many applications in computer science and systems control. One of the major problems in hybrid and switched dynamic systems is establishing their key property of stability, which also is important in controller design. Stability may prove also critical for real-time systems, embedded systems, and hybrid systems in general that arise in computer science problems where verification tests are undecidable. Relaxing demands in the search for a stability proof may be necessary for a specific problem. In this paper, we present a brief survey of stability results for hybrid and switched systems while taking into consideration the used model and the technique used for establishing stability. Emphasis is also given in results that take into consideration the interaction of continuous-time systems with the discrete-event part.

Citations