---
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@'
...