On distributed symbolic control of interconnected systems under persistency specifications
From MaRDI portal
Publication:2023566
DOI10.34768/amcs-2020-0046zbMath1461.93147OpenAlexW3120483030MaRDI QIDQ2023566
Christophe Combastel, Ali Zolghadri, W. Alejandro Apaza-Perez
Publication date: 3 May 2021
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doaj.org/article/14d872268edd45e3b93c5bff562cf89a
Uses Software
Cites Work
- Unnamed Item
- Symbolic computing in probabilistic and stochastic analysis
- Approximate bisimulation: a bridge between computer science and control theory
- Approximately bisimilar symbolic models for nonlinear control systems
- Distributed synthesis of state-dependent switching control
- Small-gain theorem for ISS systems and applications
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Formal methods for discrete-time dynamical systems
- Decentralized static output tracking control of interconnected and disturbed Takagi-Sugeno systems
- Decentralized design of interconnected H∞ feedback control systems with quantized signals
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
- A symbolic approach to the design of nonlinear networked control systems
- SCOTS
- Small Gain Theorems for Large Scale Systems and Construction of ISS Lyapunov Functions
- Verification and Control of Hybrid Systems
- Optimized State Space Grids for Abstractions
- Design of Symbolic Controllers for Networked Control Systems
- Decentralized Supervisory Control of Networks of Nonlinear Control Systems
- Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
- Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
- Compositional synthesis via a convex parameterization of assume-guarantee contracts
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Computing Abstractions of Nonlinear Systems
- Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
This page was built for publication: On distributed symbolic control of interconnected systems under persistency specifications