Approximate abstractions of discrete-time controlled stochastic hybrid systems
Approximate abstractions of discrete-time controlled stochastic hybrid systems
复制标题
离散时间控制随机混合系统的近似抽象
DOI：
10.1109/cdc.2008.4739270
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
M. D. Benedetto
中科院分区：
文献类型：
--
作者：
A. D’innocenzo;A. Abate;M. D. Benedetto
本文提出了一种构造可控离散随机混合系统有限抽象的方法。根据一些细化参数，用有限格划分原系统的状态空间和控制空间。抽象过程中引入的误差可以随着时间的推移，在原始模型上给出一些连续性假设而显式计算。我们展示了可以通过选择分区精度来任意调整错误。得到的抽象可以被解释为一个受控的马尔可夫集链，并且可以用于验证和控制设计目的。我们测试了提出的技术来分析系统生物学的模型。
This work presents a procedure to construct a finite abstraction of a controlled discrete-time stochastic hybrid system. The state space and the control space of the original system are partitioned by finite lattices, according to some refinement parameters. The errors introduced by the abstraction procedure can be explicitly computed, over time, given some continuity assumptions on the original model. We show that the errors can be arbitrarily tuned by selecting the partition accuracy. The obtained abstraction can be interpreted as a controlled Markov set-Chain, and can be used both for verification and control design purposes. We test the proposed technique to analyze a model from systems biology.