author = { Gaukler, Maximilian FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek Roppenecker, Günter AND Roppenecker, Günter AND Ulbrich, Peter AND Konigorski, Ulrich },

title = { Safety Verification of Real-Time Control Systems with Flexible Timing },

publisher = {FAU University Press},

keywords = { Regelungssystem , MIMO , Timing , Regelung , Regelungstechnik , Regelungstheorie , Real-Time Control , Multiple-Input-Multiple-Output Systems (MIMO) , Stability Analysis , Linear Impulsive Systems , Hybrid Automata , Reachability Analysis , Dynamic Resource Management , Convergence Rate Abstractions , Uncertain Timing },

year = {2023},

booktitle = {FAU Studien aus der Elektrotechnik ; 20},

address = { Erlangen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }