Symbolic models for infinite networks of control systems: a compositional approach
From MaRDI portal
Publication:2074749
Abstract: This paper presents a compositional framework for the construction of symbolic models for a network composed of a countably infinite number of finite-dimensional discrete-time control subsystems. We refer to such a network as infinite network. The proposed approach is based on the notion of alternating simulation functions. This notion relates a concrete network to its symbolic model with guaranteed mismatch bounds between their output behaviors. We propose a compositional approach to construct a symbolic model for an infinite network, together with an alternating simulation function, by composing symbolic models and alternating simulation functions constructed for subsystems. Assuming that each subsystem is incrementally input-to-state stable and under some small-gain type conditions, we present an algorithm for orderly constructing local symbolic models with properly designed quantization parameters. In this way, the proposed compositional approach can provide us a guideline for constructing an overall symbolic model with any desired approximation accuracy. A compositional controller synthesis scheme is also provided to enforce safety properties on the infinite network in a decentralized fashion. The effectiveness of our result is illustrated through a road traffic network consisting of infinitely many road cells.
Recommendations
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Compositional construction of abstractions for infinite networks of discrete-time switched systems
- Compositional construction of infinite abstractions for networks of stochastic control systems
- A symbolic approach to the design of nonlinear networked control systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
Cites work
- A Lyapunov approach to incremental stability properties
- A Lyapunov-Based Small-Gain Theorem for Infinite Networks
- Approximately bisimilar symbolic models for nonlinear control systems
- Bisimilar Finite Abstractions of Interconnected Systems
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Compositional Synthesis of Finite-State Abstractions
- Constructing control system abstractions from modular components
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- Distributed control of spatially invariant systems
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 6936882 (Why is no real title available?)
- Input-to-state stability of infinite-dimensional systems: recent results and open questions
- ISS small-gain criteria for infinite networks with linear gain functions
- On the ill-posedness of certain vehicular platoon control problems
- SCOTS: a tool for the synthesis of symbolic controllers
- Stability conditions for infinite networks of nonlinear systems and their application for stabilization
- 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
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Verification and Control of Hybrid Systems
Cited in
(6)- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- A symbolic approach to the design of nonlinear networked control systems
- Design of Symbolic Controllers for Networked Control Systems
- Symbolic Abstractions of Networked Control Systems
- Decentralized control of infinite systems
- Incremental finite-step input-to-state stability for network of discrete-time switched systems
This page was built for publication: Symbolic models for infinite networks of control systems: a compositional approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074749)
