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 条

[41] Analyzing the continuity of attitudinal and perceptual indicators in hybrid choice models
Bahamonde-Birke, Francisco J.
de Dios Ortuzar, de Dios OrtuzarJuan
JOURNAL OF CHOICE MODELLING, 2017, 25 : 28 - 39
[42] A new technique for translating discrete hybrid automata into piecewise affine systems
Potocnik, B
Music, G
Zupancic, B
MATHEMATICAL AND COMPUTER MODELLING OF DYNAMICAL SYSTEMS, 2004, 10 (01) : 41 - 57
[43] Modelling Power Systems as Flat Hybrid Automata for Controlled Line Switching
Zahn, Frederik
Hagenmeyer, Veit
PROCEEDINGS OF THE 2022 THE THIRTEENTH ACM INTERNATIONAL CONFERENCE ON FUTURE ENERGY SYSTEMS, E-ENERGY 2022, 2022, : 302 - 306
[44] Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
Navarro-Lopez, Eva M.
Laila, Dina. S.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (12) : 3196 - 3202
[45] Safety Analysis of Helicopter Models using Timed Automata Hybrid Systems
Sutarto, H. Y.
Megawati, N. Y.
Salmah
Suparwanto, A.
Joelianto, E.
Wijayanti, I. E.
Budiyono, A.
Solikhatun
ICICI-BME: 2009 INTERNATIONAL CONFERENCE ON INSTRUMENTATION, COMMUNICATION, INFORMATION TECHNOLOGY, AND BIOMEDICAL ENGINEERING, 2009, : 430 - +
[46] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
Krishna, Shankara Narayanan
Trivedi, Ashutosh
JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
[47] PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD
Fribourg, Laurent
Kuehne, Ulrich
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2013, 24 (02) : 233 - 249
[48] A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata
Ro, Jin Woo
Malik, Avinash
Roop, Partha
17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
[49] Cryptographic Algorithm Based on Hybrid One-Dimensional Cellular Automata
Stanica, George Cosmin
Anghelescu, Petre
MATHEMATICS, 2023, 11 (06)
[50] ON A CLASS OF TIMER HYBRID SYSTEMS REDUCIBLE TO FINITE-STATE AUTOMATA
INAN, K
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1995, 5 (01): : 83 - 96

← 1 2 3 4 5 →