Compositional synthesis of opacity-preserving finite abstractions for interconnected systems

Liu, Siyuan and Zamani, Majid (2021): Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. In: Automatica, Vol. 131, 109745

Abstract

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 finite abstractions together with the overall opacity-preserving simulation functions based on those of the smaller subsystems. For a network of incrementally input-to-state stable control subsystems 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. We show that the network of those constructed symbolic models simulates the original network for an a-priori defined abstraction accuracy while preserving its opacity properties. (C) 2021 Elsevier Ltd. All rights reserved.

• Item Type: Journal article
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• ISSN: 0005-1098
• Language: English