Title :
The description simulation and verification for switched control systems
Author :
Fenghua, He ; Jie, Ma ; Yu, Yao ; Xia, Zhao
Author_Institution :
Dept. of Control Sci. & Eng., Harbin Inst. of Technol., China
Abstract :
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.
Keywords :
closed loop systems; continuous time systems; control system analysis; discrete event systems; finite state machines; interconnected systems; nonlinear control systems; time-varying systems; MATLAB environment; hybrid automaton model; hybrid control systems; modular description framework; switched control systems simulation; switched control systems verification; switched inverted pendulum control system; Automata; Automatic control; Automotive engineering; Communication system traffic control; Computer aided manufacturing; Control system synthesis; Control systems; Differential equations; Mathematical model; Switches;
Conference_Titel :
American Control Conference, 2003. Proceedings of the 2003
Print_ISBN :
0-7803-7896-2
DOI :
10.1109/ACC.2003.1243745
