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