--- res: bibo_abstract: - We present XSpeed a parallel state-space exploration algorithm for continuous systems with linear dynamics and nondeterministic inputs. The motivation of having parallel algorithms is to exploit the computational power of multi-core processors to speed-up performance. The parallelization is achieved on two fronts. First, we propose a parallel implementation of the support function algorithm by sampling functions in parallel. Second, we propose a parallel state-space exploration by slicing the time horizon and computing the reachable states in the time slices in parallel. The second method can be however applied only to a class of linear systems with invertible dynamics and fixed input. A GP-GPU implementation is also presented following a lazy evaluation strategy on support functions. The parallel algorithms are implemented in the tool XSpeed. We evaluated the performance on two benchmarks including an 28 dimension Helicopter model. Comparison with the sequential counterpart shows a maximum speed-up of almost 7× on a 6 core, 12 thread Intel Xeon CPU E5-2420 processor. Our GP-GPU implementation shows a maximum speed-up of 12× over the sequential implementation and 53× over SpaceEx (LGG scenario), the state of the art tool for reachability analysis of linear hybrid systems. Experiments illustrate that our parallel algorithm with time slicing not only speeds-up performance but also improves precision.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Rajarshi foaf_name: Ray, Rajarshi foaf_surname: Ray - foaf_Person: foaf_givenName: Amit foaf_name: Gurung, Amit foaf_surname: Gurung - foaf_Person: foaf_givenName: Binayak foaf_name: Das, Binayak foaf_surname: Das - foaf_Person: foaf_givenName: Ezio foaf_name: Bartocci, Ezio foaf_surname: Bartocci - foaf_Person: foaf_givenName: Sergiy foaf_name: Bogomolov, Sergiy foaf_surname: Bogomolov foaf_workInfoHomepage: http://www.librecat.org/personId=369D9A44-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-0686-0365 - foaf_Person: foaf_givenName: Radu foaf_name: Grosu, Radu foaf_surname: Grosu bibo_doi: 10.1007/978-3-319-26287-1_1 bibo_volume: 9434 dct_date: 2015^xs_gYear dct_language: eng dct_publisher: Springer@ dct_title: 'XSpeed: Accelerating reachability analysis on multi-core processors@' ...