Benoît Legat

Orcid: 0000-0002-5921-368X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Flexible Differentiable Optimization via Model Transformations.
INFORMS J. Comput., 2024

Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR, 2024

2023
Low-Rank Univariate Sum of Squares Has No Spurious Local Minima.
SIAM J. Optim., September, 2023

JuMP 1.0: recent improvements to a modeling language for mathematical optimization.
Math. Program. Comput., September, 2023

Sequential sum-of-squares programming for analysis of nonlinear systems<sup>⋆</sup>.
Proceedings of the American Control Conference, 2023

2022
MathOptInterface: A Data Structure for Mathematical Optimization Problems.
INFORMS J. Comput., 2022

Sequential sum-of-squares programming for analysis of nonlinear systems.
CoRR, 2022

JuMP 1.0.
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.
Sensors, 2021

Piecewise Semi-Ellipsoidal Control Invariant Sets.
IEEE Control. Syst. Lett., 2021

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Alternating Simulation on Hierarchical Abstractions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Geometric control of algebraic systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Set programming: theory and computation.
PhD thesis, 2020

Certifying Unstability of Switched Systems Using Sum of Squares Programming.
SIAM J. Control. Optim., 2020

Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
An Entropy-Based Bound for the Computational Complexity of a Switched System.
IEEE Trans. Autom. Control., 2019

2018
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
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.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016


  Loading...