Gaukler M, Ulbrich P (2019)
Publication Language: English
Publication Status: Accepted
Publication Type: Book chapter / Article in edited volumes
Future Publication Type: Conference contribution
Publication year: 2019
Edited Volumes: Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19)
Series: EPiC Series in Computing
Conference Proceedings Title: Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '16)
Event location: Montreal, Quebec
URI: https://www4.cs.fau.de/Research/qronOS/Media/arch19-qronos-preprint.pdf
DOI: 10.29007/c4zl
Open Access Link: https://easychair.org/publications/open/S4w9
Benchmark 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.
APA:
Gaukler, M., & Ulbrich, P. (2019). Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing. In Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19)..
MLA:
Gaukler, Maximilian, and Peter Ulbrich. "Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing." Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19). 2019.
BibTeX: Download