[Lecture Notes in Computer Science] Numerical Software Verification Volume 10152 || Model Based Automatic Code Generation for Nonlinear Model Predictive Control
Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
- 作者Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
- 文件大小908.03KB
- 发表时间2017
- DOI10.1007/978-3-319-54292-8_8
- 页码85-95