Benoît Legat

According to our database, Benoît Legat authored at least 20 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Flexible Differentiable Optimization via Model Transformations.

Mathieu Besançon, Joaquim Dias Garcia, Benoît Legat, Akshay Sharma

INFORMS J. Comput., 2024

Dionysos.jl: a Modular Platform for Smart Symbolic Control.

Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers

CoRR, 2024

2023

Low-Rank Univariate Sum of Squares Has No Spurious Local Minima.

Benoît Legat, Chenyang Yuan, Pablo A. Parrilo

SIAM J. Optim., September, 2023

JuMP 1.0: recent improvements to a modeling language for mathematical optimization.

Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma

Math. Program. Comput., September, 2023

Sequential sum-of-squares programming for analysis of nonlinear systems^⋆.

Torbjørn Cunis, Benoît Legat

Proceedings of the American Control Conference, 2023

2022

MathOptInterface: A Data Structure for Mathematical Optimization Problems.

Benoît Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin

INFORMS J. Comput., 2022

Sequential sum-of-squares programming for analysis of nonlinear systems.

Torbjørn Cunis, Benoît Legat

CoRR, 2022

JuMP 1.0.

Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Benoît Legat, Juan Pablo Vielma

CoRR, 2022

2021

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.

Benoît Legat, Luc Rocher

Sensors, 2021

Piecewise Semi-Ellipsoidal Control Invariant Sets.

Benoît Legat, Sasa V. Rakovic, Raphaël M. Jungers

IEEE Control. Syst. Lett., 2021

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.

Benoît Legat, Raphaël M. Jungers, Jean Bouchat

Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Alternating Simulation on Hierarchical Abstractions.

Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Geometric control of algebraic systems.

Benoît Legat, Raphaël M. Jungers

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Set programming: theory and computation.

Benoît Legat

PhD thesis, 2020

Certifying Unstability of Switched Systems Using Sum of Squares Programming.

Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers

SIAM J. Control. Optim., 2020

Stability of Planar Switched Systems under Delayed Event Detection.

Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

An Entropy-Based Bound for the Computational Complexity of a Switched System.

Benoît Legat, Pablo A. Parrilo, Raphaël M. Jungers

IEEE Trans. Autom. Control., 2019

2018

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.

Cláudio Gomes, Raphaël M. Jungers, Benoît Legat, Hans Vangheluwe

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Computing controlled invariant sets for hybrid systems with applications to model-predictive control.

Benoît Legat, Paulo Tabuada, Raphaël M. Jungers

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2016

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques.

Benoît Legat, Raphaël M. Jungers, Pablo A. Parrilo

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016