Optimization methods for model-implemented fault injection in cyber-physical systems : a systematic literature review
Source
Papers - SSRN- () p. 1-26
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.
Foundations for self-adaptive abstraction and approximation in digital twins with real-time requirements
Source
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2025,151 p.
Localizing faults in digital twin models by using time series classification techniques
Source
Winter Simulation Conference- (2024) p. 2868-2879
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