Benoît Legat

26 papers C 1Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A General and Streamlined Differentiable Optimization Framework.
CoRR
Andrew W. Rosemberg, Joaquim Dias Garcia, François Pacaud, Robert B. Parker, Benoît Legat, Kaarthik Sundar, Russell Bent, Pascal Van Hentenryck
2025 J jnl
Fast, Differentiable, GPU-Accelerated Ray Tracing for Multiple Diffraction and Reflection Paths.
CoRR
Jérome Eertmans, Sophie Lequeu, Benoît Legat, Laurent Jacques, Claude Oestges
2024 J jnl
Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR
Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers
2024 J jnl
Flexible Differentiable Optimization via Model Transformations.
INFORMS J. Comput.
Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma
2023 J jnl
JuMP 1.0: recent improvements to a modeling language for mathematical optimization.
Math. Program. Comput.
Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma
2023 J jnl
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima.
SIAM J. Optim.
Benoît Legat, Chenyang Yuan, Pablo A. Parrilo
2023 C conf
Sequential sum-of-squares programming for analysis of nonlinear systems
ACC
Torbjørn Cunis, Benoît Legat
2022 J jnl
Flexible Differentiable Optimization via Model Transformations.
CoRR
Akshay Sharma, Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat
2022 J jnl
JuMP 1.0.
CoRR
Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma
2022 J jnl
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima.
CoRR
Benoît Legat, Chenyang Yuan, Pablo A. Parrilo
2022 J jnl
MathOptInterface: A Data Structure for Mathematical Optimization Problems.
INFORMS J. Comput.
Benoît Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin
2022 J jnl
Sequential sum-of-squares programming for analysis of nonlinear systems.
CoRR
Torbjørn Cunis, Benoît Legat
2021 — conf
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.
L4DC
Benoît Legat, Raphaël M. Jungers, Jean Bouchat
2021 — conf
Alternating Simulation on Hierarchical Abstractions.
CDC
Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers
2021 — conf
Geometric control of algebraic systems.
ADHS
Benoît Legat, Raphaël M. Jungers
2021 J jnl
Piecewise Semi-Ellipsoidal Control Invariant Sets.
IEEE Control. Syst. Lett.
Benoît Legat, Sasa V. Rakovic, Raphaël M. Jungers
2021 J jnl
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
Benoît Legat, Luc Rocher
2020 J jnl
Certifying Unstability of Switched Systems Using Sum of Squares Programming.
SIAM J. Control. Optim.
Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers
2020 — —
Set programming: theory and computation.
Benoît Legat
2020 — conf
Stability of Planar Switched Systems under Delayed Event Detection.
CDC
Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2020 J jnl
Stability of Planar Switched Systems under Delayed Event Detection.
CoRR
Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
2019 J jnl
An Entropy-Based Bound for the Computational Complexity of a Switched System.
IEEE Trans. Autom. Control.
Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers
2018 — conf
Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
ADHS
Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
2018 J jnl
Minimally Constrained Stable Switched Systems and Application to Co-simulation.
CoRR
Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
2018 — conf
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.
CDC
Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe
2016 — conf
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques.
HSCC
Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo