Comparing Forward and Backward Reachability as Tools for Safety Analysis
From MaRDI portal
Publication:3612992
DOI10.1007/978-3-540-71493-4_34zbMATH Open1221.93029OpenAlexW1574960890MaRDI QIDQ3612992FDOQ3612992
Authors: Ian M. Mitchell 
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_34
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Cited In (14)
- Viable set computation for hybrid systems
- Bracketing backward reach sets of a dynamical system
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Safety preserving control synthesis for sampled data systems
- Falsification of LTL Safety Properties in Hybrid Systems
- Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Fault detection and isolation using viability theory and interval observers
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
- The calculation of discriminating kernel based on viability kernel and reachability
- Lazy abstraction-based controller synthesis
- Verification of quantum systems using barrier certificates
Uses Software
This page was built for publication: Comparing Forward and Backward Reachability as Tools for Safety Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612992)
