|
|
Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation
Shingo Nishinaka
,
Rin Saeki
,
Tsuyoshi Yuno
,
Yoshio Ebihara
,
Victor Magron
,
et al.
2024
Pré-publication, Document de travail
hal-04495314v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
Assalé Adjé
,
Pierre-Loïc Garoche
,
Victor Magron
Chapitre d'ouvrage
hal-01369974v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks
Milan Korda
,
Monique Laurent
,
Victor Magron
,
Andries Steenkamp
Article dans une revue
hal-03782934v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
State polynomials: positivity, optimization and nonlinear Bell inequalities
Igor Klep
,
Victor Magron
,
Jurij Volčič
,
Jie Wang
2023
Pré-publication, Document de travail
hal-03964830v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Sublevel Moment-SOS Hierarchy for Polynomial Optimization
Tong Chen
,
Jean-Bernard Lasserre
,
Victor Magron
,
Edouard Pauwels
Article dans une revue
hal-03109978v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Noncommutative Polynomial Optimization
Abhishek Bhardwaj
,
Igor Klep
,
Victor Magron
2021
Pré-publication, Document de travail
hal-03333504v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Tractable semidefinite bounds of positive maximal singular values
Victor Magron
,
Ngoc Hoang Anh Mai
,
Yoshio Ebihara
,
Hayato Waki
2022
Pré-publication, Document de travail
hal-03580048v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Stability of Linear Systems under Extended Weakly-Hard Constraints
Nils Vreman
,
Paolo Pazzaglia
,
Jie Wang
,
Victor Magron
,
Martina Maggio
Article dans une revue
hal-03127108v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks
Tong Chen
,
Jean-Bernard Lasserre
,
Victor Magron
,
Edouard Pauwels
Conference on Neural Information Processing Systems, Dec 2020, Vancouver, Canada
Communication dans un congrès
hal-02940488v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
Jie Wang
,
Martina Maggio
,
Victor Magron
Communication dans un congrès
hal-02923348v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A second order cone characterization for sums of nonnegative circuits
Victor Magron
,
Jie Wang
45th International Symposium on Symbolic and Algebraic Computation (ISSAC'20), Jul 2020, Virtual, Greece. pp.450-457, ⟨10.1145/3373207.3404033⟩
Communication dans un congrès
hal-02473446v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Proofs for Nonlinear Optimization
Victor Magron
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Benjamin Werner
Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Article dans une revue
hal-00985675v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Certifying ground-state properties of many-body systems
Jie Wang
,
Jacopo Surace
,
Irénée Frérot
,
Benoît Legat
,
Marc-Olivier Renou
,
et al.
2023
Pré-publication, Document de travail
hal-04264341v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials
Victor Magron
,
Mohab Safey El Din
,
Markus Schweighofer
Article dans une revue
hal-01538729v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization
Assalé Adjé
,
Pierre-Loïc Garoche
,
Victor Magron
2015
Pré-publication, Document de travail
hal-01134816v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Computing the Hausdorff boundary measure of semi-algebraic sets
Jean-Bernard Lasserre
,
Victor Magron
Article dans une revue
hal-02448149v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
EXACT OPTIMIZATION VIA SUMS OF NONNEGATIVE CIRCUITS AND SUMS OF AM/GM EXPONENTIALS
Victor Magron
,
Henning Seidler
,
Timo de Wolff
Article dans une revue
hal-02006899v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
Ngoc Hoang Anh Mai
,
Victor Magron
,
Jean-Bernard Lasserre
,
Kim-Chuan Toh
2022
Pré-publication, Document de travail
hal-03776853v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Sums of squares certificates for polynomial moment inequalities
Igor Klep
,
Victor Magron
,
Jurij Volčič
2023
Pré-publication, Document de travail
hal-04125262v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Exploiting Sparsity in Complex Polynomial Optimization
Jie Wang
,
Victor Magron
Article dans une revue
hal-03178832v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
Yoshio Ebihara
,
Noboru Sebe
,
Hayato Waki
,
Dimitri Peaucelle
,
Sophie Tarbouriech
,
et al.
2024
Pré-publication, Document de travail
hal-04438031v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Certification of real inequalities: templates and sums of squares
Victor Magron
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Benjamin Werner
Article dans une revue
hal-01096485v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
RealCertify: a Maple package for certifying non-negativity
Victor Magron
,
Mohab Safey El Din
Article dans une revue
hal-01956812v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Sparse Noncommutative Polynomial Optimization
Igor Klep
,
Victor Magron
,
Janez Povh
Article dans une revue
hal-02278767v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
TSSOS: A Moment-SOS hierarchy that exploits term sparsity
Jie Wang
,
Victor Magron
,
Jean-Bernard Lasserre
Article dans une revue
hal-02448389v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
The Constant Trace Property in Noncommutative Optimization
Ngoc Hoang Anh Mai
,
Abhishek Bhardwaj
,
Victor Magron
International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersbourg, Russia. ⟨10.1145/3452143.3465516⟩
Communication dans un congrès
hal-03130967v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Peak Estimation of Time Delay Systems using Occupation Measures
Jared Miller
,
Milan Korda
,
Victor Magron
,
Mario Sznaier
2023
Pré-publication, Document de travail
hal-04047493v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
Jie Wang
,
Victor Magron
2023
Pré-publication, Document de travail
hal-04189927v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Proofs for Global Optimization -- Templates and Sums of Squares
Victor Magron
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Thèse
pastel-00917779v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
L 2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
Yoshio Ebihara
,
Hayato Waki
,
Noboru Sebe
,
Victor Magron
,
Dimitri Peaucelle
,
et al.
Communication dans un congrès
hal-03740522v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|