论文标题
互连系统的基于组成抽象的合成：近似组成方法
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
论文作者
论文摘要
在本文中，我们着重于缓解基于抽象的控制器合成中互连控制系统中的计算复杂性。为此，我们为互连系统的抽象构建和自下而上的控制器合成方案提供了一个组成框架。特别是，我们提出了一个近似组成的概念，这使得可以从其成分的抽象（可能是不同类型的）中计算全局互连系统的抽象。最后，通过利用我们近似组成的概念，我们提出了一种自下而上的方法，用于合成可分解安全规范的控制器。通过将两种案例研究（即DC微电网和交通网络）与不同的抽象和控制器合成方案进行比较，证明了提出结果的有效性。
In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositional framework for the construction of abstractions for interconnected systems and a bottom-up controller synthesis scheme. In particular, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions (possibly of different types) of its components. Finally, by leveraging our notion of approximate composition, we propose a bottom-up approach for the synthesis of controllers enforcing decomposable safety specifications. The effectiveness of the proposed results is demonstrated using two case studies (viz., DC microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.
