Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems

DOI10.1109/TAC.2006.887900zbMATH1366.93039OpenAlexW1975630497MaRDI QIDQ5282007FDOQ5282007

Authors Alex A. Kurzhanskiy, Pravin Varaiya

Publication date 27 July 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2006.887900

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Linear systems in control theory (93C05) Discrete-time control/observation systems (93C55)

Cited in

(36)

• Construction of the time-optimal bounded control for linear discrete-time systems based on the method of superellipsoidal approximation
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Set invariance and performance analysis of linear systems via truncated ellipsoids
• Lagrangian approximations for stochastic reachability of a target tube
• Exact sampling of a linear interval predictor
• State fusion with unknown correlation: ellipsoidal intersection
• A new method of reachable set estimation for time delay systems with polytopic uncertainties
• Set-membership filtering with incomplete observations
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
• Real-time reachable set estimation for linear time-delay systems based on zonotopes
• Robustness analysis of uncertain time‐varying systems with unknown initial conditions
• Reachable set estimation and synthesis of discrete‐time switched systems
• Compositional abstraction refinement for control synthesis
• Reachability analysis using dissipation inequalities for uncertain nonlinear systems
• Nonlinear set membership filter with state estimation constraints via consensus-ADMM
• scientific article; zbMATH DE number 1444352 (Why is no real title available?)
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
• On stochastic linear systems with zonotopic support sets
• Verification of Hybrid Systems
• Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
• Computing reachable states for nonlinear biological models
• Ellipsoidal reachability sets of linear time-varying systems in estimation and control problems
• Formal verification and quantitative metrics of MPSoC data dynamics
• Ellipsoidal bounds on state trajectories for discrete-time systems with linear fractional uncertainties
• Set-membership state and parameter estimation for discrete time-varying systems based on the constrained zonotope
• A note on reachable set bounding for delayed systems with polytopic uncertainties
• Reachability analysis of linear systems using support functions
• A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay
• Set operations and order reductions for constrained zonotopes
• Theory and computational techniques for analysis of discrete-time control systems with disturbances
• Ellipsoidal reachable sets of linear time-varying continuous and discrete systems in control and estimation problems
• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
• Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint

This page was built for publication: Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282007)