PhD Proposal by Raphael Cohen

Event Details
  • Date/Time:
    • Friday February 16, 2018
      10:15 am - 12:00 pm
  • Location: TSRB (Tech Square) Room 523a
  • Phone:
  • URL:
  • Email:
  • Fee(s):
    N/A
  • Extras:
Contact
No contact information submitted.
Summaries

Summary Sentence: Formal Verification of Convex Optimization Algorithms Within Control Systems

Full Summary: No summary paragraph submitted.

Formal Verification of Convex Optimization Algorithms Within Control Systems

 

 

 

PhD Student: Raphael Cohen

Advisor: Dr. Eric Feron

 

Date : Friday February 16, 2018 at 10:15 am in TSRB (Tech Square) Room 523a

 

 

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.

 

 

Additional Information

In Campus Calendar
No
Groups

Graduate Studies

Invited Audience
Faculty/Staff, Public, Graduate students, Undergraduate students
Categories
Other/Miscellaneous
Keywords
Phd proposal
Status
  • Created By: Tatianna Richardson
  • Workflow Status: Published
  • Created On: Feb 8, 2018 - 10:32am
  • Last Updated: Feb 8, 2018 - 10:32am