Safety Verification of Real-Time Control Systems with Fle...
Gaukler, Maximilian The topic of this work is the analysis of control loops under the influence of input/output timing deviations. Such deviations from the ideal periodic timing can lead to increased control error or even to instability. To address this issue, methods are presented to determine a safe tolerance band for the timing deviation. Two alternatives are addressed: stability analysis at design time and timing adaptation at run time. In both cases, the met...