Seminário Prof. Raphael Jungers (UCLouvain, Belgium)
Path-complete Lyapunov functions: graph-theory and algebraic geometry for optimizing LMI stability criteria
Local: LE46 (Bloco A, piso térreo) – FEEC/UNICAMP
Dia: 03/05/2024 (sexta-feira)
Horário: 14:00
Abstract:
I’ll present recent results on Path-Complete control, a meta-optimization technique aiming at designing efficient optimization programs, initially introduced for stability analysis, but later generalized to other control problems. These optimization programs are conveniently represented by an automaton. While we understand correctly now the characterization of all valid automata for stability analysis, many elementary questions remain open.
For practical purpose, it is crucial to understand when a particular optimization program is less conservative than another one. I’ll focus on this problem, which is essentially an algebraic geometry problem. I will mention recent advances, which take into account the used template of candidate Lyapunov functions in the comparison problem. We solve the problem for several templates, making use of tools from automata theory (simulation,…), graph theory (Hall’s marriage theorem), and convex geometry (duality,…).
———————-
Biography:
Raphael Jungers is a Professor at UCLouvain, Belgium. His main interests lie in the fields of Computer Science, Graph Theory, Optimization and Control. He received a Ph.D. in Mathematical Engineering from UCLouvain (2008), and a M.Sc. in Applied Mathematics, both from the Ecole Centrale Paris, (2004), and from UCLouvain (2005).
He has held various invited positions, at the Université Libre de Bruxelles (2008-2009), at the Laboratory for Information and Decision Systems of the Massachusetts Institute of Technology (2009-2010), at the University of L´Aquila (2011, 2013, 2016), at the University of California Los Angeles (2016-2017), and at Oxford University (2022-2023).
He is a FNRS, BAEF, and Fulbright fellow. He has been an Editor at large for the IEEE CDC, Associate Editor for the IEEE CSS Conference Editorial Board, and the journals NAHS (2015-2016), Systems and Control Letters (2016-2017), IEEE Transactions on Automatic Control (2015-2020), Automatica (2020-). He is currently serving as a Senior Editor for NAHS. He was the recipient of the IBM Belgium 2009 award and a finalist of the ERCIM Cor Baayen award 2011. He was the co-recipient of the SICON best paper award 2013-2014, the HSCC2020 best paper award, the NAHS 2020-2022 best paper award, and an ERC 2019 laureate.
