Pages that link to "Item:Q5898983"

The following pages link to Hybrid Systems: Computation and Control (Q5898983):

Displaying 29 items.

• Reachability computation for polynomial dynamical systems (Q526433) (← links)
• Computing reachable states for nonlinear biological models (Q533351) (← links)
• Invariant sets of hybrid autonomous systems with disturbance (Q624686) (← 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)
• Interval estimation for discrete-time linear systems: a two-step method (Q1729099) (← links)
• A survey of interval observers design methods and implementation for uncertain systems (Q2027366) (← links)
• Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
• Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
• Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
• OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations (Q2154032) (← links)
• Control design with guaranteed transient performance: an approach with polyhedral target tubes (Q2207233) (← links)
• Adaptive event based fault detection (Q2220009) (← links)
• External polyhedral estimates of reachable sets of discrete-time systems with integral bounds on additive terms (Q2230372) (← links)
• Construction of the minimum time function for linear systems via higher-order set-valued methods (Q2329686) (← links)
• Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
• Comparison of guaranteed state estimators for linear time-invariant systems (Q2665326) (← links)
• Control barrier functions for stochastic systems (Q2665332) (← links)
• Reachability of weakly nonlinear systems using Carleman linearization (Q2695489) (← links)
• Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• On the boundedness of outer polyhedral estimates for reachable sets of linear systems (Q3545188) (← links)
• Finite-time stability and stabilisation with polyhedral domains for linear systems (Q5130082) (← links)
• Approximation of convex bodies by multiple objective optimization and an application in reachable sets (Q5745164) (← links)
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)
• A linear programming approach to approximating the infinite time reachable set of strictly stable linear control systems (Q6104921) (← links)
• Resilience of linear systems to partial loss of control authority (Q6160803) (← links)
• Towards optimal space-time discretization for reachable sets of nonlinear control systems (Q6192518) (← links)