Benoît Legat
687  Ergebnisse:
Personensuche X
?
2

MutableArithmetics: An API for mutable operations:

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

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
 
?
6

Geometric control of hybrid systems:

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

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

, In: 2023 American Control Conference (ACC),
Cunis, Torbjorn ; Legat, Benoit - p. 756-772 , 2023
 
?
 
?
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
 
?
13

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
 
?
14

Stable Adaptive Co-simulation: A Switched Systems Approach:

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

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
 
1-15