Download PDFOpen PDF in browser

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

18 pagesPublished: May 25, 2019

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.

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.

BibTeX entry
@inproceedings{ARCH19:Worst_Case_Analysis_Digital,
  author    = {Maximilian Gaukler and Peter Ulbrich},
  title     = {Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing},
  booktitle = {ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {61},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/S4w9},
  doi       = {10.29007/c4zl},
  pages     = {183-200},
  year      = {2019}}
Download PDFOpen PDF in browser