The Validated SDP Solver VSDP

[Hengjun Zhao]

Hi, Johan

I'm using YALMIP to solve some SOS problems and I need to obtain validated solutions.

I noticed that the solver VSDP can be invoked through YALMIP, but the files mentioned in the 

following notice can not be accessed now.

"Note: To use YALMIP together with the current release of VSDP, you have to download some slightly modified versions of the VSDP files mysdps.m, vsdpup.m and vsdplow.m. Simply download the following file and place the included files in your VSDP directory (or any other directory in your MATLAB path)."

Could you please tell if these files are still required for the current release, and if so where can I download them?

Thanks you very much for your attention.

Best regards,

Hengjun Zhao

[Johan Löfberg]

The files are still required, but I have deleted my account at ETH, and I have no idea where those files can be found now. I'll try to see if I have them around somewhere, but don't expect anything (and are you really interested in interval arithmetically validated computations? That is a very tough demands on anything but trivial SOS programs. you are basically the first user of this since 2007...)

[Hengjun Zhao]

Thanks for your reply. I'm from computer science and working on verification. I have been using interval arithmetic tools for

satisfiability problems and ODE solving. These tools of course do not scale well, but for problems of moderate size they can 

be helpful. I haven't used any validated linear or semidefinite programming solver, so I want to have a try and see how is the performance.

[Johan Löfberg]

Files attached. Note that I have no idea if VSDP works with YALMIP these days, and I don't actively develop this any longer