84 citations · 342 across the 90 of their papers we have counts for
8 papers · 1 filter
Positivity of state, trace, and moment polynomials, and applications in quantum information
Felix Huber, Victor Magron, Jurij Volčič
State, trace, and moment polynomials are polynomial expressions in several operator or random variables and positive functionals on their products (states, traces or expectations).…
On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O'Shea-Zames-Falb Multipliers
Hibiki Gyotoku, Tsuyoshi Yuno, Yoshio Ebihara +3
This study investigates the absolute stability criteria based on the framework of integral quadratic constraint (IQC) for feedback systems with slope-restricted nonlinearities. In…
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre +2
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and…
Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem
Didier Henrion, Adrien Le Franc, Victor Magron
We describe a parametric univariate quadratic optimization problem for which the moment-SOS hierarchy has finite but increasingly slow convergence when the parameter tends to its l…
LMI hierarchies for stability analysis of ReLU feedback systems
Victor Magron, Yoshio Ebihara, Shingo Nishinaka +4
We consider the stability analysis of feedback systems with rectified linear unit (ReLU) activations, and model this problem with polynomial optimization. Stability can be certifie…
Upper bound hierarchies for noncommutative polynomial optimization
Igor Klep, Victor Magron, Gaël Massé +1
This work focuses on minimizing the eigenvalue of a noncommutative polynomial subject to a finite number of noncommutative polynomial inequality constraints. Based on the Helton-Mc…
Induced Norm Analysis of Linear Systems for Nonnegative Input Signals
Yoshio Ebihara, Noboru Sebe, Hayato Waki +4
This paper is concerned with the analysis of the induced norms of continuous-time linear systems where input signals are restricted to be nonnegat…
Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming
Yoshio Ebihara, Hayato Waki, Noboru Sebe +3
This paper is concerned with the analysis of the induced norm of continuous-time LTI systems where the input signals are restricted to be nonnegative. This induced norm is…