Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals

DOI10.1109/TAC.2017.2717941zbMath1390.93608MaRDI QIDQ4567053

Corrado Possieri, Antonio Tornambe, Laura Menini

Publication date: 27 June 2018

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Lyapunov and storage functions (93D30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Stability of solutions to ordinary differential equations (34D20)

Related Items (2)

Linear-in-parameters neural adaptive observers for nonlinear systems in observability canonical form ⋮ A linear algebra method to decompose forms whose length is lower than the number of variables into weighted sum of squares

This page was built for publication: Algebraic Certificates of (Semi)Definiteness for Polynomials Over Fields Containing the Rationals