Mathematics – Optimization and Control
Scientific paper
2008-01-03
Mathematics
Optimization and Control
19 pages, 11 figures, Accepted to appear in Hybrid Systems: Computation and Control, 2008
Scientific paper
In this paper, we describe a novel approach for checking safety specifications of a dynamical system with exogenous inputs over infinite time horizon that is guaranteed to terminate in finite time with a conclusive answer. We introduce the notion of resolution completeness for analysis of safety falsification algorithms and propose sampling-based resolution-complete algorithms for safety falsification of linear time-invariant discrete time systems over infinite time horizon. The algorithms are based on deterministic incremental search procedures, exploring the reachable set for feasible counter examples to safety at increasing resolution levels of the input. Given a target resolution of inputs, the algorithms are guaranteed to terminate either with a reachable state that violates the safety specification, or prove that no input exists at the given resolution that violates the specification.
Bhatia Amit
Frazzoli Emilio
No associations
LandOfFree
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-379067