Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing

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 CA

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

Abstract

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.

Authors with CRIS profile

Related research project(s)

How to cite

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