Project
People
Workshops
Publications
Contact
Didier Henrion
Senior Researcher (Directeur de Recherche) at LAAS-CNRS and Professor at Prague University
LAAS
Latest
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Cite
×