LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Certified Polynomial Optimization for System Verification

 Victor Magron
Tuesday, April 03 2018 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Victor Magron (Verimag (Grenoble))

Semidefinite programming (SDP) is relevant to a wide range of mathematical fields, including combinatorial optimization, control theory, matrix completion. In 2001, Lasserre introduced a hierarchy of SDP relaxations for approximating polynomial infima. My talk emphasizes new applications of this SDP hierarchy in system verification, with a flavor of either computer science or mathematics, investigated during my research. In real algebraic geometry, I describe how to use these hierarchies to approximate as close as desired exact projections of semialgebraic sets. In nonlinear optimization, SDP hierarchies allow to compute Pareto curves (associated with multi-criteria problems) as well as solutions of transcendental problems. These hierarchies can also be easily interleaved with computer assisted proofs. An appealing motivation was to solve efficiently thousands of nonlinear inequalities occurring in the formal proof of Kepler Conjecture by Hales. Finally, SDP can provide precise information to analyze roundoff errors, motivated by automatic tuning of reconfigurable hardware (e.g. FPGA) to algorithm specifications. I will eventually focus on explaining how these hierarchies allow to characterize sets of interest in control and dynamical systems, in particular reachable sets and invariant measures.

About LSV