Abstractions of Stochastic Hybrid Systems

Share/Save/Bookmark

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. [Report]

[img]
Preview
PDF
290Kb
Abstract:In this paper we define a stochastic bisimulation concept for a very general class of stochastic hybrid systems, which subsumes most classes of stochastic hybrid systems. The definition of this bisimulation builds on the concept of zigzag morphism defined for strong Markov processes.
The main result is that this stochastic bisimulation 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:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/64683
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 250909