TY - GEN
AU - Gaukler, Maximilian
AU - FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek
AU - Roppenecker, Günter
AU - Roppenecker, Günter
AU - Ulbrich, Peter
AU - Konigorski, Ulrich
TI - Safety Verification of Real-Time Control Systems with Flexible Timing
PB - FAU University Press
KW - Regelungssystem
KW - MIMO
KW - Timing
KW - Regelung
KW - Regelungstechnik
KW - Regelungstheorie
KW - Real-Time Control
KW - Multiple-Input-Multiple-Output Systems (MIMO)
KW - Stability Analysis
KW - Linear Impulsive Systems
KW - Hybrid Automata
KW - Reachability Analysis
KW - Dynamic Resource Management
KW - Convergence Rate Abstractions
KW - Uncertain Timing
PY - 2023
BT - FAU Studien aus der Elektrotechnik ; 20
CY - Erlangen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation