Download PDFOpen PDF in browserWorst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing18 pages•Published: May 25, 2019AbstractBenchmark Proposal: The implementation of digital control systems in complex multi- core or distributed real-time systems results in non-deterministic input/output timing. Such timing deviations typically lead to degraded performance or even instability, which in turn may jeopardize safety goals. We present the problem of proving worst-case guarantees for given input/output timing bounds as a benchmark for the verification of hybrid dynamical systems.Keyphrases: hybrid automata, hybrid system, jitter, real time system, safety verification, sampled data control In: Goran Frehse and Matthias Althoff (editors). ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 61, pages 183-200.
|