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

09/07/2017
by   Andrei Sandler, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/13/2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Continuous deep learning models, referred to as Neural Ordinary Differen...
research
11/17/2020

Data-Driven Reachability Analysis Using Matrix Zonotopes

In this paper, we propose a data-driven reachability analysis approach f...
research
11/19/2021

Benchmarks of Extended Basis Reachability Graphs

In this note, we want to provide a comparison among the efficiency of di...
research
03/08/2018

Classification-based Approximate Reachability with Guarantees Applied to Safe Trajectory Tracking

Hamilton-Jacobi (HJ) reachability analysis has been developed over the p...
research
12/07/2022

A Decision Diagram Operation for Reachability

Saturation is considered the state-of-the-art method for computing fixpo...
research
06/22/2018

Control Plane Compression

We develop an algorithm capable of compressing large networks into a sma...
research
07/26/2022

Teaching Interaction using State Diagrams

To make computational thinking appealing to young learners, initial prog...

Please sign up or login with your details

Forgot password? Click here to reset