Description, simulation and verification of switched control systems

被引：0
|
作者：
He, FH [1 ]
Yao, Y [1 ]
Zhao, X [1 ]
机构：
[1] Harbin Inst Technol, Dept Control Sci & Engn, Harbin 150006, Peoples R China
来源：
PROCEEDINGS OF THE SECOND INTERNATIONAL SYMPOSIUM ON INSTRUMENTATION SCIENCE AND TECHNOLOGY, VOL 1 | 2002年
关键词：
switched control systems; hybrid automaton; polyhedral invariant hybrid automaton; simulation and verification; switched inverted pendulum;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Based on the theory of hybrid control systems, the modeling framework of switched control systems (SCS), is given to describe the characteristics of the systems more effectively and simulate the closed loop switched control systems. A model of polyhedral invariant hybrid automaton (PIHA) is established to analyze and verify the switched control systems. Finally, the method is illustrated by the simulation research of,switched inverted pendulum control system.
引用
收藏
页码：526 / 531
页数：6
相关论文
共 50 条
  • [1] The description simulation and verification for switched control systems
    He, FH
    Ma, J
    Yao, Y
    Zhao, X
    PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 2791 - 2796
  • [2] Description and verification of switched control systems
    He, Feng-Hua
    Yao, Yu
    Zhao, Xia
    Zhang, Meng
    Journal of Harbin Institute of Technology (New Series), 2003, 10 (04) : 397 - 402
  • [3] Simulation and properties of randomly switched control systems
    Allison, A
    Abbott, D
    DESIGN, CHARACTERIZATION, AND PACKAGING FOR MEMS AND MICROELECTRONICS, 1999, 3893 : 204 - 213
  • [4] Control of Nonlinear Switched Systems Based on Validated Simulation
    Le Coent, Adrien
    Sandretto, Julien Alexandre dit
    Chapoutot, Alexandre
    Fribourg, Laurent
    PROCEEDINGS OF THE 2016 WORKSHOP ON SYMBOLIC AND NUMERICAL METHODS FOR REACHABILITY ANALYSIS (SNR), 2016,
  • [5] Verification of embedded control systems by simulation and program execution control
    Resmerita, Stefan
    Pree, Wolfgang
    2012 AMERICAN CONTROL CONFERENCE (ACC), 2012, : 3581 - 3586
  • [6] Discrete verification of necessary conditions for switched nonlinear optimal control systems
    Ross, IM
    Fahroo, F
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 1610 - 1615
  • [7] SMT-Based Stability Verification of an Industrial Switched PI Control Systems
    Basagiannis, Stylianos
    Battista, Ludovico
    Becchi, Anna
    Cimatti, Alessandro
    Giantamidis, Georgios
    Mover, Sergio
    Tacchella, Alberto
    Tonetta, Stefano
    Tsachouridis, Vassilios
    2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, 2023, : 243 - 250
  • [8] The verification and simulation of hardware description language
    Wang, Y
    Zhang, WJ
    Lu, P
    ICEMI'2001: FIFTH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT AND INSTRUMENTS, VOL 1, CONFERENCE PROCEEDINGS, 2001, : 356 - 360
  • [9] TRANSFORMER DESCRIPTION OF A FAMILY OF SWITCHED SYSTEMS
    SINGER, S
    IEE PROCEEDINGS-G CIRCUITS DEVICES AND SYSTEMS, 1982, 129 (05): : 205 - 210
  • [10] Description of Switched Systems by Implicit Representations
    Bonilla, M.
    Malabre, M.
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 3209 - 3214
12345