Benoît Legat

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 23

Top Topics

Affinity Matrix

Low Rank Approximation

Top Venues

INFORMS J. Comput.

Publications

Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma
Flexible Differentiable Optimization via Model Transformations. INFORMS J. Comput. 36 (2) (2024)
Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers
Dionysos.jl: a Modular Platform for Smart Symbolic Control. CoRR (2024)
Torbjørn Cunis, Benoît Legat
. ACC (2023)
Benoît Legat, Chenyang Yuan, Pablo A. Parrilo
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima. SIAM J. Optim. 33 (3) (2023)
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. Math. Program. Comput. 15 (3) (2023)
Torbjørn Cunis, Benoît Legat
Sequential sum-of-squares programming for analysis of nonlinear systems. CoRR (2022)
Akshay Sharma, Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat
Flexible Differentiable Optimization via Model Transformations. CoRR (2022)
Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma
JuMP 1.0. CoRR (2022)
Benoît Legat, Chenyang Yuan, Pablo A. Parrilo
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima. CoRR (2022)
Benoît Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin
MathOptInterface: A Data Structure for Mathematical Optimization Problems. INFORMS J. Comput. 34 (2) (2022)
Benoît Legat, Raphaël M. Jungers
Geometric control of algebraic systems. ADHS (2021)
Benoît Legat, Sasa V. Rakovic, Raphaël M. Jungers
Piecewise Semi-Ellipsoidal Control Invariant Sets. IEEE Control. Syst. Lett. 5 (3) (2021)
Benoît Legat, Luc Rocher
The Limits of Pairwise Correlation to Model the Joint Entropy. Comment on Nguyen Thi Thanh et al. Entropy Correlation and Its Impacts on Data Aggregation in a Wireless Sensor Network. Sensors 2018, 18, 3118. Sensors 21 (11) (2021)
Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël Jungers
Alternating Simulation on Hierarchical Abstractions. CDC (2021)
Benoît Legat, Raphaël M. Jungers, Jean Bouchat
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control. L4DC (2021)
Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers
Certifying Unstability of Switched Systems Using Sum of Squares Programming. SIAM J. Control. Optim. 58 (4) (2020)
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. CoRR (2020)
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. CDC (2020)
Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers
An Entropy-Based Bound for the Computational Complexity of a Switched System. IEEE Trans. Autom. Control. 64 (11) (2019)
Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. ADHS (2018)
Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
Minimally Constrained Stable Switched Systems and Application to Co-simulation. CoRR (2018)
Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. CDC (2018)
Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. HSCC (2016)