How to check feasiblity of SOSTOOLs?

Dear all,

I am currently learning SOSTOOLS to compute the region of attraction (ROA) of a nonlinear system. In one step of the procedure, I need to assess the feasibility of an SOS optimization problem.

I would like to confirm whether the following approach is appropriate for checking feasibility in SOSTOOLS:

====================

prog = sossolve(prog);

feas = (prog.solinfo.info.pinf == 0) && ...

(prog.solinfo.info.dinf == 0) && ...

(prog.solinfo.info.numerr <= 2);

========================

So it will return "feas=1" if the problem is feasible

I would greatly appreciate any advice or clarification on this matter.

Thank you very much for your time and support.

Kind regards,

Husni

Answer 1

[KALYAN ACHARJYA]

%For Robustness
prog.solinfo.info.problem==0

[Husni Rois Ali]

Hi Kalyan

Thank you for your answer. But my solver only returns this. Not sure which SOSTOOLS you are using

prog.solinfo.info.cpusec,

prog.solinfo.info.iter,

prog.solinfo.info.feasratio,

prog.solinfo.info.dinf,

prog.solinfo.info.pinf,

prog.solinfo.info.numerr

[Torsten]

The exact information stored in prog.solinfo is dependent upon which of the solvers is used.

Why don't you evaluate your constraints with the solution returned in order to decide whether it's feasible or not ?