Pages that link to "Item:Q1583480"

The following pages link to Ellipsoidal techniques for reachability analysis: Internal approximation (Q1583480):

Displaying 20 items.

• Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
• Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
• A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
• Convergence analysis of multivariate McCormick relaxations (Q524904) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Control synthesis in a class of higher-order distributions (Q843635) (← links)
• Robustness of trajectories with finite time extent (Q1614418) (← links)
• Safety verification for distributed parameter systems using barrier functionals (Q1678571) (← links)
• Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
• Chance-constrained controller state and reference governor (Q2065213) (← links)
• Set-membership estimation based on ellipsoid bundles for discrete-time LPV descriptor systems (Q2081843) (← links)
• Robust data-driven predictive control using reachability analysis (Q2095289) (← links)
• Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
• Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
• Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
• Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
• Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday) (Q2631289) (← links)
• A unified approach to controllability analysis for hybrid control systems (Q2643429) (← links)
• Aleksandr Borisovich Kurzhanski (A tribute in honor of his seventieth birthday) (Q2655897) (← links)
• Outlier‐robust set‐membership estimation for discrete‐time linear systems (Q6092322) (← links)