Efficient Data Structures for Representation of Polynomial Optimization Problems: Implementation in SOSTOOLS

Declan Jagt, Sachin Shivakumar, Peter Seiler, Matthew Peet

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

We present a new data structure for representation of polynomial variables in the parsing of sum-of-squares (SOS) programs. In SOS programs, the variables s(x;P) are polynomial in the independent variables x, but linear in the decision variables P. Current SOS parsers, however, fail to exploit the semi-linear structure of the polynomial variables, treating the decision variables as independent variables in their representation. This results in unnecessary overhead in storage and manipulation of the polynomial variables. To reduce this computational overhead, we introduce a new representation of polynomial variables, the dpvar structure, which allows the parser to exploit the structure of the decision variables. We show that use of the dpvar structure significantly reduces the computational complexity of the polynomial operations required for parsing SOS programs. We further show that the memory complexity required to store polynomial variables is significantly reduced when using the dpvar structure, particularly when combined with the MATLAB Compressed Sparse Column (CSC) matrix representation. Finally, we incorporate the dpvar structure into SOSTOOLS 4.00, and test performance for several polynomial optimization problems.

Original languageEnglish (US)
Pages (from-to)3493-3498
Number of pages6
JournalIEEE Control Systems Letters
Volume6
DOIs
StatePublished - 2022

Keywords

  • Computational methods
  • LMIs
  • Large-scale systems
  • Stability of nonlinear systems

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Control and Optimization

Fingerprint

Dive into the research topics of 'Efficient Data Structures for Representation of Polynomial Optimization Problems: Implementation in SOSTOOLS'. Together they form a unique fingerprint.

Cite this