Control-invariance of hybrid systems with forcible events - Brief paper

被引：7
|
作者：
Ushio, T [1 ]
Takai, S
机构：
[1] Osaka Univ, Grad Sch Engn Sci, Toyonaka, Osaka 5608531, Japan
[2] Kyoto Inst Technol, Dept Elect & Informat Sci, Sakyo Ku, Kyoto 6068585, Japan
来源：
AUTOMATICA | 2005年 / 41卷 / 04期
关键词：
hybrid system; hybrid automaton; forcible event; control-invariance; state feedback;
D O I：
10.1016/j.automatica.2004.10.013
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper considers controlled hybrid automata with forcible events. First, we introduce two semantics of the controlled hybrid automata using labeled transition systems. Next, we extend a concept of control-invariance in discrete event systems and show necessary and sufficient conditions for a predicate to be control-invariant. Finally, we show that there always exists the supremal control-invariant subpredicate for any predicate. (c) 2004 Elsevier Ltd. All rights reserved.
引用
收藏
页码：669 / 675
页数：7
相关论文
共 50 条
  • [41] Measurement Scheduling for Control Invariance in Networked Control Systems
    Colombo, Alessandro
    Bahraini, Masoud
    Falcone, Paolo
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3361 - 3366
  • [42] Invariance principle in hybrid systems modeled by mixed mappings
    Ushio, T
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 397 - 402
  • [43] Characterization of eventual conditional invariance for hybrid dynamical systems
    Maghenem, Mohamed
    Han, Hyejin
    Sanfelice, Ricardo G.
    AUTOMATICA, 2024, 167
  • [44] On Robust Forward Invariance of Sets for Hybrid Dynamical Systems
    Chai, Jun
    Sanfelice, Ricardo G.
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 1199 - 1204
  • [45] An invariance principle for nonlinear hybrid and impulsive dynamical systems
    Chellaboina, V
    Bhat, SP
    Haddad, WM
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3116 - 3122
  • [46] An invariance principle for nonlinear hybrid and impulsive dynamical systems
    Chellaboina, V
    Bhat, SP
    Haddad, WM
    NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2003, 53 (3-4) : 527 - 550
  • [47] A Brief Review on Capacity Sizing, Control and Energy Management in Hybrid Renewable Energy Systems
    Colak, Ayse
    Ahmed, Khaled
    10TH IEEE INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATIONS (ICRERA 2021), 2021, : 453 - 458
  • [48] CONTROLLED INVARIANCE FOR AFFINE CONTROL-SYSTEMS
    NIJMEIJER, H
    INTERNATIONAL JOURNAL OF CONTROL, 1981, 34 (04) : 825 - 833
  • [49] Invariance Feedback Entropy of Uncertain Control Systems
    Tomar, Mahendra Singh
    Rungger, Matthias
    Zamani, Majid
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (12) : 5680 - 5695
  • [50] Invariance control for a class of cascade nonlinear systems
    Mareczek, R
    Buss, M
    Spong, MW
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (04) : 636 - 640
12345