Bisimulation for general stochastic hybrid systems

Share/Save/Bookmark

Bujorianu, Manuela L. and Lygeros, John and Bujorianu, Marius C. (2005) Bisimulation for general stochastic hybrid systems. Hybrid Systems: Computation and Control, Lectur . pp. 198-216.

[img] PDF
Restricted to UT campus only
: Request a copy
271kB
Abstract: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.
Item Type:Article
Additional information:eemcs1420
Copyright:© 2005 Springer-Verlag
Link to this item:http://purl.utwente.nl/publications/54791
Official URL:http://dx.doi.org/10.1007/b106766
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 229280