Pages that link to "Item:Q988781"
From MaRDI portal
The following pages link to Reachability analysis of linear systems using support functions (Q988781):
Displayed 12 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)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis (Q2406963) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894) (← links)