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.
    [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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. PROCEEDINGS OF THE 27TH CHINESE CONTROL CONFERENCE, VOL 2, 2008, : 628 - 631
  • [6] Efficient simulation of general stochastic hybrid systems
    Malik, Avinash
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2022, 46
  • [7] A geometric approach to bisimulation and verification of hybrid systems
    Broucke, M
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1999, 1569 : 61 - 75
  • [8] A Computational Procedure for Bisimulation of Hybrid Dynamical Systems
    Tavassoli, Babak
    [J]. 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 1432 - 1437
  • [9] COMBINATORIAL CONVERSION AND MOMENT BISIMULATION FOR STOCHASTIC REWRITING SYSTEMS
    Behr, Nicolas
    Danos, Vincent
    Garnier, Ilias
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (03) : 3:1 - 3:45
  • [10] Bisimulation relations for dynamical, control, and hybrid systems
    Haghverdi, E
    Tabuada, P
    Pappas, GJ
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 342 (2-3) : 229 - 261
12345