Efficient Transition for Invariant Set in a Class of Hybrid Systems

In this paper the concept and model of hybrid systems are introduced. Invariant sets introduced by LaSalle is proposed, and the concept is extended to invariant sets in hybrid systems which include disturbance. It is shown that the existence of invariant sets by arbitrary transition in hybrid systems is determined by whether there exist a common Lyapunov function in the systems. Based on the Lyapunov function, an efficient transition method is proposed to ensure the existence of invariant sets. An algorithm is concluded to compute the transition mode, and the invariant set can also be computed as a convex problem. The efficiency and correctness of the transition algorithm are demonstrated by an example of hybrid systems.