Keyword:convex optimization

Papers
Exploring the Optimization Technology Scheme in Complex Networks for the Cooperative Wireless Communication Muhammad Umer Mushtaq, Jiang Hong and Muhammad Umair Raza EasyChair Preprint no. 1026
Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach Sumeet Singh, Mo Chen, Sylvia Herbert, Claire Tomlin and Marco Pavone EasyChair Preprint no. 751
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm Guillaume Davy, Eric Feron, Pierre-Loic Garoche and Didier Henrion In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning