Symbolic models for infinite networks of control systems: a compositional approach
From MaRDI portal
Publication:2074749
DOI10.1016/j.nahs.2021.101097zbMath1485.93033arXiv2102.03327OpenAlexW3200681303MaRDI QIDQ2074749
Navid Noroozi, Majid Zamani, Si-Yuan Liu
Publication date: 10 February 2022
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2102.03327
Discrete-time control/observation systems (93C55) Large-scale systems (93A15) Networked control (93B70)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- ISS small-gain criteria for infinite networks with linear gain functions
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
- Stability conditions for infinite networks of nonlinear systems and their application for stabilization
- Symbolic Models for Networks of Control Systems
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- SCOTS
- Bisimilar Finite Abstractions of Interconnected Systems
- Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
- Verification and Control of Hybrid Systems
- Constructing Control System Abstractions from Modular Components
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- A Lyapunov-Based Small-Gain Theorem for Infinite Networks
- Input-to-State Stability of Infinite-Dimensional Systems: Recent Results and Open Questions
- Compositional Synthesis of Finite-State Abstractions
- Distributed control of spatially invariant systems
- A Lyapunov approach to incremental stability properties
- On the ill-posedness of certain vehicular platoon control problems
This page was built for publication: Symbolic models for infinite networks of control systems: a compositional approach
