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)
93D05: Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory
93B50: Synthesis problems
37N35: Dynamical systems in control
93A10: General systems
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Model predictive control of directed‐graph constrained systems, Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties, Asynchronous \(l\)-complete approximations, 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, Approximately bisimilar symbolic models for nonlinear control systems, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Deadlock-free output feedback controller design based on approximately abstracted observers, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Approximately bisimilar symbolic model for switched systems with unstable subsystems, Symbolic control design of nonlinear systems with outputs, Finite horizon discrete models for multi-agent control systems with coupled dynamics, Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications, Data-driven controller synthesis for abstract systems with regular language specifications, Hierarchical Hybrid Symbolic Robot Motion Planning and Control, Hierarchical Control of Linear Systems from the Abstraction Feedback Gain, Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems