Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
own
Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems
Formal Verification of Control System Software
Guaranteed Simulation of Dynamical Systems with Integral Constraints & Application on Delayed Dynamical Systems
Improving the Numerical Accuracy of Parallel Programs by Data Mapping
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
»
Cite
×