Linear Hybrid System Falsification through Local Search

@inproceedings{Abbas2011LinearHS,
  title={Linear Hybrid System Falsification through Local Search},
  author={Houssam Abbas and Georgios E. Fainekos},
  booktitle={ATVA},
  year={2011}
}
In this paper, we address the problem of local search for the falsification of hybrid automata with affine dynamics. Namely, given a sequence of locations and a maximum simulation time, we return the trajectory that comes closest to the unsafe set. This problem is formulated as a differentiable optimization problem and solved. The purpose of developing such a local search method is to combine it with high level stochastic optimization algorithms in order to falsify hybrid systems with complex… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS