PhD Defense by Raphael Cohen

Event Details
  • Date/Time:
    • Monday December 3, 2018 - Tuesday December 4, 2018
      11:00 am - 12:59 pm
  • Location: TSRB (Tech square) room 509
  • Phone:
  • URL:
  • Email:
  • Fee(s):
  • Extras:
No contact information submitted.

Summary Sentence: Formal Verification and Validation of Convex Optimization Algorithms For Model Predictive Control

Full Summary: No summary paragraph submitted.

PhD Defense



Formal Verification and Validation of Convex

Optimization Algorithms For Model Predictive Control




Student Name: Raphael Cohen

Advisor: Dr. Eric Feron

Date and time: December 3rd 2018 in TSRB (Tech square) room 509 at 11 am



Abstract. The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in

safety critical roles. However, this cannot happen without addressing proper attention to the soundness of these algorithms. This PhD thesis discusses the formal verification of convex optimization algorithms with a particular emphasis on receding-horizon controllers. Additionally, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the code level, thereby making it accessible for the formal methods community. In seeking zero-bug software, we use the Credible Autocoding scheme. We focused our attention on the ellipsoid algorithm solving second-order cone programs (SOCP). In addition to this, we present a floating-point analysis of the algorithm and give a framework to numerically validate the method.


keywords: Formal Methods, Software Verification, Frama-C, SMT Solvers, Convex Optimization, Ellipsoid Method, Floating-points.




Committee Member:


  • Professor Marcus Holzinger               Georgia Tech / Univ. Colorado Boulder
  • Professor Panagiotis Tsiotras             Georgia Tech
  • Professor Eric Feron                           Georgia Tech
  • Dr. Pierre-Loïc Garoche                     Onera - The French Aerospace Lab
  • Dr. Tim Wang                                      UTRC
  • Dr. César Muñoz                                NASA

Additional Information

In Campus Calendar

Graduate Studies

Invited Audience
Faculty/Staff, Public, Graduate students, Undergraduate students
Phd Defense
  • Created By: Tatianna Richardson
  • Workflow Status: Published
  • Created On: Nov 15, 2018 - 2:45pm
  • Last Updated: Nov 15, 2018 - 2:45pm