Time-Varying Semidefinite Programs

08/12/2018
by   Amir Ali Ahmadi, et al.
0

We study time-varying semidefinite programs (TV-SDPs), which are semidefinite programs whose data (and solutions) are functions of time. Our focus is on the setting where the data varies polynomially with time. We show that under a strict feasibility assumption, restricting the solutions to also be polynomial functions of time does not change the optimal value of the TV-SDP. Moreover, by using a Positivstellensatz on univariate polynomial matrices, we show that the best polynomial solution of a given degree to a TV-SDP can be found by solving a semidefinite program of tractable size. We also provide a sequence of dual problems which can be cast as SDPs and that give upper bounds on the optimal value of a TV-SDP (in maximization form). We prove that under a boundedness assumption, this sequence of upper bounds converges to the optimal value of the TV-SDP. Under the same assumption, we also show that the optimal value of the TV-SDP is attained. We demonstrate the efficacy of our algorithms on a maximum-flow problem with time-varying edge capacities, a wireless coverage problem with time-varying coverage requirements, and on bi-objective semidefinite optimization where the goal is to approximate the Pareto curve in one shot.

READ FULL TEXT
research
10/15/2022

Time-Varying Semidefinite Programming: Path Following a Burer–Monteiro Factorization

We present an online algorithm for time-varying semidefinite programs (T...
research
02/26/2021

How do exponential size solutions arise in semidefinite programming?

As a classic example of Khachiyan shows, some semidefinite programs (SDP...
research
02/01/2016

Solving rank-constrained semidefinite programs in exact arithmetic

We consider the problem of minimizing a linear function over an affine s...
research
08/01/2022

Locally Optimal Estimation and Control of Cable Driven Parallel Robots using Time Varying Linear Quadratic Gaussian Control

We present a locally optimal tracking controller for Cable Driven Parall...
research
07/20/2019

Efficient Bayesian PARCOR Approaches for Dynamic Modeling of Multivariate Time Series

A Bayesian lattice filtering and smoothing approach is proposed for fast...
research
04/18/2022

Collusion-resistant fingerprinting of parallel content channels

The fingerprinting game is analysed when the coalition size k is known t...
research
09/05/2018

Predicting Smoking Events with a Time-Varying Semi-Parametric Hawkes Process Model

Health risks from cigarette smoking -- the leading cause of preventable ...

Please sign up or login with your details

Forgot password? Click here to reset