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.
This work has been supported by the European Commission under HYBRIDGE project, IST-2001-32460.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular Specifications of Hybrid Systems in CHARON. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 6–19. Springer, Heidelberg (2000)
Arnold, L.: Random Dynamical systems. Springer, Berlin (1998)
Arnold, L.: Lyapunov’s Second Method for Random Dynamical Systems. J. of Diff. Eq. 177, 235–265 (2001)
Bernadskiy, M., Sharykin, R., Alur, R.: Structured Modelling of Concurrent Stochastic Hybrid Systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 309–324. Springer, Heidelberg (2004)
Blute, R., Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for Labelled Markov Processes. In: Logic in Comp. Sc., pp. 149–158. IEEE Press, Los Alamitos (1997)
Bujorianu, M.C., Bujorianu, M.L., Maharaj, S.: Towards a Formalization of Viewpoints Testing. In: Hierons, R., Jeron, T. (eds.) Proceedings of Formal Approaches to Testing of Software, pp. 137–151 (2002)
Bujorianu, M.L., Lygeros, J.: Reachability Questions in Piecewise Deterministic Markov Processes. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 126–140. Springer, Heidelberg (2003)
Bujorianu, M.L.: Extended Stochastic Hybrid Systems and their Reachability Problem. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 234–249. Springer, Heidelberg (2004)
Bujorianu, M.L., Lygeros, J.: General Stochastic Hybrid Systems. In: IEEE Mediterranean Conference on Control and Automation MED 2004, Turkey (2004)
Bujorianu, M.L., Lygeros, J.: Theoretical Foundations of General Stochastic Hybrid Processes. In: Proc. 6th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004 (2004)
Bujorianu, M.L.: Capacities and Markov Processes. Libertas Math. 24, 201–210 (2004)
Bujorianu, M.L., Lygeros, J.: General Stochastic Hybrid Systems: Modelling and Optimal Control. In: Proc. 43th Conference in Decision and Control (2004)
Davis, M.H.A.: Markov Models and Optimization. Chapman & Hall, London (1993)
Edalat, A.: Semi-pullbacks and Bisimulation in Categories of Markov Processes. Math. Struct. in Comp. Science 9(5), 523–543 (1999)
Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation Relations for Dynamical, Control and Hybrid Systems. Submitted to Theor. Comput. Science
Hmissi, M.: Semi-groupes Deterministes. Sem. Th. Potentiel 9 (1989); Paris, LNM 1393, 135–144
Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from Open Maps. Inf. and Comp. 127(2), 164–185 (1996)
Larsen, K.G., Skou, A.: Bisimulation through Probabilistic Testing. Inf. and Comp. 94, 1–28 (1991)
Meyer, P.A.: Processus de Markov. LNM, vol. 26. Springer, Berlin (1976)
Popa, E., Popa, L.: Morphisms for Semi-dynamical Systems. An. St. Univ. Iasi, t., XLIV(f.2), 335–349 (1998)
van der Schaft, A.J.: Bisimulation of Dynamical Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 559–569. Springer, Heidelberg (2004)
Strubbe, S.N., van der Schaft, A.J.: Bisimulation for Communicating PDPs. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414. Springer, Heidelberg (2005)
Yuan, C., Lygeros, J.: Stochastic Markovian Switching Hybrid Processes WP SHS, Public Deliverable DSHS3, EU project COLUMBUS, IST-2001-38314 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bujorianu, M.L., Lygeros, J., Bujorianu, M.C. (2005). Bisimulation for General Stochastic Hybrid Systems. In: Morari, M., Thiele, L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31954-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31954-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25108-8
Online ISBN: 978-3-540-31954-2
eBook Packages: Computer ScienceComputer Science (R0)