Alexandre Donzé. Trajectory-based Verification and Controller Synthesis for Continuous and Hybrid Systems. (Trajectoires pour la Vérification et la Commande de Systèmes Dynamiques Continus et Hybrides). PhD thesis, Joseph Fourier University, Grenoble, France, 2007. [doi]
Abstract is missing.