An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems

DOI10.1007/s11786-011-0095-0zbMath1270.93058MaRDI QIDQ359900

Hirokazu Anai, Hiroyuki Ichihara

Publication date: 23 August 2013

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-011-0095-0

zbMATH Keywords

quantifier elimination; sum of squares; nonlinear gain analysis; polynomial dynamical systems

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

93C10: Nonlinear systems in control theory

37N35: Dynamical systems in control

03B80: Other applications of logic

Uses Software

• QEPCAD
• Sostools
• SYNRAC
• SeDuMi
• SDPT3
• REDLOG
• YALMIP