On Existence of Total Input-Output Pairs of Abstract Time Systems

2013 ◽  
pp. 308-331 ◽  
Author(s):  
Ievgen Ivanov
Keyword(s):  
Input Output ◽  
Total Input ◽  
Time Systems

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

10.29007/c4zl ◽  
2019 ◽  
Author(s):  
Maximilian Gaukler ◽  
Peter Ulbrich
Keyword(s):  
Control Systems ◽  
Digital Control ◽  
Worst Case Analysis ◽  
Real Time Systems ◽  
Input Output ◽  
Worst Case ◽  
Control Loops ◽  
Digital Control Systems ◽  
Uncertain Input ◽  
Time Systems

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.

Sign in / Sign up

Export Citation Format

Share Document