2014
2015
2016
2017
2018
2019
2020
2022

Padesáté setkání Pražského informatického semináře

Didier Henrion

The Moment-SOS Hierarchy

The polynomial optimization problem (POP) is a very general problem which seeks to minimize a polynomial of many real variables subject to polynomial inequalities. Its special case is the problem of finding real solutions of a system of polynomial equalities and inequalities.

10. listopadu 2022

16:15

Posluchárna C-132, FEL ČVUT
Technická 2, Praha 6
Zobrazit na mapě

Anotace přednášky

The polynomial optimization problem (POP) is a very general problem which seeks to minimize a polynomial of many real variables subject to polynomial inequalities. Its special case is the problem of finding real solutions of a system of polynomial equalities and inequalities. This NP-hard problem has many applications in fields such as statistics, signal processing, machine learning, computer vision, computational geometry, and control engineering.

The Moment-SOS hierarchy is an approach to the POP that allows us to solve it globally at the price of solving a family of convex (semidefinite) optimization problems of increasing size. The lecture will introduce the approach, describe its main milestones during the last two decades (including the contributions of the speaker) and applications in statistics, signal processing and control. The focus will be on the computational features of the Moment-SOS hierarchy, its limitations and current efforts to overcome them.

Přednášející

Didier Henrion

Didier Henrion is a senior researcher at the Laboratory of Analysis and Architecture of Systems (LAAS) of the National Center for Scientific Research (CNRS) in Toulouse, France. He is also a Professor at the Department of Control Engineering of the Faculty of Electrical Engineering of the Czech Technical University in Prague. His main research interest is in polynomial optimization for systems control. He seeks to unveil links between convex optimization, real algebraic geometry, functional analysis and dynamical systems, and to exploit them to approach classical problems of systems control theory from a new perspective. Since the late 1990s, he has been a key contributor to polynomial optimization and polynomial optimal control. In 2004 he was awarded the Bronze Medal from CNRS, for his achievements in systems control theory. In 2005 he was awarded, jointly with Fredrik Kahl, the David Marr Prize for the best paper at the International Conference on Computer Vision. In 2012 he was awarded, jointly with Jérôme Malick, the Charles Broyden prize for the best paper in the journal Optimization Methods and Software. In 2016 he was awarded, jointly with Cédric Josz, the Optimization Letters Best Paper Award. He is the recipient of the IFAC French NMO Award 2020.

O PRAŽSKÉM INFORMATICKÉM SEMINÁŘI

Seminář se obvykle schází jednou za měsíc ve čtvrtek v 16:15 a to buď v budově FEL ČVUT nebo v budově MFF UK.

Jeho program je tvořen hodinovou přednáškou, po níž následuje časově neomezená diskuse. Základem přednášky je něco (v mezinárodním měřítku) mimořádného nebo aspoň pozoruhodného, na co přednášející přišel a co vysvětlí způsobem srozumitelným a zajímavým i pro širší informatickou obec. Přednášky jsou standardně v angličtině.

Seminář připravuje organizační výbor ve složení Roman Barták (MFF UK), Jaroslav Hlinka (ÚI AV ČR), Michal Chytil, Pavel Kordík (FIT ČVUT), Michal Koucký (MFF UK), Jan Kybic (FEL ČVUT), Michal Pěchouček (FEL ČVUT), Jiří Sgall (MFF UK), Vojtěch Svátek (FIS VŠE), Michal Šorel (ÚTIA AV ČR), Tomáš Werner (FEL ČVUT), Filip Železný (FEL ČVUT)

Idea Pražského informatického semináře vznikla z rozhovorů představitelů několika vědeckých institucí na téma, jak odstranit zbytečnou fragmentaci informatické komunity v ČR.

Podporovatelé

Kontakt

Pražský informatický seminář je z důvodů prevence šíření nákazy novým koronavirem do odvolání pozastaven.