Formal analysis tools for nonlinear model-predictive control : formal verification techniques for real-world MPC
Bron
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2025,xviii, 106 p.
Foundations for self-adaptive abstraction and approximation in digital twins with real-time requirements
Bron
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2025,151 p.
Localizing faults in digital twin models by using time series classification techniques
Bron
Winter Simulation Conference- (2024) p. 2868-2879
Work-in-progress : worst-case execution-time measurement techniques for nonlinear model predictive controllers
Bron
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 digital twin approach to support the evolution of cyber-physical systems
Bron
Antwerpen, University of Antwerp, Faculty of Applied Engineering, 2024,186 p.