Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems

被引：0
|
作者：
Xiang, Weiming [1 ]
Zhai, Guisheng [2 ]
Baldi, Simone [3 ,4 ]
Yuan, Chengzhi [5 ]
Johnson, Taylor T. [1 ]
机构：
[1] Vanderbilt Univ, Dept Elect Engn & Comp Sci, Sch Engn, 221 Kirkland Hall, Nashville, TN 37235 USA
[2] Shibaura Inst Technol, Math Sci, Tokyo, Japan
[3] Delft Univ Technol, Delft Ctr Syst & Control, Delft, Netherlands
[4] Univ Cyprus, Nicosia, Cyprus
[5] Univ Rhode Isl, Mech Ind & Syst Engn Dept, Kingston, RI 02881 USA
来源：
IET CONTROL THEORY AND APPLICATIONS | 2019年 / 13卷 / 09期
关键词：
D O I：
10.1049/iet-cta.2019.0394
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1219 / 1221
页数：3
相关论文
共 50 条
  • [1] Guest editorial: Verification of hybrid systems
    Maler, O
    [J]. EUROPEAN JOURNAL OF CONTROL, 2001, 7 (04) : 357 - 365
  • [2] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS
    Zaytoon, Janan
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2009, : IS13 - IS13
  • [3] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS
    Zaytoon, Janan
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 3, 2009, : IS13 - IS13
  • [4] RECENT ADVANCES IN VERIFICATION AND ANALYSIS OF HYBRID SYSTEMS
    Zaytoon, Janan
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2: ROBOTICS AND AUTOMATION, 2009, : IS13 - IS13
  • [5] Guest editorial: Recent advances in modeling and simulation of network systems
    Obaidat, Mohammad S.
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2006, 82 (06): : 365 - 367
  • [6] Guest editorial: advances in control and decision for power and energy systems
    Chen, Jun
    Wang, Qin
    Lian, Jianming
    Li, Wanning
    [J]. Journal of Control and Decision, 2018, 5 (02) : 115 - 116
  • [7] Guest Editorial: Recent advances in reliable control and cost-effective engineering design for autonomous systems
    Karimi, Hamid Reza
    Wang, Ning
    Roveda, Loris
    Wilson, Philip A.
    [J]. CONTROL ENGINEERING PRACTICE, 2023, 139
  • [8] Guest editorial: Recent advances in computational electromagnetics
    Biro, Oszkar
    Lowther, David
    [J]. COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2023, 42 (05) : 981 - 981
  • [9] Guest editorial recent advances in wireless multimedia
    Chandramouli, R
    Shorey, R
    Srimani, PK
    Wang, X
    Yu, H
    [J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2003, 21 (10) : 1501 - 1505
  • [10] Editorial: Recent advances in control of energy conversion systems
    Rodas, Jorge
    Gonzalez-Prieto, Ignacio
    Kali, Yassine
    [J]. FRONTIERS IN ENERGY RESEARCH, 2022, 10
12345