Control System Stability under Consecutive Deadline Misses Constraints
(2020) 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020) 165. p.1-24- Abstract
- This paper deals with the real-time implementation of feedback controllers. In particular, it provides an analysis of the stability property of closed-loop systems that include a controller that can sporadically miss deadlines. In this context, the weakly hard m-K computational model has been widely adopted and researchers used it to design and verify controllers that are robust to deadline misses. Rather than using the m-K model, we focus on another weakly-hard model, the number of consecutive deadline misses, showing a neat mathematical connection between real-time systems and control theory. We formalise this connection using the joint spectral radius and we discuss how to prove stability guarantees on the combination of a controller... (More)
- This paper deals with the real-time implementation of feedback controllers. In particular, it provides an analysis of the stability property of closed-loop systems that include a controller that can sporadically miss deadlines. In this context, the weakly hard m-K computational model has been widely adopted and researchers used it to design and verify controllers that are robust to deadline misses. Rather than using the m-K model, we focus on another weakly-hard model, the number of consecutive deadline misses, showing a neat mathematical connection between real-time systems and control theory. We formalise this connection using the joint spectral radius and we discuss how to prove stability guarantees on the combination of a controller (that is unaware of deadline misses) and its system-level implementation. We apply the proposed verification procedure to a synthetic example and to an industrial case study. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/1b6ab918-3651-4fe5-ad6a-bbf7a79353bd
- author
- Maggio, Martina LU ; Hamann, Arne ; Mayer-John, Eckart and Ziegenbein, Dirk
- organization
- publishing date
- 2020-06-30
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
- editor
- Völp, Marcus
- volume
- 165
- article number
- 21
- pages
- 24 pages
- publisher
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- conference name
- 32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)
- conference location
- Modena, Italy
- conference dates
- 2020-07-07 - 2020-07-10
- external identifiers
-
- scopus:85090270275
- ISBN
- 978-3-95977-152-8
- DOI
- 10.4230/LIPIcs.ECRTS.2020.21
- project
- Towards Adaptively Morphing Embedded Systems
- language
- English
- LU publication?
- yes
- id
- 1b6ab918-3651-4fe5-ad6a-bbf7a79353bd
- date added to LUP
- 2020-12-16 15:37:42
- date last changed
- 2022-05-12 08:39:12
@inproceedings{1b6ab918-3651-4fe5-ad6a-bbf7a79353bd,
abstract = {{This paper deals with the real-time implementation of feedback controllers. In particular, it provides an analysis of the stability property of closed-loop systems that include a controller that can sporadically miss deadlines. In this context, the weakly hard m-K computational model has been widely adopted and researchers used it to design and verify controllers that are robust to deadline misses. Rather than using the m-K model, we focus on another weakly-hard model, the number of consecutive deadline misses, showing a neat mathematical connection between real-time systems and control theory. We formalise this connection using the joint spectral radius and we discuss how to prove stability guarantees on the combination of a controller (that is unaware of deadline misses) and its system-level implementation. We apply the proposed verification procedure to a synthetic example and to an industrial case study.}},
author = {{Maggio, Martina and Hamann, Arne and Mayer-John, Eckart and Ziegenbein, Dirk}},
booktitle = {{32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}},
editor = {{Völp, Marcus}},
isbn = {{978-3-95977-152-8}},
language = {{eng}},
month = {{06}},
pages = {{1--24}},
publisher = {{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}},
title = {{Control System Stability under Consecutive Deadline Misses Constraints}},
url = {{http://dx.doi.org/10.4230/LIPIcs.ECRTS.2020.21}},
doi = {{10.4230/LIPIcs.ECRTS.2020.21}},
volume = {{165}},
year = {{2020}},
}