ParaPlan: A Tool for Parallel Reachability Analysis of Planar Polygonal Differential Inclusion Systems

TL;DR

ParaPlan is a tool that significantly accelerates the reachability analysis of planar hybrid systems with differential inclusions, achieving up to 83 times faster performance through parallelization and optimization.

Contribution

It introduces a parallelized and optimized algorithm for reachability analysis of planar differential inclusion systems, enhancing speed and efficiency.

Findings

Achieves up to 83x speed-up over sequential implementation.

Uses novel Voronoi diagram-based benchmarks for evaluation.

Demonstrates effectiveness on various randomly generated benchmarks.

Abstract

We present the ParaPlan tool which provides the reachability analysis of planar hybrid systems defined by differential inclusions (SPDI). It uses the parallelized and optimized version of the algorithm underlying the SPeeDI tool. The performance comparison demonstrates the speed-up of up to 83 times with respect to the sequential implementation on various benchmarks. Some of the benchmarks we used are randomly generated with the novel approach based on the partitioning of the plane with Voronoi diagrams.