Control of Discrete-Time Piecewise Affine Probabilistic Systems using Reachability Analysis Probabilistic Control of Switched Linear Systems with Chance Constraints Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability Probabilistic Control of Uncertain Linear Systems Using Stochastic Reachability Control of Uncertain Nonlinear Systems Using Ellipsoidal Reachability Calculus Control of Uncertain Hybrid Nonlinear Systems Using Particle Filters Implementation of “Parma Polyhedron Library”-functions in MATLAB 
