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