Imperial College London > Talks@ee.imperial > CAS Talks > New Applications of Moment-SOS hierarchies
Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
New Applications of Moment-SOS hierarchiesAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Grigorios Mingas. Semidefinite programming is relevant to a wide range of mathematic fields, including combinatorial optimization, control theory, matrix completion. In 2001, Lasserre introduced a hierarchy of semidefinite relaxations for particular polynomial instances of the Generalized Moment Problem (GMP). My talk emphasizes new applications of this moment-SOS hierarchy, investigated during my PhD and Postdoc research. In the context of formal proofs for nonlinear optimization, one can combine the moment-SOS hierarchy with maxplus approximation of semiconvex functions. Such a framework is mandatory for formal certification of nonlinear inequalities, occurring by thousands in the proof of Kepler Conjecture by Hales. I also present how to approximate, as closely as desired, the Pareto curve associated with bicriteria polynomial optimization problems or the image of semialgebraic sets under polynomial maps. For each problem, one builds a hierarchy of semidefinite programs, so that the sequence of bounds converges in L1 norm. Finally, this hierarchy allows to analyze programs containing loop invariants with polynomial assignments. This talk is part of the CAS Talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsType the title of a new list here Type the title of a new list here talks@ee.imperialOther talksIntegrated design approach for complex socio-technical systems architecture and optimization – Application to electric cars. Low-latency option pricing using systolic binomial trees London Probability Seminar: Multi-armed Bandits On Transmission of Correlated Gaussian Sources over Broadcast Channels with Feedback DRASTIC: Dynamically Reconfigurable Architecture Systems for Time-varying Image Constraints |