非线性控制系统网络的分散监督控制

信息-物理系统之系统范式因其在能够妥善处理众多工程上感兴趣的复杂系统方面的表达能力，在控制系统研究界正变得相当流行。分散控制技术为驯服 CPSoS 固有的复杂性提供了一种有前景的方法，同时也与所需通信基础设施和计算单元的设计相关。在本文中，我们提出了离散时间非线性控制系统网络的分散控制，以任意所需精度强制执行以正则语言表达的复杂规范。正如本文所讨论的，正则语言虽然在离散事件系统研究界被传统地研究，但也为控制系统相当广泛的复杂规范提供了有用的建模手段。分散控制器的设计基于形式化方法，特别是离散抽象的使用。通过借助即时算法技术推导出此类控制器的高效综合，该技术还允许使用并行计算架构。讨论了分散方法相对于集中式方法的优缺点，包括在计算复杂度方面。给出了一个说明性示例，展示了所提结果的适用性与有效性。