基于假设-保证契约的信号时序逻辑任务组合式综合
系统与控制
2023-09-27 v1 系统与控制
摘要
本文聚焦于在一类连续时间非线性互联系统上，强制执行信号时序逻辑（STL）任务的控制器的组合式综合问题。通过利用基于漏斗的控制思想，我们证明了一类 STL 规范可以被形式化为假设-保证契约。随后定义了一个新的契约满足概念，以建立我们的组合性结果，该结果使我们能够在所有子系统都满足其局部契约时，保证互联系统满足全局契约。基于此组合框架，我们设计了闭式连续时间反馈控制器，以分散的方式在子系统上强制执行局部契约。最后，我们通过两个数值例子展示了所提方法的有效性。
引用
@article{arxiv.2203.10041,
title = {Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts},
author = {Siyuan Liu and Adnane Saoud and Pushpak Jagtap and Dimos V. Dimarogonas and Majid Zamani},
journal= {arXiv preprint arXiv:2203.10041},
year = {2023}
}