Continuity and invariance in hybrid automata

被引：0
|
作者：
Lygeros, J [1 ]
Johansson, KH [1 ]
Simic, SN [1 ]
Zhang, J [1 ]
Sastry, S [1 ]
机构：
[1] Univ Cambridge, Dept Engn, Cambridge CB2 1PZ, England
来源：
PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5 | 2001年
关键词：
hybrid systems; dynamical systems; continuity; LaSalle's Invariance Principle;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Hybrid automata have been proposed as a language for modelling and analysing the interaction of digital and analogue dynamics in embedded computer systems. In this paper, hybrid automata are studied from a dynamical systems perspective. Extending earlier work on conditions for existence and uniqueness of executions of hybrid automata, we characterise a class of hybrid automata whose executions depend continuously on the initial state. The continuity conditions are subsequently used to derive an extension of LaSalle's principle for studying the stability of invariant sets of states of hybrid automata.
引用
收藏
页码：340 / 345
页数：6
相关论文
共 50 条
  • [21] Stabilization of Finite Automata with Application to Hybrid Systems Control
    Kobayashi, Koichi
    Imura, Jun-ichi
    Hiraishi, Kunihiko
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2011, 21 (04): : 519 - 545
  • [22] The Geometrical Criterion for Stability of Linear Hybrid Automata on the Plane
    Kuzmych, Olena
    Aitouche, Abdelouhab
    Shah, M. Zamurad
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 118 - 123
  • [23] Diagnosis of hybrid systems through Observers and Timed Automata
    Mhamdi, L.
    Maaref, B.
    Dhouibi, H.
    Messaoud, H.
    Abazi, Z. Simeu
    2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 164 - 169
  • [24] Hybrid automata: an insight into the discrete abstraction of discontinuous systems
    Navarro-Lopez, Eva M.
    Carter, Rebekah
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2011, 42 (11) : 1883 - 1898
  • [25] Evolution of Hybrid Cellular Automata for Density Classification Problem
    Anghelescu, Petre
    SYMMETRY-BASEL, 2024, 16 (05):
  • [26] Stabilization of Finite Automata with Application to Hybrid Systems Control
    Koichi Kobayashi
    Jun-ichi Imura
    Kunihiko Hiraishi
    Discrete Event Dynamic Systems, 2011, 21 : 519 - 545
  • [27] Discrete-time control for rectangular hybrid automata
    Henzinger, TA
    Kopke, PW
    THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 369 - 392
  • [28] Optimal control of hybrid automata: design of a semiactive suspension
    Corona, D
    Giua, A
    Seatzu, C
    CONTROL ENGINEERING PRACTICE, 2004, 12 (10) : 1305 - 1318
  • [29] Invariance principles for switching systems via hybrid systems techniques
    Goebel, Rafal
    Sanfelice, Ricardo G.
    Teel, Andrew R.
    SYSTEMS & CONTROL LETTERS, 2008, 57 (12) : 980 - 986
  • [30] Invariance principles for hybrid systems with connections to detectability and asymptotic stability
    Sanfelice, Ricardo G.
    Goebel, Rafal
    Teel, Andrew R.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (12) : 2282 - 2297
12345