Description and verification of switched control systems

Feng Hua He; Yu Yao; Xia Zhao; Meng Zhang

Description and verification of switched control systems

Feng Hua He^*
, Yu Yao
, Xia Zhao
, Meng Zhang

^*Corresponding author for this work

School of Astronautics

Harbin Institute of Technology

Research output: Contribution to journal › Article › peer-review

Abstract

A modeling framework has been constructed using the theory of hybrid control systems for the switched control systems (SCS). On the one hand, it can be more effectively used to describe the behavior of the systems and to more easily realize the simulation of the closed loop SCS under the MATLAB environment. On the other hand, a hybrid automaton model is established to analyze and verify the switched control systems. The proposed method is illustrated by an example of switched inverted pendulum control system.

Original language	English
Pages (from-to)	397-402
Number of pages	6
Journal	Journal of Harbin Institute of Technology (New Series)
Volume	10
Issue number	4
State	Published - Dec 2003

Keywords

Hybrid automaton
Hybrid systems
Switched control systems

Cite this

@article{1adefca13e3544fda8d940648cdcceb0,

title = "Description and verification of switched control systems",

abstract = "A modeling framework has been constructed using the theory of hybrid control systems for the switched control systems (SCS). On the one hand, it can be more effectively used to describe the behavior of the systems and to more easily realize the simulation of the closed loop SCS under the MATLAB environment. On the other hand, a hybrid automaton model is established to analyze and verify the switched control systems. The proposed method is illustrated by an example of switched inverted pendulum control system.",

keywords = "Hybrid automaton, Hybrid systems, Switched control systems",

author = "He, \{Feng Hua\} and Yu Yao and Xia Zhao and Meng Zhang",

year = "2003",

month = dec,

language = "英语",

volume = "10",

pages = "397--402",

journal = "Journal of Harbin Institute of Technology (New Series)",

issn = "1005-9113",

publisher = "Harbin Institute of Technology",

number = "4",

}

TY - JOUR

T1 - Description and verification of switched control systems

AU - He, Feng Hua

AU - Yao, Yu

AU - Zhao, Xia

AU - Zhang, Meng

PY - 2003/12

Y1 - 2003/12

N2 - A modeling framework has been constructed using the theory of hybrid control systems for the switched control systems (SCS). On the one hand, it can be more effectively used to describe the behavior of the systems and to more easily realize the simulation of the closed loop SCS under the MATLAB environment. On the other hand, a hybrid automaton model is established to analyze and verify the switched control systems. The proposed method is illustrated by an example of switched inverted pendulum control system.

AB - A modeling framework has been constructed using the theory of hybrid control systems for the switched control systems (SCS). On the one hand, it can be more effectively used to describe the behavior of the systems and to more easily realize the simulation of the closed loop SCS under the MATLAB environment. On the other hand, a hybrid automaton model is established to analyze and verify the switched control systems. The proposed method is illustrated by an example of switched inverted pendulum control system.

KW - Hybrid automaton

KW - Hybrid systems

KW - Switched control systems

UR - https://www.scopus.com/pages/publications/1942540077

M3 - 文章

AN - SCOPUS:1942540077

SN - 1005-9113

VL - 10

SP - 397

EP - 402

JO - Journal of Harbin Institute of Technology (New Series)

JF - Journal of Harbin Institute of Technology (New Series)

IS - 4

ER -

Description and verification of switched control systems

Abstract

Keywords

Other files and links

Fingerprint

Cite this