Characterizing simulation relations through control architectures in abstraction-based control
From MaRDI portal
Cites work
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- A Lyapunov approach to incremental stability properties
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Asynchronous l-complete approximations
- Design of Symbolic Controllers for Networked Control Systems
- Feedback Refinement Relations for the Synthesis of Symbolic Controllers
- Formal methods for discrete-time dynamical systems
- Hierarchical control system design using approximate simulation
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- Input-output analysis of large-scale interconnected systems. Decomposition, well-posedness and stability
- Model checking of safety properties
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- On abstraction-based controller design with output feedback
- On contraction analysis for non-linear systems
- pFaces
- Robust abstractions for control synthesis: completeness via robustness for linear-time properties
- SCOTS: a tool for the synthesis of symbolic controllers
- Verification and Control of Hybrid Systems
This page was built for publication: Characterizing simulation relations through control architectures in abstraction-based control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7303155)
