Pages that link to "Item:Q988781"

The following pages link to Reachability analysis of linear systems using support functions (Q988781):

Displaying 21 items.

• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
• Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Computing reachable states for nonlinear biological models (Q533351) (← links)
• Interval quadratic programming for day-ahead dispatch of uncertain predicted demand (Q899284) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
• The calculation of discriminating kernel based on viability kernel and reachability (Q1710143) (← links)
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
• Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
• Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
• Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing (Q2060886) (← links)
• Robust data-driven predictive control using reachability analysis (Q2095289) (← links)
• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
• Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
• Conservative time discretization: a comparative study (Q2165508) (← links)
• A note on the Hausdorff distance between norm balls and their linear maps (Q6052489) (← links)
• New conditions on finite-time stability of linear discrete-time system (Q6157352) (← links)
• Optimization of the reachable set of a linear system with respect to another set (Q6167989) (← links)
• Constrained polynomial zonotopes (Q6171823) (← links)