Abstraction-based control synthesis using partial information

DOI10.1016/J.EJCON.2021.11.001MaRDI QIDQ2667508zbMATH OpenOpenAlexFDO

Authors W. Alejandro Apaza-Perez, Christophe Combastel, Igor Walukiewicz, Anca Muscholl, Ali Zolghadri

Publication date 4 March 2022

Published in European Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ejcon.2021.11.001

zbMATH Keywords

compositional methodcontrol system synthesispersistency specificationssymbolic control

Mathematics Subject Classification ID

Synthesis problems (93B50) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• On distributed symbolic control of interconnected systems under persistency specifications
• Constructing control system abstractions from modular components
• Lazy abstraction-based controller synthesis
• Compositional abstraction refinement for control synthesis
• Compositional construction of approximate abstractions

Cites work

• A symbolic approach to the design of nonlinear networked control systems
• Approximate bisimulation: a bridge between computer science and control theory
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Bisimulation equivalence of differential-algebraic systems
• Compositional construction of approximate abstractions
• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• Computing Abstractions of Nonlinear Systems
• Dealing with Nondeterminism in Symbolic Control
• Equivalence of Dynamical Systems by Bisimulation
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Formal methods for discrete-time dynamical systems
• Handbook of model checking
• scientific article; zbMATH DE number 6936882 (Why is no real title available?)
• Optimized State Space Grids for Abstractions
• Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
• SCOTS: a tool for the synthesis of symbolic controllers
• Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
• Symbolic Models for Networks of Control Systems
• Symbolic models for nonlinear control systems affected by disturbances
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Verification and Control of Hybrid Systems

Cited in

(1)

• On distributed symbolic control of interconnected systems under persistency specifications

Describes a project that uses

Uses Software

• PESSOA
• CoSyma
• SCOTS
• TuLiP

This page was built for publication: Abstraction-based control synthesis using partial information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667508)