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

共 23 条

[1]

Alur R, 2000, LECT NOTES COMPUT SC, V1790, P6

[2] Lyapunov's second method for random dynamical systems [J].

Arnold, L ;

Schmalfuss, B .

JOURNAL OF DIFFERENTIAL EQUATIONS, 2001, 177 (01) :235-265

[3]

Arnold L., 1998, Springer Monographs in Mathematics

[4]

BERNADSKIY M, 2004, LECT NOTES COMPUT SC, V3253, P309

[5]

BLUTE R, 1997, BISIMULATION LABELLE, P149

[6]

Bujorianu M. L., 2004, LIBERTAS MATH, V24, P201

[7]

BUJORIANU MC, 2002, P FORM APPR TEST SOF, P137

[8]

Bujorianu ML, 2004, LECT NOTES COMPUT SC, V2993, P234

[9]

Bujorianu ML, 2003, LECT NOTES COMPUT SC, V2623, P126

[10]

BUJORIANU ML, 2004, P 43 C DEC CONTR

← 1 2 3 →