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] Hybrid Automata as Coalgebras
    Neves, Renato
    Barbosa, Luis S.
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 385 - 402
  • [22] Semismooth hybrid automata
    Yunt, Mehmet
    Barton, Paul I.
    2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2, 2006, : 336 - 341
  • [23] On transfinite hybrid automata
    Nakamura, K
    Fusaoka, A
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 495 - 510
  • [24] Hybrid Interface Automata
    Zhang, Yan
    Zhang, Tian
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 624 - 633
  • [25] Invariance of approximating automata for piecewise linear systems with uncertainties
    Roll, J
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 396 - 406
  • [26] Parameter Invariance and Skill Attribute Continuity in the DINA Model
    Bolt, Daniel M.
    Kim, Jee-Seon
    JOURNAL OF EDUCATIONAL MEASUREMENT, 2018, 55 (02) : 264 - 280
  • [27] Combining hybrid Petri nets and hybrid automata
    Sava, AT
    Alla, H
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
  • [28] Hybrid cc, hybrid automata, and program verification
    Gupta, V.
    Jagadeesan, R.
    Saraswat, V.
    Lecture Notes in Computer Science, 1066
  • [29] Hybrid Invariance and Oligarchic Structures
    Cato, Susumu
    B E JOURNAL OF THEORETICAL ECONOMICS, 2018, 18 (01):
  • [30] Block invariance and reversibility of one dimensional linear cellular automata
    MacLean, Stephanie
    Montalva-Medel, Marco
    Goles, Eric
    ADVANCES IN APPLIED MATHEMATICS, 2019, 105 : 83 - 101
12345