Keyword:convex optimization

Publications
Mathematical Models and Formulas for AI in Cybersecurity: a Hybrid Cloud Approach Lincoln Whitelegge EasyChair Preprint 15079
A UAV-Based Real-Time Traffic State Estimation System for Urban Road Networks Kyriacos Theocharides, Yiolanda Englezou, Charalambos Menelaou and Stelios Timotheou EasyChair Preprint 15023
Exploring the Optimization Technology Scheme in Complex Networks for the Cooperative Wireless Communication Muhammad Umer Mushtaq, Jiang Hong and Muhammad Umair Raza EasyChair Preprint 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 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