Pages that link to "Item:Q3612992"
From MaRDI portal
The following pages link to Comparing Forward and Backward Reachability as Tools for Safety Analysis (Q3612992):
Displaying 13 items.
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- The calculation of discriminating kernel based on viability kernel and reachability (Q1710143) (← links)
- Viable set computation for hybrid systems (Q2252963) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Computational techniques for reachability analysis of Max-Plus-Linear systems (Q2409446) (← links)
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems (Q3015126) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics (Q3523147) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Fault detection and isolation using viability theory and interval observers (Q5027545) (← links)
- Verification of quantum systems using barrier certificates (Q6546471) (← links)
