Project
People
Workshops
Publications
Contact
Pierre-Loic Garoche
Researcher at ONERA
ONERA
Principal Investigator of Feanicses JCJC Project
Latest
Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems
Improving the Numerical Accuracy of Parallel Programs by Data Mapping
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
Formal Verification of Control System Software
Credible Autocoding of The Ellipsoid Algorithm Solving Second- Order Cone Programs
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Cite
×