Comparing Forward and Backward Reachability as Tools for Safety Analysis

DOI10.1007/978-3-540-71493-4_34MaRDI QIDQ3612992zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03)

Recommendations

• Reachability analysis of linear systems with stepwise constant inputs
• Hybrid Systems: Computation and Control
• Safe \& robust reachability analysis of hybrid systems
• Composing reachability analyses of hybrid systems for safety and stability
• Dynamic optimization for reachability problems.

Cited in

(14)

• RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
• Viable set computation for hybrid systems
• Computational techniques for reachability analysis of Max-Plus-Linear systems
• Lazy abstraction-based controller synthesis
• Lagrangian methods for approximating the viability kernel in high-dimensional systems
• Verification of quantum systems using barrier certificates
• Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
• Falsification of LTL Safety Properties in Hybrid Systems
• Safety preserving control synthesis for sampled data systems
• Bracketing backward reach sets of a dynamical system
• 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
• Fault detection and isolation using viability theory and interval observers
• Hybrid systems: From verification to falsification by combining motion planning and discrete search

Describes a project that uses

Uses Software

• RAMAS

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)