论文标题
通过假定保证合同的信号时间逻辑任务的组成合成
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts
论文作者
论文摘要
在本文中，我们着重于控制信号时间逻辑（STL）任务的控制器的组成合成问题，该任务是连续的非线性互连系统的。通过利用基于漏斗的控制的想法，我们表明可以将STL规范的片段作为假定合同提出。然后，定义了一个新的合同满意度概念以建立我们的组成性结果，这使我们能够在所有子系统满足其本地合同时，可以保证互连系统对全球合同的满意。然后，基于此组成框架，我们设计了封闭形式的连续时间反馈控制器，以分散的方式对子系统进行本地合同。最后，我们在两个数字示例中证明了结果的有效性。
In this paper, we focus on the problem of compositional synthesis of controllers enforcing signal temporal logic (STL) tasks over a class of continuous-time nonlinear interconnected systems. By leveraging the idea of funnel-based control, we show that a fragment of STL specifications can be formulated as assume-guarantee contracts. A new concept of contract satisfaction is then defined to establish our compositionality result, which allows us to guarantee the satisfaction of a global contract by the interconnected system when all subsystems satisfy their local contracts. Based on this compositional framework, we then design closed-form continuous-time feedback controllers to enforce local contracts over subsystems in a decentralized manner. Finally, we demonstrate the effectiveness of our results on two numerical examples.
