An Approximate Simulation Approach to Symbolic Control
From MaRDI portal
Dynamical systems in control (37N35) General systems (93A10) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)
Cited in
(26)- Learning-based symbolic abstractions for nonlinear control systems
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- scientific article; zbMATH DE number 4125325 (Why is no real title available?)
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Asynchronous l-complete approximations
- Hierarchical hybrid symbolic robot motion planning and control
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Approximately bisimilar symbolic models for nonlinear control systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Model predictive control of directed-graph constrained systems
- Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
- \textit{AP}-observation automata for abstraction-based verification of continuous-time systems
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Decentralized control of finite state systems: a game theoretic approach
- A modal characterization of alternating approximate bisimilarity
- Data-driven controller synthesis for abstract systems with regular language specifications
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
- Approximate bisimulation: a bridge between computer science and control theory
- Symbolic control design of nonlinear systems with outputs
- Constructing simulation relations for IDO systems affine in inputs and disturbances
- Abstraction-based optimal controller synthesis using dynamic quantization and RRT*
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Finite horizon discrete models for multi-agent control systems with coupled dynamics
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
This page was built for publication: An Approximate Simulation Approach to Symbolic Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4974259)
