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(2): 459-467.

DOI：10.1587/transfun.E97.A.459

• bounded bisimulation
• discrete abstraction
• genetic toggle switches
• stochastic hybrid systems

A stochastic hybrid system can express complex dynamical systems such as biological systems and communication networks, but computation for analysis and control is frequently difficult. In this paper, for a class of stochastic hybrid systems, a discrete abstraction method in which a given system is transformed into a finite-state system is proposed based on the notion of bounded bisimulation. In the existing discrete abstraction method based on bisimulation, a computational procedure is not in general terminated. In the proposed method, only the behavior for the finite time interval is expressed as a finite-state system, and termination is guaranteed. Furthermore, analysis of genetic toggle switches is also discussed as an application.

• 出版日期2014-2