随机控制系统网络无限抽象的组合式构造
系统与控制
2019-05-14 v2
摘要
本文关注一种为互联离散时间随机控制系统构造无限抽象的组合式方法。所提方法利用互联矩阵以及由所谓随机存储函数这一新概念描述的子系统及其抽象的联合耗散型性质。互联抽象框架基于所谓随机模拟函数的新概念，利用它可在概率设定下量化原始互联随机控制系统与互联抽象之间的距离。在论文第一部分，我们推导了耗散型组合推理以量化随机控制子系统互联与其抽象互联之间的概率距离。此外，我们聚焦于一类在抽象与具体子系统中具有独立噪声的离散时间非线性随机控制系统，并提出一种计算方案以构造抽象及其相应随机存储函数。在论文第二部分，我们考虑以语法上 co-safe 线性时序逻辑公式表达的规约，并展示如何将针对抽象系统综合的策略精化为针对原始系统的策略，同时提供满足概率的保证。我们通过以组合方式构造三个离散时间非线性随机控制子系统（共 222 维）互联的抽象（共 3 维）来展示所提结果的有效性。我们还使用该抽象作为替代以综合强制语法上 co-safe 线性时序逻辑规约的控制器。
引用
@article{arxiv.1801.10505,
title = {Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems},
author = {Abolfazl Lavaei and Sadegh Soudjani and Majid Zamani},
journal= {arXiv preprint arXiv:1801.10505},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1712.07793, arXiv:1709.10312, arXiv:1902.01223