论文标题
互连系统的组成近似于偶性抽象
Compositional Approximately Bisimilar Abstractions of Interconnected Systems
论文作者
论文摘要
本文制定并研究了近似（交替的）一分化关系的概念，这些关系表征了互连系统及其抽象之间的等价关系。这些等价关系保证了符号模型可以保存原始模型的动态。我们通过依靠近似组成和增量输入对状态稳定性的概念来开发一种基于抽象的控制器合成的组成方法。特别是，给定一个由互连组件组成的大规模系统，我们提供了条件，在该条件下，当从子系统到大规模互连系统时，可以保留近似（交替）模拟关系的概念。理论结果的工程相关性已通过交通拥堵控制的应用进行评估。
This paper formulates and studies the concepts of approximate (alternating) bisimulation relations characterizing equivalence relations between interconnected systems and their abstractions. These equivalence relations guarantee that the symbolic model conserves the original model's dynamics. We develop a compositional approach for abstraction-based controller synthesis by relying on the notions of approximate composition and incremental input-to-state stability. In particular, given a large-scale system consisting of interconnected components, we provide conditions under which the concept of approximate (alternating) simulation relation is preserved when going from the subsystems to the large-scale interconnected system. The engineering relevance of the theoretical results has been evaluated through an application in traffic congestion control.
