Abstract:Deterministic nonconvex optimization solvers generate convex relaxations of nonconvex functions by making use of underlying factorable representations. One approach introduces auxiliary variables assigned to each factor that lifts the problem into a higher-dimensional decision space. In contrast, a generalized McCormick relaxation approach offers the significant advantage of constructing relaxations in the lower dimensionality space of the original problem without introducing auxiliary variables, often referred to as a "reduced-space" approach. Recent contributions illustrated how additional nontrivial inequality constraints may be used in factorable programming to tighten relaxations of the ubiquitous bilinear term. In this work, we exploit an analogous representation of McCormick relaxations and factorable programming to formulate tighter relaxations in the original decision space. We develop the underlying theory to generate necessarily tighter reduced-space McCormick relaxations when a priori convex/concave relaxations are known for intermediate bilinear terms. We then show how these rules can be generalized within a McCormick relaxation scheme via three different approaches: the use of a McCormick relaxations coupled to affine arithmetic, the propagation of affine relaxations implied by subgradients, and an enumerative approach that directly uses relaxations of each factor. The developed approaches are benchmarked on a library of optimization problems using the EAGO.jl optimizer. Two case studies are also considered to demonstrate the developments: an application in advanced manufacturing to optimize supply chain quality metrics and a global dynamic optimization application for rigorous model validation of a kinetic mechanism. The presented subgradient method leads to an improvement in CPU time required to solve the considered problems to -global optimality.

Convex Relaxation of Bilinear Matrix Inequalities Part II: Applications to Optimal Control Synthesis

A successive convex optimization method for bilinear matrix inequality problems and its application to static output‐feedback control

An Improved Smoothing Technique-Based Control Vector Parameterization Method for Optimal Control Problems with Inequality Path Constraints

Iterative design of suboptimal feedback control for bilinear parabolic PDE systems

Low nonconvexity-rank bilinear matrix inequalities: algorithms and applications in robust controller and structure designs

New Multi-Objective Optimization Control and Its Application to Nonlinear Evaporation Process

Parabolic Relaxation for Quadratically-constrained Quadratic Programming -- Part II: Theoretical & Computational Results

Convexity in Optimal Control Problems

Neural-model based robust H∞ controllers for discrete-time nonlinear systems: an BMI approach

Method of Reduction of Variables for Bilinear Matrix Inequality Problems in System and Control Designs

Multi-Objective Optimisation of Restricted Complexity Controllers

Neural-model based robust H/sub /spl infin// controllers for discrete-time nonlinear systems: an BMI approach

Linear-Quadratic Problems in Systems and Controls via Covariance Representations and Linear-Conic Duality: Finite-Horizon Case

Parameterized Bilinear Matrix Inequality Techniques in ${\cal H}_{\infty}$ Fuzzy PID Control Design

Positive Realness And Optimality Problems For Linear Systems Via Dynamic Compensation

Mixed L-1/H-2/H-Infinity Control Design: Numerical Optimization Approaches

Stochastic Linear-quadratic Control Problems with Affine Constraints

Improved Convex and Concave Relaxations of Composite Bilinear Forms

Convex Reformulation of LMI-Based Distributed Controller Design with a Class of Non-Block-Diagonal Lyapunov Functions

On the convexity of static output feedback control synthesis for systems with lossless nonlinearities

$\mathcal{H}_2/\mathcal{H}_\infty$ Optimal Control with Sparse Sensing and Actuation