Verification of Linear Hybrid Systems by Means of Convex Approximations.

Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond

Browse the full SAS paper archive.