An Approximate Simulation Approach to Symbolic Control
From MaRDI portal
Publication:4974259
DOI10.1109/TAC.2008.925824zbMath1367.93220MaRDI QIDQ4974259
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Synthesis problems (93B50) Dynamical systems in control (37N35) General systems (93A10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (20)
Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ 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 ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Asynchronous \(l\)-complete approximations ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Model predictive control of directed‐graph constrained systems ⋮ Hierarchical Hybrid Symbolic Robot Motion Planning and Control ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
This page was built for publication: An Approximate Simulation Approach to Symbolic Control
