Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. - Benoît Legat; Raphaël M. Jungers; Pablo A. Parrilo (HSCC, 2016)

Computing controlled invariant sets for hybrid systems with applications to model-predictive control. - Benoît Legat; Paulo Tabuada; Raphaël M. Jungers (ADHS, 2018)

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. - Cláudio Gomes 001; Raphaël M. Jungers; Benoît Legat; Hans Vangheluwe (CDC, 2018)

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)

Stability of Planar Switched Systems under Delayed Event Detection. - Benoît Legat; Cláudio Gomes 001; Paschalis Karalis; Raphaël M. Jungers; Eva M. Navarro-López; Hans Vangheluwe (CDC, 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)

Set programming: theory and computation. - Benoît Legat (2020)

Geometric control of algebraic systems. - Benoît Legat; Raphaël M. Jungers (ADHS, 2021)

Alternating Simulation on Hierarchical Abstractions. - Julien Calbert; Benoît Legat; Lucas N. Egidio; Raphaël M. Jungers (CDC, 2021)

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control. - Benoît Legat; Raphaël M. Jungers; Jean Bouchat (L4DC, 2021)

Piecewise Semi-Ellipsoidal Control Invariant Sets. - Benoît Legat; Sasa V. Rakovic; Raphaël M. Jungers (IEEE Control. Syst. Lett., 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)

JuMP 1.0. - Miles Lubin; Oscar Dowson; Joaquim Dias Garcia; Joey Huchette; Benoît Legat; Juan Pablo Vielma (CoRR, 2022)

Sequential sum-of-squares programming for analysis of nonlinear systems. - Torbjørn Cunis; Benoît Legat (CoRR, 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 (ACC, 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., 2023)

Low-Rank Univariate Sum of Squares Has No Spurious Local Minima. - Benoît Legat; Chenyang Yuan 001; Pablo A. Parrilo (SIAM J. Optim., 2023)

Dionysos.jl: a Modular Platform for Smart Symbolic Control. - Julien Calbert; Adrien Banse; Benoît Legat; Raphaël M. Jungers (CoRR, 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 (Zenodo, 2024)