Aller au contenu principal
Photo of Benoît Legat
Benoît Legat
Professeur

SST/EPL Ecole polytechnique de Louvain (EPL)

SST/ICTM Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)

SST/ICTM/INMA Pôle en ingénierie mathématique (INMA)

Unités d'enseignement pour 2024

Libellé Code
Projet 3 LEPL1503
Algorithms in data science LINMA2472
Scientific computing LINMA2710
Compléments de mathématiques LSINC1113
bookChapter

Legat, Benoît ; Jungers, Raphaël M.. Computation of invariant sets for complex systems. In: Emmanuel Trélat, Enrique Zuazua, Numerical Control: Part B (Handbook of Numerical Analysis), Elsevier, 2023. 978-0-323-85059-9. doi:10.1016/bs.hna.2022.12.001.

journalArticle

legat, Benoît ; Jungers, Raphaël M.. Geometric control of hybrid systems. In: Nonlinear Analysis: Hybrid Systems, Vol. 47, p. 101289 (2023). doi:10.1016/j.nahs.2022.101289.

journalArticle

Legat, Benoît ; Dowson, Oscar ; Garcia, Joaquim Dias ; Lubin, Miles. MathOptInterface: a data structure for mathematical optimization problems. In: INFORMS Journal on Computing, (2020) (Accepté/Sous presse).

Legat, Benoît ; Rocher, Luc. The Limits of Pairwise Correlation to Model the Joint Entropy. In: Sensors, Vol. 21, no.11, p. 1-3 (2021). doi:10.3390/s21113700.

conferencePaper

Legat, Benoît ; Bouchat, Jean ; Jungers, Raphaël M.. Abstraction-based branch and bound approach to Q-learning for hybrid optimal control. 3rd Annual Learning for Dynamics & Control Conference (ETH Zurich, du 07/06/2021 au 08/06/2021). In: Proceedings of Machine Learning Research, Vol. 144, p. 263-274 (2021).

Calbert, Julien ; Legat, Benoit ; Egidio, Lucas N. ; Jungers, Raphael. Alternating Simulation on Hierarchical Abstractions. 2021 60th IEEE Conference on Decision and Control (CDC) (Austin, TX, USA, du 14/12/2021 au 17/12/2021). In: IEEE Conference on Decision and Control. Proceedings, , p. 593-598 (2021). doi:10.1109/cdc45484.2021.9683448.

Legat, Benoît ; Jungers, Raphaël M.. Geometric control of algebraic systems. 7th IFAC Conference on Analysis and Design of Hybrid Systems (Brussels, du 07/07/2021 au 09/07/2021). In: IFAC-PapersOnLine, (2021) (Accepté/Sous presse).

journalArticle

Legat, Benoît ; Parrilo, Pablo A. ; Jungers, Raphaël M.. Certifying Unstability of Switched Systems Using Sum of Squares Programming. In: SIAM Journal on Control and Optimization, Vol. 58, no.4, p. 2616-2638 (2020). doi:10.1137/18m1173460.

Legat, Benoît ; Rakovic, Sasa V. ; Jungers, Raphael M.. Piecewise Semi-Ellipsoidal Control Invariant Sets. In: IEEE Control Systems Letters, Vol. 5, no.3, p. 755-760 (2021). doi:10.1109/lcsys.2020.3005326.

Legat, Benoît ; Tabuada, Paulo ; Jungers, Raphaël M.. Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control. In: Nonlinear Analysis: Hybrid Systems, Vol. 36, p. 100858 (2020). doi:10.1016/j.nahs.2020.100858.

conferencePaper

Legat, Benoît ; Dowson, Oscar ; Garcia, Joaquim Dias ; Lubin, Miles. MathOptInterface: A Data Structure for Mathematical Optimization Problems. INFORMS Annual Meeting (Virtual, du 07/11/2020 au 13/11/2020).

Legat, Benoît ; Rakovic, Sasa V. ; Jungers, Raphaël M.. Piecewise semi-ellipsoidal control invariant sets. 59th IEEE Conference on Decision and Control (Virtual, du 14/12/2020 au 18/12/2020). In: IEEE Conference on Decision and Control. Proceedings (Accepté/Sous presse).

Legat, Benoît ; Gomes, Cláudio Ângelo Gonçalves ; Karalis, Paschalis ; Jungers, Raphaël M. ; Navarro-López, Eva M. ; Hans Vangheluwe. Stability of Planar Switched Systems under Delayed Event Detection. 59th IEEE Conference on Decision and Control (Virtual, du 14/12/2020 au 18/12/2020). In: IEEE Conference on Decision and Control. Proceedings (Accepté/Sous presse).

Legat, Benoît ; Weisser, Tillmann. SumOfSquares: A Julia package for Polynomial Optimization. INFORMS Annual Meeting (Virtual, du 07/11/2020 au 13/11/2020).

dissertation

Legat, Benoît. Set programming : theory and computation, prom. : Jungers, Raphaël M. ; Parrilo, Pablo A., 23/06/2020.

journalArticle

Legat, Benoît ; Parrilo, Pablo A. ; Jungers, Raphael M.. An entropy-based bound for the computational complexity of a switched system. In: IEEE Transactions on Automatic Control, , p. 1-1 (2019). doi:https://doi.org/10.1109/TAC.2019.2902625. doi:10.1109/tac.2019.2902625 (Accepté/Sous presse).

conferencePaper

Legat, Benoît. Advanced Tutorial on JuMP. The Third Annual JuMP-dev Workshop (Santiago, Chile, du 12/03/2019 au 14/03/2019).

Legat, Benoît ; Jungers, Raphaël M. ; Tabuada, Paulo. Computing polynomial controlled invariant sets using Sum-of-Squares Programming. Sixth International Conference on Continuous Optimization (Berlin, Germany, du 03/08/2019 au 08/08/2019).

Legat, Benoît. JuMP and MathOptInterface: An optimization framework extensible by design. 30th European Conference in Operational Research (Dublin, Ireland, du 23/06/2019 au 26/06/2019). doi:10.13140/RG.2.2.11474.40645.

Legat, Benoît. JuMP extension to Sum-of-Squares Programming. juliaday Nantes 2019 (Nantes, France, 17/06/2019).

Weisser, Tillmann ; Legat, Benoît ; Coey, Christopher ; Kapelevich, Lea ; Vielma Juan Pablo. Polynomial and Moment Optimization in Julia and JuMP. JuliaCon (Baltimore, Maryland, USA, du 21/07/2019 au 27/07/2019).

Legat, Benoît. Set Programming with JuMP. The Third Annual JuMP-dev Workshop (Santiago, Chile, du 12/03/2019 au 14/03/2019). doi:10.13140/RG.2.2.22182.16969 (Soumis).

journalArticle

Martin, Manon ; Legat, Benoît ; Leenders, Justine ; Vanwinsberghe, Julien ; Rousseau, Réjane ; Boulanger, Bruno ; Eilers, Paul H.C. ; De Tullio, Pascal ; Govaerts, Bernadette. PepsNMR for 1 H NMR metabolomic data pre-processing. In: Analytica Chimica Acta, Vol. 1019, p. 1-13 (2018). doi:10.1016/j.aca.2018.02.067.

conferencePaper

Legat, Benoît. Automatic reformulation using constraint bridges. The Second Annual JuMP-dev Workshop (Bordeaux, France, du 27/06/2018 au 29/06/2018).

Legat, Benoît ; Tabuada, Paulo ; Jungers, Raphaël M.. Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ADHS 2018 (Oxford, UK, du 11/07/2018 au 13/07/2018). In: IFAC-PapersOnLine, Vol. 51, no.16, p. 193-198 (2018). doi:10.1016/j.ifacol.2018.08.033.

Legat, Benoît ; Jungers, Raphaël M. ; Paulo Tabuada. Computing controlled invariant sets using semidefinite programming. 37th Benelux Meeting on Systems and Control (Soesterberg, The Netherlands, du 27/03/2018 au 29/03/2018).

Legat, Benoît ; Jungers, Raphaël M.. Computing ellipsoidal controlled invariant sets for stochastic programming. 23rd International Symposium on Mathematical Programming (Bordeaux, France, du 01/07/2018 au 06/07/2018).

Legat, Benoît. Computing semialgebraic invariant sets for dynamical systems. Summer School on Numerical Computing in Algebraic Geometry (Leipzig, Germany, du 13/08/2018 au 17/08/2018).

Legat, Benoît ; Cláudio, Gomes ; Jungers, Raphaël M. ; Hans, Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-simulation. IFAC Conference on Analysis and Design of Hybrid Systems (Oxford, UK, du 11/07/2018 au 13/07/2018).

Cláudio, Gomes ; Jungers, Raphaël M. ; Legat, Benoît ; Hans, Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-simulation. 57th IEEE Conference on Decision and Control 2018 (Miami Beach, FL, USA, du 17/12/2018 au 19/12/2018). In: IEEE Conference on Decision and Control. Proceedings, p. 5676-5681. doi:10.1109/CDC.2018.8619223.

Legat, Benoît ; Coey, Christopher ; Deits, Robin ; Huchette, Joey ; Perry, Amelia. Sum-of-Squares Programming in Julia with JuMP. Summer School on Numerical Computing in Algebraic Geometry (Leipzig, Germany, du 13/08/2018 au 17/08/2018).

workingPaper

Martin, Manon ; Legat, Benoît ; Leenders, Justine ; Vanwinsberghe, Julien ; Rousseau, Réjane ; Boulanger, Bruno ; Eilers, Paul ; De Tullio, Pascal ; Govaerts, Bernadette. PepsNMR for 1H-NMR metabolomic data pre-processing (ISBA Discussion Paper; 2018/09), 2018. 37 p.

conferencePaper

Legat, Benoît ; Parrilo, Pablo A. ; Jungers, Raphaël M.. Certifying unstability of Switched Systems using Sum of Squares Programming. 36th Benelux Meeting on Systems and Control (Spa, Belgium, du 28/03/2017 au 30/03/2017).

Cláudio Gomes ; Legat, Benoît ; Jungers, Raphaël M. ; Hans Vangheluwe. Stable Adaptive Co-simulation: A Switched Systems Approach. IUTAM Symposium on Solver-Coupling and Co-Simulation – Recent developments in theory and application (Darmstadt, Germany, du 18/09/2017 au 20/09/2017). In: IUTAM Symposium on Solver-Coupling and Co-Simulation, 2017. 978-3-030-14882-9, 81-97. doi:10.1007/978-3-030-14883-6_5.

Legat, Benoît. Sum-of-squares optimization in Julia. JuMP Developers Meetup/Workshop (Sloan School of Business, Massachusetts Institute of Technology, du 12/06/2017 au 16/06/2017).

workingPaper

Martin, Manon ; Legat, Benoît ; Leenders, Justine ; Vanwinsberghe, Julien ; Rousseau, Réjane ; Boulanger, Bruno ; Eilers, Paul H.C. ; De Tullio, Pascal ; Govaerts, Bernadette. PepsNMR for the 1H-NMR metabolomic data pre-processing (ISBA Discussion Paper; 2017/22), 2017. 12 p.

conferencePaper

Legat, Benoît ; Jungers, Raphaël M. ; Parrilo, Pablo A.. Generating unstable trajectories for switched systems via Dual Sum-Of-Squares techniques. The 19th International Conference on Hybrid Systems : Computation and Control (Vienna, Austria, du 12/04/2016 au 14/04/2016). In: Proceeding HSCC '16 Proceedings of the 19th International Conference on Hybrid Systems : Computation and Control, p. 51-60. doi:10.1145/2883817.2883821.

Legat, Benoît ; Jungers, Raphaël M.. Parallel optimization on the Entropic Cone. 37th WIC Symposium on Information Theory in the Benelux (Université catholique de Louvain, Louvain-la-Neuve, Belgium, du 19/05/2016 au 20/05/2016).

report

Legat, Benoît ; Jungers, Raphaël M.. Sum-Of-Squares programming on Path-complete graphs for switching systems, 2016.