Maximilian Gaukler, Peter Ulbrich. Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing. In Goran Frehse, Matthias Althoff, editors, ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019. Volume 61 of EPiC Series in Computing, pages 183-200, EasyChair, 2019.
Abstract is missing.