Pages that link to "Item:Q5282007"

The following pages link to Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems (Q5282007):

Displaying 28 items.

• Computing reachable states for nonlinear biological models (Q533351) (← links)
• A new method of reachable set estimation for time delay systems with polytopic uncertainties (Q905346) (← links)
• Reachability analysis of linear systems using support functions (Q988781) (← links)
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
• A note on reachable set bounding for delayed systems with polytopic uncertainties (Q1659384) (← links)
• Compositional abstraction refinement for control synthesis (Q1690521) (← links)
• Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
• Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint (Q1996687) (← links)
• Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
• Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
• Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
• Reachability analysis using dissipation inequalities for uncertain nonlinear systems (Q2203460) (← links)
• Reach set computation and control synthesis for discrete-time dynamical systems with disturbances (Q2276115) (← links)
• On stochastic linear systems with zonotopic support sets (Q2288639) (← links)
• A non-ellipsoidal reachable set estimation for uncertain neural networks with time-varying delay (Q2299721) (← links)
• State fusion with unknown correlation: ellipsoidal intersection (Q2391495) (← links)
• Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
• Set-membership filtering with incomplete observations (Q2660932) (← links)
• Nonlinear set membership filter with state estimation constraints via consensus-ADMM (Q2681381) (← links)
• Exact Sampling of a Linear Interval Predictor (Q2789978) (← links)
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems (Q3015126) (← links)
• Theory and computational techniques for analysis of discrete-time control systems with disturbances (Q3096879) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS (Q3386558) (← links)
• Reachable set estimation and synthesis of discrete‐time switched systems (Q6061307) (← links)
• Robustness analysis of uncertain time‐varying systems with unknown initial conditions (Q6117682) (← links)
• Construction of the time-optimal bounded control for linear discrete-time systems based on the method of superellipsoidal approximation (Q6148278) (← links)