How can I solve this problem with CVX
1 回表示 (過去 30 日間)
古いコメントを表示

Hi everyone! I’m new in the use of cvx!
How you can see from the image, I have to solve the condition (15) in order to found the matrix Q. How can I convert this problem in cvx form? (obviuosly , I hava alredy calculated the matrixs X0,t X1,t and U0,1,T).
Thanks for your help!!
1 件のコメント
Walter Roberson
2019 年 11 月 3 日
It is not obvious to me that the third-party add-on cvx can be used for theorem proving. It can be used for theorem testing by calculating results for specific inputs and then checking whether the results are consistent with the hypothesis, but I have not seen any indication that it can be used for proofs.
回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Simulation, Tuning, and Visualization についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!