Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
From MaRDI portal
Publication:2280884
Abstract: In this paper, we introduce a compositional scheme for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compositional scheme is based on small-gain type reasoning. In particular, we use a notion of so-called alternating simulation functions as a relation between each subsystem and its symbolic model. Assuming some small-gain type conditions, we construct compositionally an overall alternating simulation function as a relation between an interconnection of symbolic models and that of original control subsystems. In such compositionality reasoning, the gains associated with the alternating simulation functions of the subsystems satisfy a certain "small-gain" condition. In addition, we introduce a technique to construct symbolic models together with their corresponding alternating simulation functions for discrete-time control subsystems under some stability property. Finally, we apply our results to the temperature regulation in a circular building by constructing compositionally a finite abstraction of a network containing rooms for any . We use the constructed symbolic models as substitutes to synthesize controllers compositionally maintaining room temperatures in a comfort zone. We choose for the sake of illustrating the results. We also apply our proposed techniques to a nonlinear example of fully connected network in which the compositionality condition still holds for any number of components. In these case studies, we show the effectiveness of the proposed results in comparison with the existing compositionality technique in the literature using a dissipativity-type reasoning.
Recommendations
- Symbolic models for infinite networks of control systems: a compositional approach
- Compositional construction of abstractions for infinite networks of discrete-time switched systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
Cites work
- A compendium of comparison function results
- A linear systems primer.
- A Lyapunov approach to incremental stability properties
- A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
- Bisimilar Finite Abstractions of Interconnected Systems
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems
- Compositional Synthesis of Finite-State Abstractions
- Constructing control system abstractions from modular components
- Hierarchical control system design using approximate simulation
- Homotopies for computation of fixed points
- scientific article; zbMATH DE number 1600999 (Why is no real title available?)
- scientific article; zbMATH DE number 6936882 (Why is no real title available?)
- Networks of dissipative systems. Compositional certification of stability, performance, and safety
- Non-conservative discrete-time ISS small-gain conditions for closed sets
- On the synthesis of discrete controllers for timed systems
- On the synthesis of strategies in infinite games
- SCOTS: a tool for the synthesis of symbolic controllers
- Small gain theorems for large scale systems and construction of ISS Lyapunov functions
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- Symbolic Models for Networks of Control Systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Verification and Control of Hybrid Systems
Cited in
(15)- Lazy controller synthesis for monotone transition systems and directed safety specifications
- Verification of approximate opacity for switched systems: a compositional approach
- Symbolic models for infinite networks of control systems: a compositional approach
- Compositional construction of abstractions for infinite networks of discrete-time switched systems
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
- From dissipativity theory to compositional construction of finite Markov decision processes
- Constructing control system abstractions from modular components
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- scientific article; zbMATH DE number 5201482 (Why is no real title available?)
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
This page was built for publication: Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280884)
