Reduction of timed hybrid systems

被引：1

作者：

Gennaro S.D.I. ^{[1
]}

Horn C. ^{[2
]}

Kulkarni S.R. ^{[2
]}

Ramadge P.J. ^{[2
]}

机构：

[1] Dipartimento di Ingegneria Elettrica, Università di L'Aquila, 67040 Poggio di Roio, L'Aquila

[2] Department of Electrical Engineering, Princeton University, Princeton

来源：

Discrete Event Dynamic Systems | 1998年 / 8卷 / 4期

基金：

美国国家科学基金会;

关键词：

Finite state automaton; Hybrid systems; Reduction; Timed automata;

D O I：

10.1023/A:1008385431572

中图分类号：

学科分类号：

摘要：

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.

引用

页码：343 / 351

页数：8

共 50 条

[31] Symmetry Reduction for Stochastic Hybrid Systems
Bujorianu, Manuela L.
Katoen, Joost-Pieter
[J]. 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 233 - 238
[32] Reduction Theorems for Hybrid Dynamical Systems
Maggiore, Manfredi
Sassano, Mario
Zaccarian, Luca
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2019, 64 (06) : 2254 - 2265
[33] Model reduction of linear hybrid systems
Gosea, Ion Victor
Petreczky, Mihaly
Leth, John
Wisniewski, Rafael
Antoulas, Athanasios C.
[J]. 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 110 - 117
[34] A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets
Gudino-Mendoza, Berenice
Lopez-Mellado, Ernesto
Aguayo-Lara, Enrique
[J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2018, 94 (10): : 887 - 909
[35] Modeling and simulation of water distribution systems using timed hybrid Petri nets
Gudino-Mendoza, Berenice
Lopez-Mellado, Ernesto
Alla, Hassane
[J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2012, 88 (03): : 329 - 347
[36] Timed and Hybrid Automata in SAL
Suman, P. Vijay
Pandya, Paritosh K.
[J]. PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 480 - 486
[37] On the Determinization of Timed Systems
Bouyer, Patricia
Jaziri, Samy
Markey, Nicolas
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2017), 2017, 10419 : 25 - 41
[38] Slicing timed systems
Janowska, A
Janowski, P
[J]. FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 187 - 210
[39] Hybrid Routhian reduction for simple hybrid forced Lagrangian systems
Eyrea Irazu, Maria Emma
Lopez-Gordon, Asier
de Leon, Manuel
Colombo, Leonardo J.
[J]. 2022 EUROPEAN CONTROL CONFERENCE (ECC), 2022, : 345 - 350
[40] On the composition of timed systems
Sifakis, J
[J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 21 - 22

← 1 2 3 4 5 →