Safety Verification of Real-Time Control Systems with Flexible Timing
The topic of this work is the analysis of control loops under the influence of input/output timing deviations. Such deviations from the ideal periodic timing can lead to increased control error or even to instability. To address this issue, methods are presented to determine a safe tolerance band fo...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Online |
| 語言: | 英语 |
| 出版: |
FAU University Press
2025
|
| 主題: | |
| 在線閱讀: | ONIX_20251215T160010_9783961476381_28 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| _version_ | 1869526252683001856 |
|---|---|
| author | Gaukler, Maximilian |
| author_browse | Gaukler, Maximilian |
| author_facet | Gaukler, Maximilian |
| author_sort | Gaukler, Maximilian |
| collection | Directory of Open Access Books |
| description | The topic of this work is the analysis of control loops under the influence of input/output timing deviations. Such deviations from the ideal periodic timing can lead to increased control error or even to instability. To address this issue, methods are presented to determine a safe tolerance band for the timing deviation. Two alternatives are addressed: stability analysis at design time and timing adaptation at run time. In both cases, the methods support multiple inputs and outputs with individual timing uncertainties. For the analysis at design time, the work presents methods to determine stability and maximal control error at design time for a given input/output time window. The linear case is analyzed using linear impulsive systems. Progress towards solving the nonlinear case is made by reachability analysis of hybrid automata in connection with the Continuization method. For a flexible adaptation at run time, the framework of convergence rate abstractions is developed. By this, the decision about the permissible input/output timing can be made according to the current situation and with little computational overhead. Hence, larger temporal deviations can be permitted for a short time as long as the timing remains good enough in the long-term average to preserve stability. Die Arbeit befasst sich mit dem Verhalten von Regelkreisen unter dem Einfluss von zeitlichen Abweichungen der Ein- und Ausgabe. Solche Abweichungen von einem idealen periodischen Zeitraster können zu größerer Regelabweichung und bis hin zu Instabilität führen. Die Arbeit stellt Methoden vor, um ein erlaubtes Toleranzband für die zeitliche Abweichung zu bestimmen. Dies umfasst zum einen die Stabilitätsanalyse zum Entwurfszeitpunkt und zum anderen die Adaption zur Laufzeit. Insbesondere wird der Mehrgrößenfall betrachtet, in dem mehrere Sensoren und Aktoren jeweils eigene zeitliche Unsicherheiten aufweisen. Für die Analyse zum Entwurfszeitpunkt werden Methoden zur die Analyse der Stabilität und maximalen Regelabweichung für ein gegebenes Ein-/Ausgabe-Zeitfenster vorgestellt. Für den linearen Fall wird dies anhand eines linear impulsives Systemmodells umgesetzt. Als Lösungsweg für den nichtlinearen Fall wird die Erreichbarkeitsanalyse hybrider Automaten in Vebrindung mit der Continuzation-Transformation untersucht. Zum anderen wird eine Methode zur flexiblen Anpassung der Ein-/Ausgabe-Zeitfenster an die aktuelle Situation entwickelt. Hierzu wird das Konzept der Konvergenzraten-Abstraktion entwickelt, um zur Laufzeit mit mit geringem Rechenaufwand eine Entscheidung über das zulässige Zeitfenster zu treffen. Somit kann kurzzeitig eine größere zeitliche Abweichung zugelassen werden, solange das durchschnittliche Timing hinreichend gut bleibt um die Stabilität zu erhalten. |
| format | Online |
| id | doab-20.500.12854ir-170241 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | FAU University Press |
| publisherStr | FAU University Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1702412025-12-16T05:33:43Z Safety Verification of Real-Time Control Systems with Flexible Timing Gaukler, Maximilian Regelungstechnik Regelungstheorie Regelung thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering The topic of this work is the analysis of control loops under the influence of input/output timing deviations. Such deviations from the ideal periodic timing can lead to increased control error or even to instability. To address this issue, methods are presented to determine a safe tolerance band for the timing deviation. Two alternatives are addressed: stability analysis at design time and timing adaptation at run time. In both cases, the methods support multiple inputs and outputs with individual timing uncertainties. For the analysis at design time, the work presents methods to determine stability and maximal control error at design time for a given input/output time window. The linear case is analyzed using linear impulsive systems. Progress towards solving the nonlinear case is made by reachability analysis of hybrid automata in connection with the Continuization method. For a flexible adaptation at run time, the framework of convergence rate abstractions is developed. By this, the decision about the permissible input/output timing can be made according to the current situation and with little computational overhead. Hence, larger temporal deviations can be permitted for a short time as long as the timing remains good enough in the long-term average to preserve stability. Die Arbeit befasst sich mit dem Verhalten von Regelkreisen unter dem Einfluss von zeitlichen Abweichungen der Ein- und Ausgabe. Solche Abweichungen von einem idealen periodischen Zeitraster können zu größerer Regelabweichung und bis hin zu Instabilität führen. Die Arbeit stellt Methoden vor, um ein erlaubtes Toleranzband für die zeitliche Abweichung zu bestimmen. Dies umfasst zum einen die Stabilitätsanalyse zum Entwurfszeitpunkt und zum anderen die Adaption zur Laufzeit. Insbesondere wird der Mehrgrößenfall betrachtet, in dem mehrere Sensoren und Aktoren jeweils eigene zeitliche Unsicherheiten aufweisen. Für die Analyse zum Entwurfszeitpunkt werden Methoden zur die Analyse der Stabilität und maximalen Regelabweichung für ein gegebenes Ein-/Ausgabe-Zeitfenster vorgestellt. Für den linearen Fall wird dies anhand eines linear impulsives Systemmodells umgesetzt. Als Lösungsweg für den nichtlinearen Fall wird die Erreichbarkeitsanalyse hybrider Automaten in Vebrindung mit der Continuzation-Transformation untersucht. Zum anderen wird eine Methode zur flexiblen Anpassung der Ein-/Ausgabe-Zeitfenster an die aktuelle Situation entwickelt. Hierzu wird das Konzept der Konvergenzraten-Abstraktion entwickelt, um zur Laufzeit mit mit geringem Rechenaufwand eine Entscheidung über das zulässige Zeitfenster zu treffen. Somit kann kurzzeitig eine größere zeitliche Abweichung zugelassen werden, solange das durchschnittliche Timing hinreichend gut bleibt um die Stabilität zu erhalten. 2025-12-16T05:33:42Z 2025-12-16T05:33:42Z 2025-12-15T15:03:40Z 2023 book ONIX_20251215T160010_9783961476381_28 https://library.oapen.org/handle/20.500.12657/109148 9783961476381 9783961476374 https://directory.doabooks.org/handle/20.500.12854/170241 eng FAU Studien aus der Elektrotechnik open access image/jpeg Attribution-ShareAlike 4.0 International https://library.oapen.org/bitstream/20.500.12657/109148/1/9783961476381.pdf FAU University Press 10.25593/978-3-96147-638-1 10.25593/978-3-96147-638-1 2c600dea-eece-4066-87be-da335e323fdb 9783961476381 9783961476374 268 Erlangen open access |
| spellingShingle | Regelungstechnik Regelungstheorie Regelung thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering Gaukler, Maximilian Safety Verification of Real-Time Control Systems with Flexible Timing |
| title | Safety Verification of Real-Time Control Systems with Flexible Timing |
| title_full | Safety Verification of Real-Time Control Systems with Flexible Timing |
| title_fullStr | Safety Verification of Real-Time Control Systems with Flexible Timing |
| title_full_unstemmed | Safety Verification of Real-Time Control Systems with Flexible Timing |
| title_short | Safety Verification of Real-Time Control Systems with Flexible Timing |
| title_sort | safety verification of real time control systems with flexible timing |
| topic | Regelungstechnik Regelungstheorie Regelung thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering |
| topic_facet | Regelungstechnik Regelungstheorie Regelung thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering |
| url | ONIX_20251215T160010_9783961476381_28 |
| work_keys_str_mv | AT gauklermaximilian safetyverificationofrealtimecontrolsystemswithflexibletiming |