互联控制系统中控制障碍函数的组合构造

本文为互联离散时间控制系统提供一种组合框架，用于综合强制由 co-Buchi 自动机表达的规范之混合控制器。具体而言，我们首先基于表示原始 co-Buchi 自动机之补的自动机，将给定规范分解为更简单的可达性任务。然后，我们提供一种系统方法，通过计算每个对应的控制障碍函数来解决这些更简单的可达性任务。我们证明，在假设某些小增益型条件并组合为子系统计算的所谓局部控制障碍函数的情况下，此类控制障碍函数可以组合地构造。我们提供两种基于平方和优化程序与反例引导归纳综合方法的系统技术，以搜索子系统的局部控制障碍函数。最后，我们通过两个大规模案例研究说明了我们结果的有效性。