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, 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, Symbolic models for nonlinear time-delay systems using approximate bisimulations, Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems