We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems

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 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.
Comments: 21 pages, 2 figures
Subjects: Systems and Control (eess.SY)
Journal reference: Automatica, vol. 131, September 2021
DOI: 10.1016/j.automatica.2021.109745
Cite as: arXiv:2004.00131 [eess.SY]
  (or arXiv:2004.00131v1 [eess.SY] for this version)

Submission history

From: Siyuan Liu [view email]
[v1] Tue, 31 Mar 2020 21:39:34 GMT (95kb)

Link back to: arXiv, form interface, contact.