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 条

[31] Falsification of combined invariance and reachability specifications in hybrid control systems
Rawlings, Blake C.
Ydstie, B. Erik
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 463 - 479
[32] Forward Invariance of Sets for Hybrid Dynamical Systems (Part II)
Chai, Jun
Sanfelice, Ricardo G.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (01) : 89 - 104
[33] Falsification of combined invariance and reachability specifications in hybrid control systems
Blake C. Rawlings
B. Erik Ydstie
Discrete Event Dynamic Systems, 2017, 27 : 463 - 479
[34] Modeling Interdependent Critical Infrastructures using Open Hybrid Automata
Heracleous, Constantinos
Panayiotou, Christos G.
Polycarpou, Marios M.
Ellinas, Georgios
2015 IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2015, : 671 - 676
[35] Synthesis of supervisory controllers for hybrid systems based on approximating automata
Cury, JER
Krogh, BH
Niinomi, T
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) : 564 - 568
[36] Model-Predictive Control of Discrete Hybrid Stochastic Automata
Bemporad, Alberto
Di Cairano, Stefano
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (06) : 1307 - 1321
[37] Hybrid automata for modeling discrete transitions in complex dynamic systems
Mosterman, PJ
Biswas, G
ARTIFICIAL INTELLIGENCE IN REAL-TIME CONTROL 1998, 1999, : 43 - 48
[38] From Simulation Models to Hybrid Automata Using Urgency and Relaxation
Minopoli, Stefano
Frehse, Goran
HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 287 - 296
[39] Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Huang, Zhenqi
Fan, Chuchu
Mereacre, Alexandru
Mitra, Sayan
Kwiatkowska, Marta
COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 373 - 390
[40] Stability of hybrid automata with average dwell time: An invariant approach
Mitra, S
Liberzon, D
2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 1394 - 1399

← 1 2 3 4 5 →