XSpeed

Reachability Analysis Tool for Continuous and Hybrid Systems with Acceleration.

Publications

  • A. Gurung, R. Ray, "Simultaneous Solving of Batched Linear Programs on a GPU", 10th ACM Intl. Conference on Performance Engineering (ICPE), to appear in April 2019, Mumbai, India. [pdf] | [bibtex]
  • S. Bogomolov, G. Frehse, A. Gurung, D. Li, G. Martius, R. Ray, "Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing", 22nd Intl. Conference on Hybrid Systems: Computation and Control (HSCC), to appear in April 2019, Montreal, Canada. (ACCEPTED)
  • Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp: ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52. [pdf]
  • Lei Bu, Rajarshi Ray, Stefan Schupp: ARCH-COMP18 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 14-22. [pdf]
  • Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu. Parallel Reachability Analysis of Hybrid Systems in XSpeed. International Journal on Software Tools for Technology Transfer (STTT), Springer, 2018. https://doi.org/10.1007/s10009-018-0485-6 [Indexed in SCI Expanded] [Read Full Paper]
  • Amit Gurung and Rajarshi Ray. Planar Projection of Polytopes using Hough Transforms. In 2018 International Conference on Electronics, Computing and Communication Technologies (IEEE CONECCT), IEEE Bangalore Section, at Bangalore, India, March 16-17, 2018. [pdf] | [bibtex] ]
  • M. Althoff, S. Bak, D. Cattaruzza, X. Chen, G. Frehse, R. Ray, S. Schupp, ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Period -April, Place -Pittsburgh, USA, Page -143-159, 2017. [pdf] | [bibtex]
  • L. Bu, R. Ray, S. Schupp, ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, Period -April, Place -Pittsburgh, USA, Page -134-142, 2017. [pdf]|[bibtex]
  • Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu and Rajarshi Ray, Parallel reachability analysis for hybrid systems, In Proceedings of 14th ACM-IEEE International Conference MEMOCODE 2016 [pdf] | [bibtex] | [ppt]
  • Rajarshi Ray and Amit Gurung. Parallel state space exploration of linear systems with inputs using XSpeed. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pages 285–286, 2015. [pdf] | [bibtex]
  • Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov and Radu Grosu. Xspeed: Accelerating reachability analysis on multi-core processors. In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. [pdf] | [bibtex] | [ppt]