Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC
Source
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xviii, 106 p.
Work-in-progress : worst-case execution-time measurement techniques for nonlinear model predictive controllers
Source
2024 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 29 September 2024 - 04 October 2024, Raleigh, NC, USA- () p. 5-5
A framework for the competitive analysis of model predictive controllers
Source
Lecture notes in computer science-14235 () p. 141-154