网络化控制系统的符号抽象
最优化与控制
2016-11-22 v4 形式语言与自动机理论
系统与控制
摘要
过去十年，网络化控制系统（NCS）因其在工业应用中的普遍存在而受到广泛关注，特别是在无线 NCS 案例中，因其架构灵活性以及低廉的安装和维护成本而备受瞩目。在无线 NCS 中，传感器、控制器和执行器之间的通信由通信信道支持，该信道很可能引入可变的通信延迟、数据包丢失、带宽限制以及其他实际非理想特性，从而导致众多技术挑战。尽管文献中已广泛研究了 NCS 的稳定性性质，但针对具有更复杂和一般目标的 NCS 的结果，特别是涉及逻辑规范验证或控制器综合的结果，则非常有限。本研究探讨了如何通过构造性地推导 NCS 的符号模型来解决此类复杂目标，同时涵盖上述网络非理想特性。获得的抽象（符号）模型随后可用于综合混合控制器，以在具体 NCS 模型上执行丰富的逻辑规范。此类一般规范的示例包括表示为线性时序逻辑（LTL）公式或无限串自动机的属性。因此，我们提供了一个通用的综合框架，可灵活适应多种 NCS 配置。我们通过一些案例研究说明了结果的有效性。
引用
@article{arxiv.1401.6396,
title = {Symbolic Abstractions of Networked Control Systems},
author = {Majid Zamani and Manuel Mazo and Mahmoud Khaled and Alessandro Abate},
journal= {arXiv preprint arXiv:1401.6396},
year = {2016}
}
备注
22 pages, 8 figures, 1 table