HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis

  • Stefan Schupp
  • Erika Ábrahám
  • Ibtissem Ben Makhlouf
  • Stefan Kowalewski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10227)


In this tool paper we introduce HyPro, our free and open-source C++ programming library, which offers implementations for the most prominent state set representations used by flowpipe-construction-based reachability analysis techniques for hybrid systems.


  1. 1.
    Althoff, M., Dolan, J.M.: Online verification of automated road vehicles using reachability analysis. IEEE Trans.Robot. 30(4), 903–918 (2014)CrossRefGoogle Scholar
  2. 2.
    Chen, X., Ábrahám, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258–263. Springer, Heidelberg (2013). doi:10.1007/978-3-642-39799-8_18 CrossRefGoogle Scholar
  3. 3.
    Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379–395. Springer, Heidelberg (2011). doi:10.1007/978-3-642-22110-1_30 CrossRefGoogle Scholar
  4. 4.
    Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291–305. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31954-2_19 CrossRefGoogle Scholar
  5. 5.
    Hagemann, W., Möhlmann, E., Rakow, A.: Verifying a PI controller using SoapBox and Stabhyli: experiences on establishing properties for a steering controller. In: Proceedings of ARCH 2014. EPiC Series in Computer Science, vol. 34. EasyChair (2014)Google Scholar
  6. 6.
    Henzinger, T.: The theory of hybrid automata. In: Proceedings of LICS 1996, pp. 278–292. IEEE Computer Society Press (1996)Google Scholar
  7. 7.
  8. 8.
  9. 9.
    Le Guernic, C., Girard, A.: Reachability analysis of linear systems using support functions. Nonlinear Anal.: Hybrid Syst. 4(2), 250–262 (2010)MathSciNetMATHGoogle Scholar
  10. 10.
    Ziegler, G.M.: Lectures on Polytopes, vol. 152. Springer Science & Business Media, New York (1995)MATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Stefan Schupp
    • 1
  • Erika Ábrahám
    • 1
  • Ibtissem Ben Makhlouf
    • 1
  • Stefan Kowalewski
    • 1
  1. 1.RWTH Aachen UniversityAachenGermany

Personalised recommendations