How can I solve this problem with CVX
2 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
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 commentaire
Walter Roberson
le 3 Nov 2019
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.
Réponses (0)
Voir également
Catégories
En savoir plus sur Simulation, Tuning, and Visualization dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!