A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx [chapter]

Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
2012 Lecture Notes in Computer Science  
A recent technique used in falsification methods for hybrid systems relies on distance-based heuristics for guiding the search towards a goal state. The question is whether the technique can be carried over to reachability analyses that use regions as their basic data structure. In this paper, we introduce a box-based distance measure between regions. We present an algorithm that, given two regions, efficiently computes the box-based distance between them. We have implemented the algorithm in
more » ... aceEx and use it for guiding the region-based reachability analysis of SpaceEx. We illustrate the practical potential of our approach in a case study for the navigation benchmark.
doi:10.1007/978-3-642-31424-7_35 fatcat:t3ulqzyyxjh2vbqdo2b2xmaolu