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.
How can I solve this problem with CVX
2 次查看(过去 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!!
回答(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!