Follow
Benoît Legat
Benoît Legat
Postdoctoral researcher in ESAT, KULeuven
Verified email at kuleuven.be - Homepage
Title
Cited by
Cited by
Year
JuMP 1.0: Recent improvements to a modeling language for mathematical optimization
M Lubin, O Dowson, JD Garcia, J Huchette, B Legat, JP Vielma
Mathematical Programming Computation 15 (3), 581-589, 2023
832023
MathOptInterface: a data structure for mathematical optimization problems
B Legat, O Dowson, JD Garcia, M Lubin
INFORMS Journal on Computing 34 (2), 672-689, 2022
742022
PepsNMR for 1H NMR metabolomic data pre-processing
M Martin, B Legat, J Leenders, J Vanwinsberghe, R Rousseau, ...
Analytica chimica acta 1019, 1-13, 2018
392018
Polynomial and Moment Optimization in Julia and JuMP
T Weisser, C Legat, Benoît: Coey, L Kapelevich, JP Vielma
JuliaCon, 2019
322019
Sum-of-squares optimization in Julia
B Legat, C Coey, R Deits, J Huchette, A Perry
JuMP Developers Meetup/Workshop, 2017
252017
Computing controlled invariant sets for hybrid systems with applications to model-predictive control
B Legat, P Tabuada, RM Jungers
arXiv preprint arXiv:1802.04522, 2018
242018
Generating unstable trajectories for switched systems via dual sum-of-squares techniques
B Legat, RM Jungers, PA Parrilo
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
212016
Stable adaptive co-simulation: a switched systems approach
C Gomes, B Legat, RM Jungers, H Vangheluwe
IUTAM Symposium on Solver-Coupling and Co-Simulation: Proceedings of the …, 2019
192019
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation
C Gomes, RM Jungers, B Legat, H Vangheluwe
2018 IEEE Conference on Decision and Control (CDC), 5676-5681, 2018
122018
JuliaPolyhedra/Polyhedra.jl: v0.5.1
B Legat, R Deits, O Evans, G Goretkin, T Koolen, J Huchette, D Oyama, ...
https://doi.org/10.5281/zenodo.3066026, 2019
11*2019
Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
B Legat, P Tabuada, RM Jungers
Nonlinear Analysis: Hybrid Systems 36, 100858, 2020
102020
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control
B Legat, RM Jungers, J Bouchat
Learning for Dynamics and Control, 263-274, 2021
82021
Piecewise semi-ellipsoidal control invariant sets
B Legat, SV Raković, RM Jungers
IEEE Control Systems Letters 5 (3), 755-760, 2020
82020
Certifying unstability of switched systems using sum of squares programming
B Legat, P Parrilo, R Jungers
SIAM Journal on Control and Optimization 58 (4), 2616-2638, 2020
72020
An entropy-based bound for the computational complexity of a switched system
B Legat, PA Parrilo, RM Jungers
IEEE Transactions on Automatic Control 64 (11), 4623-4628, 2019
72019
Flexible differentiable optimization via model transformations
M Besançon, J Dias Garcia, B Legat, A Sharma
INFORMS Journal on Computing, 2023
62023
Sequential sum-of-squares programming for analysis of nonlinear systems
T Cunis, B Legat
2023 American Control Conference (ACC), 756-772, 2023
62023
Set programming: theory and computation
B Legat
UCL-Université Catholique de Louvain, 2020
62020
Alternating simulation on hierarchical abstractions
J Calbert, B Legat, LN Egidio, R Jungers
2021 60th IEEE Conference on Decision and Control (CDC), 593-598, 2021
52021
Set programming with JuMP
B Legat, RM Jungers, PA Parrilo, P Tabuada
The Third Annual JuMP-dev Workshop, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20