On distributed symbolic control of interconnected systems under persistency specifications

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

zbMATH Keywords

interconnected systemdistributed controllersymbolic controller synthesis

Mathematics Subject Classification ID

Linearizations (93B18) Synthesis problems (93B50)

Uses Software

• PESSOA
• CoSyma
• SCOTS
• TuLiP

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