Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Different approaches on Bisimulation for General Stochastic hybrid systems

Author(s):

M.L. Bujorianu, J. Lygeros, M.C. Bujorianu
Conference/Journal:

Lecture Notes in Computer Science LNCS, vol. 3414, Article part of book: "Hybrid Systems: Computation and Control"
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. Keywords: stochastic hybrid systems, Markov processes, simulation morphism, zigzag morphism, bisimulation, category theory.

Year:

2005
Type of Publication:

Book Chapter
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% No recipe for automatically generating a BibTex entry for Book Chapter
Permanent link