Compositional construction of finite state abstractions for stochastic control systems
Compositional construction of finite state abstractions for stochastic control systems
复制标题
随机控制系统有限状态抽象的组合构造
DOI：
10.1109/cdc.2017.8263720
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
R. Majumdar
中科院分区：
文献类型：
--
作者：
Kaushik Mallik;S. Soudjani;Anne;R. Majumdar
连续系统的时序逻辑规范的控制器综合技术通常使用系统的有限状态符号抽象。为整个系统构造这种抽象在计算上是昂贵的，并且没有利用许多系统到交互组件的自然分解。我们最近引入了一个新的关系，称为（近似）干扰互模拟成分符号抽象，以帮助规模控制器合成时序逻辑更大的系统。在本文中，我们推广的结果随机微分方程建模的随机控制系统。给定任何随机控制系统满足一个随机版本的增量输入到状态的稳定性属性和一个正误差界，我们展示了如何构建一个有限状态转移系统（如果存在一个），这是扰动双相似给定的随机控制系统。给定一个随机控制系统的网络，我们给出的条件，同时存在的干扰bisimilitary抽象的每个组件允许组成抽象的网络系统。
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system. Constructing this abstraction for the entire system is computationally expensive, and does not exploit natural decompositions of many systems into interacting components. We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems. In this paper, we extend the results to stochastic control systems modeled by stochastic differential equations. Given any stochastic control system satisfying a stochastic version of the incremental input-to-state stability property and a positive error bound, we show how to construct a finite-state transition system (if there exists one) which is disturbance bisimilar to the given stochastic control system. Given a network of stochastic control systems, we give conditions on the simultaneous existence of disturbance bisimilar abstractions to every component allowing for compositional abstraction of the network system.
影响因子：
6.8
作者：
Reissig, Gunther;Weber, Alexander;Rungger, Matthias
通讯作者：
Rungger, Matthias