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

Volume

4

fYear

2003

fDate

4-6 June 2003

Firstpage

2791

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;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2003. Proceedings of the 2003

ISSN

0743-1619

Print_ISBN

0-7803-7896-2

Type

conf

DOI

10.1109/ACC.2003.1243745

Filename

1243745