论文标题
互连系统的不透明度保存有限抽象的组成合成
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems
论文作者
论文摘要
在本文中，我们提出了一种组成方法，用于构建不透明度的有限抽象（又称符号模型），以用于离散时间非线性控制系统的网络。特别是，我们引入了模拟函数的新概念，这些函数表征了控制系统之间的距离，同时保留了它们之间的不透明度属性。我们开发了一个组成方案，而不是以整体方式处理大规模系统，而是开发了构成互连的有限抽象以及整体不透明度保留模拟函数。对于逐步输入到州稳定控制系统的网络以及在某些小增强类型条件下，提出了用于设计局部量化参数的算法，以订购构建子系统的局部符号模型，以便符号模型网络模拟原始网络，以确定A a-Priori网络，同时保存其合适的属性。
In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control systems. Particularly, we introduce new notions of simulation functions that characterize the distance between control systems while preserving opacity properties across them. Instead of treating large-scale systems in a monolithic manner, we develop a compositional scheme to construct the interconnected finite abstractions together with the overall opacity-preserving simulation functions. For a network of incrementally input-to-state stable control systems and under some small-gain type condition, an algorithm for designing local quantization parameters is presented to orderly build the local symbolic models of subsystems such that the network of symbolic models simulates the original network for an a-priori defined accuracy while preserving its opacity properties.
