Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems

Cited In (36)

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

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)