Comparing Forward and Backward Reachability as Tools for Safety Analysis
From MaRDI portal
Publication:3612992
DOI10.1007/978-3-540-71493-4_34zbMath1221.93029OpenAlexW1574960890MaRDI QIDQ3612992
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
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)
Related Items (12)
Computational techniques for reachability analysis of Max-Plus-Linear systems ⋮ Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics ⋮ The calculation of discriminating kernel based on viability kernel and reachability ⋮ Lazy Abstraction-Based Controller Synthesis ⋮ Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems ⋮ Viable set computation for hybrid systems ⋮ Safety preserving control synthesis for sampled data systems ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Bracketing backward reach sets of a dynamical system ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Fault detection and isolation using viability theory and interval observers ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems
Uses Software
This page was built for publication: Comparing Forward and Backward Reachability as Tools for Safety Analysis