论文标题
通过假定保证合同优化的扰动互连系统的分散信号时间逻辑控制
Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization
论文作者
论文摘要
我们为具有信号时间逻辑（STL）规范的动力联轴器的扰动线性系统网络开发了一种新型的分散控制方法。我们首先将STL要求转换为设定的遏制问题，然后开发控制器来解决这些问题。我们的方法是基于将子系统之间的耦合视为干扰，而该子系统以参数假设合同的形式进行了界定集合。集合遏制要求和参数化合同被添加到子系统的约束中。我们引入了一个集中的优化问题，以得出合同，可及地管和分散的闭环控制定律。我们表明，当STL公式相对于子系统可分离时，可以以分布式方式解决集中式优化问题，从而将其扩展到大型系统。我们介绍了STL满意度鲁棒性的正式理论保证。通过电力网络案例研究证明了所提出方法的有效性。
We develop a novel decentralized control method for a network of perturbed linear systems with dynamical couplings subject to Signal Temporal Logic (STL) specifications. We first transform the STL requirements into set containment problems and then we develop controllers to solve these problems. Our approach is based on treating the couplings between subsystems as disturbances, which are bounded sets that the subsystems negotiate in the form of parametric assume-guarantee contracts. The set containment requirements and parameterized contracts are added to the subsystems' constraints. We introduce a centralized optimization problem to derive the contracts, reachability tubes, and decentralized closed-loop control laws. We show that, when the STL formula is separable with respect to the subsystems, the centralized optimization problem can be solved in a distributed way, which scales to large systems. We present formal theoretical guarantees on robustness of STL satisfaction. The effectiveness of the proposed method is demonstrated via a power network case study.
