During my time in academia I was involved in several projects. Here is a collection of those that I participated in.
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations