Set Programming: Theory and Computation, 2020.
slides pdf - Jie Wang, Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, Antonio Ac\'in. Certifying Ground-State Properties of Quantum Many-Body Systems. 2024., 10.48550/arXiv.2310.05844
arXiv code - Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma. Flexible Differentiable Optimization via Model Transformations. INFORMS Journal on Computing, 2023., 10.1287/ijoc.2022.0283
arXiv code - Benoît Legat, Chenyang Yuan, Pablo A. Parrilo. Low-Rank Univariate Sum of Squares Has No Spurious Local Minima. SIAM Journal on Optimization, 33(3), 2041--2061, 2023., 10.1137/22m1516208
arXiv code 10.24433/CO.7364738.v1 - Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma. JuMP 1.0: Recent Improvements to a Modeling Language for Mathematical Optimization. Mathematical Programming Computation, 15(3), 581--589, 2023., 10.1007/s12532-023-00239-3
arXiv code - Benoît Legat, Raphaël M. Jungers. Geometric Control of Hybrid Systems. Nonlinear Analysis: Hybrid Systems, 47, 101289, 2023., 10.1016/j.nahs.2022.101289
code 10.24433/CO.4907777.v2 - Benoît Legat, Saša V. Raković, Raphaël M. Jungers. Piecewise Semi-Ellipsoidal Control Invariant Sets. IEEE Control Systems Letters, 5(3), 755--760, 2021., 10.1109/LCSYS.2020.3005326
arXiv code 10.24433/CO.6396918.v1 - Benoît Legat, Luc Rocher. The Limits of Pairwise Correlation to Model the Joint Entropy. Sensors, 21(11), 3700, 2021., 10.3390/s21113700
- Benoît Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin. MathOptInterface: A Data Structure for Mathematical Optimization Problems. INFORMS Journal on Computing, 34(2), 672--689, 2021., 10.1287/ijoc.2021.1067
arXiv Optimization Online code - Benoît Legat, Paulo Tabuada, Raphaël M Jungers. Sum-of-Squares Methods for Controlled Invariant Sets with Applications to Model-Predictive Control. Nonlinear Analysis: Hybrid Systems, 36, 100858, 2020., 10.1016/j.nahs.2020.100858
code - Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers. Certifying Unstability of Switched Systems Using Sum of Squares Programming. SIAM Journal on Control and Optimization, 58(4), 2616--2638, 2020., 10.1137/18M1173460
arXiv pdf code 10.24433/CO.9148109.v2 - Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers. An Entropy-Based Bound for the Computational Complexity of a Switched System. IEEE Transactions on Automatic Control, 64(11), 4623--4628, 2019., 10.1109/tac.2019.2902625
code 10.24433/CO.0452244.v1 - Manon Martin, Benoît Legat, Justine Leenders, Julien Vanwinsberghe, Réjane Rousseau, Bruno Boulanger, Paul H.C. Eilers, Pascal De Tullio, Bernadette Govaerts. PepsNMR for 1H NMR Metabolomic Data Pre-Processing. Analytica Chimica Acta, 1019, 1--13, 2018., 10.1016/j.aca.2018.02.067
code
- Torbjørn Cunis, Benoît Legat. Sequential Sum-of-Squares Programming for Analysis of Nonlinear Systems. In American Control Conference (ACC), 756--772, 2023. IEEE / IEEE., 10.23919/acc55779.2023.10156153
arXiv - Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers. Alternating Simulation on Hierarchical Abstractions. In Proceedings of the 60th IEEE Conference on Decision and Control, 2021. IEEE., 10.1109/cdc45484.2021.9683448
code - Benoît Legat, Raphaël M. Jungers. Geometric Control of Algebraic Systems. In Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC-PapersOnLine, 79--84, 2021. Elsevier BV., 10.1016/j.ifacol.2021.08.478
arXiv code 10.24433/CO.6266939.v1 - Benoît Legat, Jean Bouchat, Raphaël M. Jungers. Abstraction-Based Branch and Bound Approach to Q-learning for Hybrid Optimal Control. In Proceedings of the 3rd Conference on Learning for Dynamics and Control, Proceedings of Machine Learning Research, 263--274, 2021. PMLR.,
arXiv pdf code - Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe. Stability of Planar Switched Systems under Delayed Event Detection. In Proceedings of the 59th IEEE Conference on Decision and Control, 2020. IEEE., 10.1109/cdc42340.2020.9304152
arXiv - Cláudio Gomes, Benoît Legat, Raphaël M. Jungers, Hans Vangheluwe. Stable Adaptive Co-Simulation: A Switched Systems Approach. In IUTAM Symposium on Solver-Coupling and Co-Simulation, editors, 81--97. Springer International Publishing, 2019., 10.1007/978-3-030-14883-6_5
- Benoît Legat, Paulo Tabuada, Raphaël M. Jungers. Computing Controlled Invariant Sets for Hybrid Systems with Applications to Model-Predictive Control. In Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, IFAC-PapersOnLine, 193--198, 2018., 10.1016/j.ifacol.2018.08.033
arXiv code - Cláudio Gomes, Raphaël M Jungers, Benoît Legat, Hans Vangheluwe. Minimally Constrained Stable Switched Systems and Application to Co-Simulation. In Proceedings of the 57th IEEE Conference on Decision and Control, 5676--5681, 2018. IEEE., 10.1109/CDC.2018.8619223
arXiv - B. Legat, R. M. Jungers. Parallel Optimization on the Entropic Cone. In Proceedings of the 37rd Symposium on Information Theory in the Benelux, SITB '16, 206--211, 2016.,
pdf code slides - Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo. Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC '16, 51--60, Vienna, Austria, 2016. ACM., 10.1145/2883817.2883821
pdf code slides