Gaukler M (2020)
Publication Language: English
Publication Status: In press
Publication Type: Conference contribution, Conference Contribution
Future Publication Type: Conference contribution
Publication year: 2020
Pages Range: 209-241
Conference Proceedings Title: ARCH20 (EPiC Series in Computing, vol. 74)
URI: https://easychair.org/publications/paper/Fzd6
DOI: 10.29007/8nq6
Open Access Link: https://easychair.org/publications/paper/Fzd6
Real-Time control systems can be difficult to analyze due to the mixture of discrete-time and continuous-time dynamics. This difficulty is particularly pronounced if the timing is non-periodic, e.g., due to network or execution effects. Still, most control loops behave similar to a purely continuous-time system disturbed by a small discretization error, which is exploited by Bak and Johnson (2015) in the method of Continuization. This paper uncovers limitations of that work and presents an extension, First-Order Continuization, based on a new formal framework that recovers previous results and eases future development.
APA:
Gaukler, M. (2020). Analysis of Real-Time Control Systems using First-Order Continuization. In Goran Frehse and Matthias Althoff (Eds.), ARCH20 (EPiC Series in Computing, vol. 74) (pp. 209-241).
MLA:
Gaukler, Maximilian. "Analysis of Real-Time Control Systems using First-Order Continuization." Proceedings of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) Ed. Goran Frehse and Matthias Althoff, 2020. 209-241.
BibTeX: Download