I. Introduction
Hybrid systems consisting of interacting continuous and discrete dynamics under certain logic rules, have gained considerable attention recently in science and engineering [1], [4], [6], [7], [11], [15], [19], [22] since they provide a natural and convenient unified framework for mathematical modeling of many complex physical phenomena and practical applications. Examples include robotics, integrated circuit design, multimedia, manufacturing, power electronics, switched-capacitor networks, chaos generators, automated highway systems, and air traffic management systems. Hybrid control, which is based on switching between different models and controllers, has also received growing interest, due to its advantages, for instance, on achieving stability, improving transient response, and providing an effective mechanism to cope with highly complex systems and systems with large uncertainties. A substantial part of the literature on hybrid systems and hybrid control has been devoted to stability analysis and stabilization; see the survey papers [4], [16], [19], and the references therein. Most recently, on the basis of Lyapunov functions and other analysis tools, the stability and stabilization for linear or nonlinear switched systems have been further investigated and many valuable results have been obtained, see [1], [4], [6], [7], [11], [15], [19], [22], and some references therein.