Bisimulation for general stochastic hybrid systems. (English) Zbl 1078.93062
Morari, Manfred (ed.) et al., Hybrid systems: Computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9–11, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25108-1/pbk). Lecture Notes in Computer Science 3414, 198-214 (2005).
Summary: 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.
For the entire collection see [Zbl 1069.68011].
For the entire collection see [Zbl 1069.68011].
MSC:
93E03 | Stochastic systems in control theory (general) |
60J05 | Discrete-time Markov processes on general state spaces |
60J25 | Continuous-time Markov processes on general state spaces |
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |