Bisimulation for general stochastic hybrid systems

Authors:
Manuela L. Bujorianu;John Lygeros;Marius C. Bujorianu
Affiliations:
Department of Engineering, University of Cambridge, Cambridge, UK;Department of Electrical and Computer Engineering, University of Patras, Patras, Greece;Computing Laboratory, University of Kent, Canterbury, UK
Venue:
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Year:
2005

Citing 7
Cited 9

Bisimulation through probabilistic testing

Information and Computation
Modular Specification of Hybrid Systems in CHARON

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Bisimulation for Labelled Markov Processes

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Semi-pullbacks and bisimulation in categories of Markov processes

Mathematical Structures in Computer Science
Bisimulation relations for dynamical, control, and hybrid systems

Theoretical Computer Science
Reachability questions in piecewise deterministic Markov processes

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Bisimulation for communicating piecewise deterministic markov processes (CPDPs)

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Reachability analysis for controlled discrete time stochastic hybrid systems

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Computational methods for reachability analysis of stochastic hybrid systems

HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Model checking for a class of performance properties of fluid stochastic models

EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Safety verification for probabilistic hybrid systems

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Rewarding probabilistic hybrid automata

Proceedings of the 16th international conference on Hybrid systems: computation and control
Symbolic control of stochastic switched systems via finite abstractions

QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Approximation Metrics Based on Probabilistic Bisimulations for General State-Space Markov Processes: A Survey

Electronic Notes in Theoretical Computer Science (ENTCS)
A compositional modelling and analysis framework for stochastic hybrid systems

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

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.