HyPro  20.11
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
State set representations

Here we show general information about the provided state set representations as well as usage examples.