The description simulation and verification for switched control systems

Based on the theory of hybrid control systems, a modular description framework for switched control systems (SCS) is given. The simulation of the closed loop SCS can be implemented under the MATLAB environment more easily and conveniently with the framework. A hybrid automaton model is established to analyze and verify the SCS, and a systematic way to obtain such a hybrid automaton model from actual systems is presented. A switched inverted pendulum control system is used to illustrate the approach.