You will need to formulate using Big M. See my post at What is possible way to incorporate if-else inside CVX . It will get somewhat messy given the complexity of your problem. Even then, your formulation will only be an approximation to what apparent;y is your actual desired feasible region. Therefore, you may be better of using a non-convex global optimization solver which can solve the problem you really want to solve.