HyPro: A C++ State Set Representation Library for the Analysis of Hybrid Systems

HyPro is a C++ library collecting the most prominent state set representations used for the reachability analysis of hybrid systems via flowpipe computation. Currently it provides implementations with a unified interface for boxes, convex polytopes, support functions, zonotopes. Furthermore the library holds an implementation of orthogonal polyhedra and also Taylor models.

HyPro was developed in the research project HyPro.

• GitHub page: https://github.com/hypro/hypro
• Doxygen API documentation: https://hypro.github.io/hypro/html/
• PDF manual: manual

Contact: Stefan Schupp