E-LIB Suche - Ergebnisse für: Benoît Legat

1

MutableArithmetics: An API for mutable operations:

Legat, Benoît
JuliaCon Proceedings. 6 (2024) 58 - p. 93 , 2024

Link: https://doi.org/10.21105..

2

Flexible Differentiable Optimization via Model Transformati..:

Besançon, Mathieu ; Dias Garcia, Joaquim ; Legat, Benoît.
INFORMS Journal on Computing. 36 (2024) 2 - p. 456-478 , 2024

Link: https://doi.org/10.1287/..

3

JuMP 1.0: recent improvements to a modeling language for ma..:

Lubin, Miles ; Dowson, Oscar ; Garcia, Joaquim Dias...
Mathematical Programming Computation. 15 (2023) 3 - p. 581-589 , 2023

Link: https://doi.org/10.1007/..

4

Sequential sum-of-squares programming for analysis of nonli..:

, In: 2023 American Control Conference (ACC),

Cunis, Torbjorn ; Legat, Benoit - p. 756-772 , 2023

Link: https://doi.org/10.23919..

5

Geometric control of hybrid systems:

Legat, Benoît ; Jungers, Raphaël M.
Nonlinear Analysis: Hybrid Systems. 47 (2023) - p. 101289 , 2023

Link: https://doi.org/10.1016/..

6

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

Legat, Benoît ; Yuan, Chenyang ; Parrilo, Pablo
SIAM Journal on Optimization. 33 (2023) 3 - p. 2041-2061 , 2023

Link: https://doi.org/10.1137/..

7

MathOptInterface: A Data Structure for Mathematical Optimiz..:

Legat, Benoît ; Dowson, Oscar ; Garcia, Joaquim Dias.
INFORMS Journal on Computing. 34 (2022) 2 - p. 672-689 , 2022

Link: https://doi.org/10.1287/..

8

The Limits of Pairwise Correlation to Model the Joint Entro..:

Legat, Benoît ; Rocher, Luc
Sensors. 21 (2021) 11 - p. 3700 , 2021

Link: https://doi.org/10.3390/..

9

Sum-of-Squares methods for controlled invariant sets with a..:

Legat, Benoît ; Tabuada, Paulo ; Jungers, Raphaël M.
Nonlinear Analysis: Hybrid Systems. 36 (2020) - p. 100858 , 2020

Link: https://doi.org/10.1016/..

10

Stability of Planar Switched Systems under Delayed Event De..:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Legat, Benoit ; Gomes, Claudio ; Karalis, Paschalis... - p. 5792-5797 , 2020

Link: https://doi.org/10.1109/..

11

Certifying Unstability of Switched Systems Using Sum of Squ..:

Legat, Benoît ; Parrilo, Pablo ; Jungers, Raphaël
SIAM Journal on Control and Optimization. 58 (2020) 4 - p. 2616-2638 , 2020

Link: https://doi.org/10.1137/..

12

Stable Adaptive Co-simulation: A Switched Systems Approach:

, In: IUTAM Symposium on Solver-Coupling and Co-Simulation; IUTAM Bookseries,

Gomes, Cláudio ; Legat, Benoît ; Jungers, Raphaël M.. - p. 81-97 , 2019

Link: https://doi.org/10.1007/..

13

An Entropy-Based Bound for the Computational Complexity of ..:

Legat, Benoît ; Parrilo, Pablo A. ; Jungers, Raphaël M.
IEEE Transactions on Automatic Control. 64 (2019) 11 - p. 4623-4628 , 2019

Link: https://doi.org/10.1109/..

14

PepsNMR for 1H NMR metabolomic data pre-processing:

Martin, Manon ; Legat, Benoît ; Leenders, Justine...
Analytica Chimica Acta. 1019 (2018) - p. 1-13 , 2018

Link: https://doi.org/10.1016/..

15

Generating Unstable Trajectories for Switched Systems via D..:

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

Legat, Benoît ; Jungers, Raphaël M. ; Parrilo, Pablo A. - p. 51-60 , 2016

Link: https://dl.acm.org/doi/1..