A Framework for Solving Chance-Constrained Linear Matrix Inequality Programs

Abstract

We propose a novel partial sample average approximation (PSAA) framework to solve the two main types of chance-constrained linear matrix inequality (CCLMI) problems: CCLMI with random technology matrix and CCLMI with random right-hand side. We propose a series of computationally tractable PSAA-based approximations for CCLMI problems, analyze their properties, and derive sufficient conditions that ensure convexity for the two most popular—normal and uniform—continuous distributions. We derive several semidefinite programming PSAA reformulations efficiently solved by off-the-shelf solvers and design a sequential convex approximation method for the PSAA formulations containing bilinear matrix inequalities. The proposed methods can be generalized to other continuous random variables whose cumulative distribution function can be easily computed. We carry out a comprehensive numerical study on three practical CCLMI problems: robust truss topology design, calibration, and robust control. The tests attest to the superiority of the PSAA reformulation and algorithmic framework over the scenario and sample average approximation methods. Summary of Contribution: In line with the mission and scope of IJOC, we study an important type of optimization problems, chance-constrained linear matrix inequality (CCLMI) problems, which require stochastic linear matrix inequality (LMI) constraints to be satisfied with high probability. To solve CCLMI problems, we propose a novel partial sample average approximation (PSAA) framework: (i) develop a series of computationally tractable PSAA-based approximations for CCLMI problems, (ii) analyze their properties, (iii) derive sufficient conditions ensuring convexity, and (iv) design a sequential convex approximation method. We evaluate our proposed method via a comprehensive numerical study on three practical CCLMI problems. The tests attest the superiority of the PSAA reformulation and algorithmic framework over standard benchmarks.