Real-Time Adaptive Abstraction and Approximation Using Validity Frames -- an Experience Report

Raheleh Biglari, Joachim Denil

Designing a Cyber-Physical System (CPS), including modeling the control components and services, is a challenging task. Using models and simulations during run-time is crucial for…