21 citations · 103 across the 11 of their papers we have counts for
8 papers · 1 filter
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples
Richard Y. Zhang
The robustness of a neural network to adversarial examples can be provably certified by solving a convex relaxation. If the relaxation is loose, however, then the resulting certifi…
Large-Scale Traffic Signal Offset Optimization
Yi Ouyang, Richard Y. Zhang, Javad Lavaei +1
The offset optimization problem seeks to coordinate and synchronize the timing of traffic signals throughout a network in order to enhance traffic flow and reduce stops and delays.…
A theory on the absence of spurious solutions for nonconvex and nonsmooth optimization
Cedric Josz, Yi Ouyang, Richard Y. Zhang +2
We study the set of continuous functions that admit no spurious local optima (i.e. local minima that are not global minima) which we term \textit{global functions}. They satisfy va…
Sparse Semidefinite Programs with Guaranteed Near-Linear Time Complexity via Dualized Clique Tree Conversion
Richard Y. Zhang, Javad Lavaei
Clique tree conversion solves large-scale semidefinite programs by splitting an matrix variable into up to smaller matrix variables, each representing a principal s…
Conic Optimization Theory: Convexification Techniques and Numerical Algorithms
Richard Y. Zhang, Cédric Josz, Somayeh Sojoudi
Optimization is at the core of control theory and appears in several areas of this field, such as optimal control, distributed control, system identification, robust control, state…
Modified Interior-Point Method for Large-and-Sparse Low-Rank Semidefinite Programs
Richard Y. Zhang, Javad Lavaei
Semidefinite programs (SDPs) are powerful theoretical tools that have been studied for over two decades, but their practical use remains limited due to computational difficulties i…
Parameter Insensitivity in ADMM-Preconditioned Solution of Saddle-Point Problems
Richard Y. Zhang, Jacob K. White
We consider the solution of linear saddle-point problems, using the alternating direction method-of-multipliers (ADMM) as a preconditioner for the generalized minimum residual meth…
GMRES-Accelerated ADMM for Quadratic Objectives
Richard Y. Zhang, Jacob K. White
We consider the sequence acceleration problem for the alternating direction method-of-multipliers (ADMM) applied to a class of equality-constrained problems with strongly convex qu…