Bisimulation for general stochastic hybrid systems

被引：0
|
作者：
Bujorianu, ML [1 ]
Lygeros, J
Bujorianu, MC
机构：
[1] Univ Cambridge, Dept Engn, Cambridge CB2 1PZ, England
[2] Univ Patras, Dept Elect & Comp Engn, GR-26500 Patras, Greece
[3] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England
来源：
HYBRID SYSTEMS: COMPUTATION AND CONTROL | 2005年 / 3414卷
关键词：
stochastic hybrid systems; Markov processes; simulation morphism; zigzag morphism; bisimulation; category theory;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：198 / 214
页数：17
相关论文
共 50 条
  • [1] Approximate bisimulation for a class of stochastic hybrid systems
    Julius, A. Agung
    Girard, Antoine
    Pappas, George J.
    2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4724 - +
  • [2] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
    Kobayashi, Koichi
    Fukui, Yasuhito
    Hiraishi, Kunihiko
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 2641 - 2646
  • [3] Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation
    Kobayashi, Koichi
    Fukui, Yasuhito
    Hiraishi, Kunihiko
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2014, E97A (02) : 459 - 467
  • [4] Toward a general theory of Stochastic Hybrid Systems
    Bujorianu, Manuela L.
    Lygeros, John
    STOCHASTIC HYBRID SYSTEMS: THEORY AND SAFETY CRITICAL APPLICATIONS, 2006, 337 : 3 - 30
  • [5] The Asymptotic Stability of General Stochastic Hybrid Systems
    Liu Haijun
    Mu Xiaowu
    PROCEEDINGS OF THE 27TH CHINESE CONTROL CONFERENCE, VOL 2, 2008, : 628 - 631
  • [6] Efficient simulation of general stochastic hybrid systems
    Malik, Avinash
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2022, 46
  • [7] A Computational Procedure for Bisimulation of Hybrid Dynamical Systems
    Tavassoli, Babak
    2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 1432 - 1437
  • [8] A geometric approach to bisimulation and verification of hybrid systems
    Broucke, M
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1999, 1569 : 61 - 75
  • [9] COMBINATORIAL CONVERSION AND MOMENT BISIMULATION FOR STOCHASTIC REWRITING SYSTEMS
    Behr, Nicolas
    Danos, Vincent
    Garnier, Ilias
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (03) : 3:1 - 3:45
  • [10] Geometric approach to bisimulation and verification of hybrid systems
    Broucke, Mireille
    Proceedings of the IEEE Conference on Decision and Control, 1998, 4 : 4277 - 4282
12345