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 条
  • [31] Simulation and stability analysis of neural network based control scheme for switched linear systems
    Singh, H. P.
    Sukavanam, N.
    ISA TRANSACTIONS, 2012, 51 (01) : 105 - 110
  • [32] Verification and validation of AI simulation systems
    Liu, F
    Yang, M
    PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 3100 - 3105
  • [33] Compositional Verification of Initial-State Opacity for Switched Systems
    Liu, Siyuan
    Swikir, Abdalla
    Zamani, Majid
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2146 - 2151
  • [34] Verification of Control System by Physical Simulation
    Yuan, Weiguo
    Wang, Yabin
    MECHANICAL SCIENCE AND ENGINEERING IV, 2014, 472 : 389 - 393
  • [35] Asynchronously switched control of a class of slowly switched linear systems
    Zhao, Xudong
    Shi, Peng
    Zhang, Lixian
    SYSTEMS & CONTROL LETTERS, 2012, 61 (12) : 1151 - 1156
  • [36] Extensible Embedded Hardware Description Languages with Compilation, Simulation and Verification
    Tahir, Omar
    Luk, Wayne
    Wu, Nicolas
    THE PROCEEDINGS OF THE 13TH INTERNATIONAL SYMPOSIUM ON HIGHLY EFFICIENT ACCELERATORS AND RECONFIGURABLE TECHNOLOGIES, HEART 2023, 2023, : 1 - 10
  • [37] Algorithms for logical control: Their description, verification and hardware implementation
    Zakrevskij, AD
    Zakrevski, L
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 712 - 718
  • [38] Modeling, scheduling, and simulation of switched processing systems
    Hung, Ying-Chao
    Michailidis, George
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2008, 18 (03):
  • [39] Anticipative control of switched queueing systems
    Laemmer, S.
    Donner, R.
    Helbing, D.
    EUROPEAN PHYSICAL JOURNAL B, 2008, 63 (03): : 341 - 347
  • [40] Dynamics and Control of Complex and Switched Systems
    Xu, Honglei
    Zhang, Yi
    Ye, Jianxiong
    Migorski, Stanislaw
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
12345