Bisimulation for general stochastic hybrid systems

被引：0

作者：

Bujorianu, ML ^{[1
]}

Lygeros, J

Bujorianu, MC

机构：

[1] Univ Cambridge, Dept Engn, Cambridge CB2 1PZ, England

[2] Univ Patras, Dept Elect & Comp Engn, GR-26500 Patras, Greece

[3] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England

来源：

HYBRID SYSTEMS: COMPUTATION AND CONTROL | 2005年 / 3414卷

关键词：

stochastic hybrid systems; Markov processes; simulation morphism; zigzag morphism; bisimulation; category theory;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation builds on the ideas of Edalat and of Larsen and Skou and of Joyal, Nielsen and Winskel. The main result is that this bisimulation for GSHS is indeed an equivalence relation. The secondary result is that this bisimulation relation for the stochastic hybrid system models used in this paper implies the same kind of bisimulation for their continuous parts and respectively for their jumping structures.

引用

页码：198 / 214

页数：17

共 50 条

[21] Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
Latella, D.
Massink, M.
de Vink, E. P.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (93): : 23 - 43
[22] GENERAL STOCHASTIC OSCILLATORY SYSTEMS
GAWAD, EFA
ELTAWIL, MA
APPLIED MATHEMATICAL MODELLING, 1993, 17 (06) : 329 - 335
[23] Bisimulation of dynamical systems
van der Schaft, A
HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 555 - 569
[24] Stochastic Safety Analysis of Stochastic Hybrid Systems
Wisniewski, Rafael
Bujorianu, Manuela L.
2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
[25] Polynomial stochastic hybrid systems
Hespanha, JP
HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 322 - 338
[26] Stochastic approximations of hybrid systems
Abate, A
Ames, AD
Sastry, SS
ACC: Proceedings of the 2005 American Control Conference, Vols 1-7, 2005, : 1557 - 1562
[27] Abstractions of Stochastic hybrid systems
Bujorianu, Manuela L.
Bujorianu, Marius C.
Lygeros, John
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 4712 - 4717
[28] Modeling stochastic hybrid systems
Ghosh, MK
Bagchi, A
SYSTEM MODELING AND OPTIMIZATION, 2005, 166 : 269 - 280
[29] Approximations of Stochastic Hybrid Systems
Julius, A. Agung
Pappas, George J.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (06) : 1193 - 1203
[30] Interacting Particle System based estimation of reach probability of General Stochastic Hybrid Systems
Ma, Hao
Blom, Henk A. P.
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2023, 47

← 1 2 3 4 5 →