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 条
  • [1] Continuity controlled hybrid automata
    Bergstra, JA
    Middelburg, CA
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 5 - 53
  • [2] Dynamical properties of hybrid automata
    Lygeros, J
    Johansson, KH
    Simic, SN
    Zhang, J
    Sastry, SS
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2003, 48 (01) : 2 - 17
  • [3] Measurability invariance, continuity and a portfolio representation
    Sawyer, Kim
    Sankey, Howard
    Lombardo, Ric
    MEASUREMENT, 2013, 46 (01) : 89 - 96
  • [4] Symmetry-Based Abstractions for Hybrid Automata
    Sibai, Hussein
    Mitra, Sayan
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (05) : 3357 - 3364
  • [5] Combining hybrid Petri nets and hybrid automata
    Sava, AT
    Alla, H
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
  • [6] Polyhedral Flows in Hybrid Automata
    Rajeev Alur
    Sampath Kannan
    Salvatore La Torre
    Formal Methods in System Design, 2004, 24 : 261 - 280
  • [7] On the regularization of Zeno hybrid automata
    Johansson, KH
    Egerstedt, M
    Lygeros, J
    Sastry, S
    SYSTEMS & CONTROL LETTERS, 1999, 38 (03) : 141 - 150
  • [8] Polyhedral flows in hybrid automata
    Alur, R
    Kannan, S
    La Torre, S
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (03) : 261 - 280
  • [9] Invariance principles for hybrid systems with memory
    Liu, Jun
    Teel, Andrew R.
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 21 : 130 - 138
  • [10] Superposition Principle in Composable Hybrid Automata
    Akhundov, Jafar
    Troeger, Peter
    Werner, Matthias
    FUNDAMENTA INFORMATICAE, 2018, 157 (04) : 321 - 339
12345