For the reachability analysis of hybrid systems we require the overapproximation of reachable sets by geometric representations such as orthogonal polytopes, convex polytopes, support functions and zonotopes. In our project HyPro we are aiming to provide a library of such representations along with the operations required for reachability analysis (namely the set operations union, intersection, linear transformation and convex hull).
In this context we provide Bachelor and Master theses which cover the representation types convex polytope and zonotope for our library.

If you are interested in the subject or require further information, contact Stefan Schupp.

The overapproximation of the reachable states (represented by convex polytopes) of a hybrid system modelling a bouncing ball.