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.
Continuous evolution of digital twins using the DarTwin notation
Source
Software and systems modeling - ISSN 1619-1366-24:5 (2025) p. 1405-1426
Reusing model validation methods for the continuous validation of digital twins of cyber-physical systems
Source
Software and systems modeling - ISSN 1619-1366-24:5 (2025) p. 1427-1449