网络随机控制系统的无限抽象的组合构建
摘要：基于组合方法的无限抽象构造方法 独立于连续时间的非线性随机控制系统间互连的抽象化构造 随机存储函数的新概念用于表征子系统和其抽象化的连接以及连接矩阵和联合耗散性特性 基于随机模拟函数的互连抽象化框架可以量化原始随机控制系统和抽象化的距离 通过引入概率中距离度量间连接随机控制系统和抽象化系统之间的量化耗散性推理 提出了计算机方案来构造多维度独立噪声下的非线性离散随机控制系统及其抽象化和相应的随机存储函数 综合了句法上合理线性时态逻辑公式来考虑抽象系统上合成政策如何在保证满意概率上细化成原始系统上的政策 通过以复合方式构建完全3维的三个非线性离散随机控制子系统(总共222个维度)的互连抽象来展示所提出结果的有效性 同时，将该抽象作为替代品用于合成一个满足句法上合理线性时态逻辑规范的控制器。
作者：Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
论文ID：1801.10505
分类：Systems and Control
分类简称：cs.SY
提交时间：2019-05-14