Download MATLAB Code: MILMVerifierH0.m : Initial condition defined via H0

Download MATLAB Code: MILMVerifierX0.m : Initial condition defined via elements of X0

                           

               

You will need MATLAB, YALMIP, and an optimization engine such as SeDuMi, or LMILAB.