作者:Guzman Paredes, Cristobal, Nemirovski, Arkadi Pokutta, Sebastian Industrial and Systems Engineering Ahmed, Shabbir d'Aspremont, Alexandre Vempala, Santosh, Nemirovski, Arkadi
论文开放时间:2015
关键词:Convex optimization;Optimization algorithms;...
培养单位:University:Georgia Institute of Technology
2 Formal verification and validation of convex optimization algorithms for model predictive control [学位论文]
作者:Cohen, Raphael P., Feron, Eric Garoche, Pierre-Loïc Aerospace Engineering Tsiotras, Panagiotis Holzinger, Marcus J. Wang, Tim Muñoz, César, Feron, Eric
论文开放时间:2018
关键词:Formal methods;Software verification;...
培养单位:University:Georgia Institute of Technology
作者:Cox, Bruce, Industrial and Systems Engineering
论文开放时间:2011
关键词:Accuracy certificates;Convex optimization
培养单位:University:Georgia Institute of Technology
作者:Yoon, Insik, Raychowdhury, Arijit Electrical and Computer Engineering Khan, Asif Islam Yu, Shimeng Rakshit, Titash Datta, Suman, Raychowdhury, Arijit
论文开放时间:2019
关键词:Post-CMOS memory;STT-MRAM;...
培养单位:University:Georgia Institute of Technology
作者:Lan, Guanghui, Industrial and Systems Engineering
论文开放时间:2009
关键词:Convex optimization;Stochastic programming;...
培养单位:University:Georgia Institute of Technology
作者:Ortiz Diaz, Camilo, Monteiro, Renato D. C. Industrial and Systems Engineering Lee, Eva K. Ahmed, Shabbir Nemirovski, Arkadi Svaiter, Benar F., Monteiro, Renato D. C.
论文开放时间:2014
关键词:Semidefinite programing;Large-scale;...
培养单位:University:Georgia Institute of Technology