Victor Magron
Domaines de recherche
Compétences
Publications
Publications
|
|
Detecting Destabilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems11th IFAC Symposium on Robust Control Design ROCOND 2025, Jul 2025, Porto, Portugal. pp.242-247, ⟨10.1016/j.ifacol.2025.10.110⟩ |
|
|
Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation4th IFAC Conference of Modelling, Identification and Control of nonlinear systems (MICNON), Sep 2024, Lyon, France |
|
|
State polynomial optimization for nonlinear Bell inequalitiesEffective Methods in Algebraic Geometry, Jul 2024, Leipzig, Germany |
|
|
Verifying Properties of Binary Neural Networks Using Sparse Polynomial OptimizationThirteenth International Conference on Learning Representations (ICLR), 2025, Apr 2025, Singapour, Singapore. 22 p |
|
|
Upper bound hierarchies for noncommutative polynomial optimization26th International Symposium on Mathematical Theory of Networks and Systems (MTNS), Aug 2024, Cambridge (Angleterre), United Kingdom |
|
|
Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness VerificationEuropean Control Conference (ECC 2024), Jun 2024, Stockholm, Sweden. ⟨10.23919/ECC64448.2024.10590974⟩ |
|
|
On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers2025 European Control Conference (ECC), Jun 2025, Thessaloniki, Greece. pp.1237-1242, ⟨10.23919/ECC65951.2025.11186908⟩ |
Trace polynomial optimization with applications in quantum informationWorkshop on Semidefinite and Polynomial Optimization, Aug 2024, Amsterdam (Hollande), Netherlands |
|
|
|
Peak Estimation of Time Delay Systems using Occupation Measures2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.5294-5300, ⟨10.1109/CDC49753.2023.10384165⟩ |
|
|
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squaresISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩ |
Exploiting sparsity in polynomial optimizationJournées nationales de calcul formel (JNCF), Mar 2023, Marseille (CIRM, Centre International de Rencontres Mathématiques), France |
|
|
|
Sparse polynomial optimization: theory and practice17th International Symposium on Operations Research in Slovenia, Sep 2023, Bled, Slovenia |
|
|
L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive ProgrammingEuropean Control Conference (ECC 2022), Jul 2022, Londres, United Kingdom. ⟨10.23919/ECC55457.2022.9838085⟩ |
Conic programming for certified polynomial optimizationConic Linear Optimization for Computer-Assisted Proofs, Apr 2022, Oberwolfach (Germany), Germany |
|
|
|
Exact SOHS Decompositions of Trigonometric Univariate Polynomials with Gaussian CoefficientsInternational Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2022, Lille, France |
|
|
The Constant Trace Property in Noncommutative OptimizationInternational Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩ |
|
|
Stability Analysis of Recurrent Neural Networks by IQC with Copositive MutipliersControl and Decision Conference (CDC) 2021, Dec 2021, Austin, United States. pp.5098-5103, ⟨10.1109/CDC45484.2021.9683530⟩ |
|
|
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimizationEffective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway. ⟨10.48550/arXiv.2103.00915⟩ |
|
|
Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to CertificationAdvances in Neural Information Processing Systems, Dec 2021, Online, France |
|
|
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions2021 American Control Conference (ACC), May 2021, New Orleans, United States. ⟨10.23919/ACC50511.2021.9483347⟩ |
|
|
Semialgebraic Optimization for Lipschitz Constants of ReLU NetworksConference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada |
|
|
A second order cone characterization for sums of nonnegative circuits45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩ |
|
|
On Exact Polya and Putinar's RepresentationsISSAC '18 International Symposium on Symbolic and Algebraic Computation, Jul 2018, New-York, United States. pp.279-286, ⟨10.1145/3208976.3208986⟩ |
Automatic Synthesis of Piecewise Linear Quadratic Invariants for ProgramsVerification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116 |
|
Property-based Polynomial Invariant Generation Using Sums-Of-SquaresStatic Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251 |
|
|
|
NLCertify: A Tool for Formal Nonlinear OptimizationInternational Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p |
|
|
Certification of Bounds of Non-linear Functions: the Templates MethodConferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩ |
|
|
Certification of inequalities involving transcendental functions: combining SDP and max-plus approximationEuropean Control Conference (ECC'13), Jul 2013, Zurich, Switzerland. pp.2244 - 2250 |
|
|
Verifying Properties of Binary Neural Networks Using Sparse Polynomial OptimizationR&T Days 2024, Jul 2024, Toulouse (FRANCE), France. 2024 |
|
|
Sparse Polynomial Optimization: Theory and PracticeWorld Scientific Press. 2023, Series on Optimization and Its Applications, 978-1-80061-294-5. ⟨10.1142/q0382⟩ |
|
|
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations68 (7), pp.953-966, 2019, ⟨10.1109/TC.2018.2851235⟩ |
|
|
Positivity of state, trace, and moment polynomials, and applications in quantum informationOperator Theory, Springer Basel, pp.1-30, 2024, Operator Theory, ⟨10.1007/978-3-0348-0692-3_88-1⟩ |
|
|
Property-based Polynomial Invariant Generation Using Sums-of-Squares OptimizationBlazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩ |
|
|
Bilan et prospectives 2019 du département Décision & Optimisation du LAAS-CNRS2019 |
|
|
Formal Proofs for Global Optimization -- Templates and Sums of SquaresOptimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩ |
|
|
The quest of modeling, certification and efficiency in polynomial optimizationAutomatic Control Engineering. Université Toulouse 3 Paul Sabatier, 2021 |
|
|
Exploiting sparsity in polynomial optimizationÉcole thématique. Luminy, France. 2023 |
TSSOSLogiciel hal-04719510v1 |
|
|
|
RealCertifyLogiciel hal-04719526v1 |