0
$\begingroup$

I have a convex problem with the following properties:

-The energy to be minimized is convex - it is basically a norm.

-The domain is defined by a set of convex cone constraints inequalities.

I am able to solve this problem efficiently and accurately with a modeling package like CVX in Matlab (with MOSEK as the underlying SOCP solver).

This convex problem is always feasible.

However, now I want to solve a slightly different problem. I would like to augment the previous convex problem with an additional set of nonlinear equality constraints. As these equalities are not affine, they are not convex, hence the new problem is not convex. I guess I can try to approach this problem with general nonconvex solvers. I tried Matlab's fmincon with very limited success. I'm guessing that the constraints are not smooth and that poses some difficulties.

However, my nonconvex problem is special in the sense that the most important aspects of the problem are characterized in the convex part of the problem (i.e. the original problem without the nonlinear equalities).

So I would like to use the power of convex solvers to guarantee that the solution always satisfies the convex inequalities and I am willing to accept a solution in which the nonlinear equalities will not be satisfied precisely (i.e. to convert the nonlinear equalities to soft constraints).

What would be the best strategy to solve such a nonlinear program?

$\endgroup$
1
$\begingroup$

It looks like this is something that has been done enough to be given a name: sequential convex optimization or sequential convex programming. It's a natural extension of the more common practice of sequential quadratic programming.

The idea is to linearize just the non-convex constraints, and leave everything else intact. Presumably, the closer your relaxed model is to the original, the better this is going to work.

Google is your friend here, but there's even a YouTube video on the subject.

$\endgroup$
  • $\begingroup$ Thanks Michael! I looked into Boyd's slides and on other resources. It seems that SCP is a broad family of methods. $\endgroup$ – Wazowski Mar 23 '16 at 5:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.