共 45 条
[1]
From Certification of Algorithms To Certified MPC: The Missing Links
[J].
IFAC PAPERSONLINE,
2015, 48 (23)
:65-72
[2]
Angerson E., 1990, Proceedings of Supercomputing '90 (Cat. No.90CH2916-5), P2, DOI 10.1109/SUPERC.1990.129995
[3]
[Anonymous], 2014, IFAC Proc.
[5]
Bemporad A, 2015, CONVEX FEASIBILITY A
[6]
Diehl M, 2005, IEE P-CONTR THEOR AP, V152, P296, DOI 10.1049/ip-cta:20040008
[7]
Diehl M., 2007, REAL TIME ONLINE PDE, P23
[8]
Domahidi A., 2014, FORCES Professional
[9]
Domahidi A, 2012, IEEE DECIS CONTR P, P668, DOI 10.1109/CDC.2012.6426855
[10]
Feller C., 2017, THESIS