Comparing Forward and Backward Reachability as Tools for Safety Analysis

Abstract

Using only the existence and uniqueness of trajectories for a generic dynamic system with inputs, we de ne and examine eight types of forward and backward reachability constructs. If the input is treated in a worst-case fashion, any forward or backward reach set or tube can be used for safety analysis, but if the input is treated in a best-case fashion only… (More)
DOI: 10.1007/978-3-540-71493-4_34
View Slides

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0102020082009201020112012201320142015201620172018
Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics