Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm
Guillaume Davy
,
Eric Feron
,
Pierre-Loic Garoche
,
Didier Henrion
January 2018
Type
Conference paper
Publication
LPAR-22, 22st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, November 16-21, 2018
own
Guillaume Davy
Formal method Engineer @ Alstom
Related
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Formal verification of an interior point algorithm instanciation
A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Cite
×