DMAC: Deadline-Miss-Aware Control

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding


The real-time implementation of periodic controllers requires solving a co-design problem, in which the choice of the controller sampling period is a crucial element. Classic design techniques limit the period exploration to safe values, that guarantee the correct execution of the controller alongside the remaining real-time load, i.e., ensuring that the controller worst-case response time does not exceed its deadline. This paper presents DMAC: the first formally-grounded controller design strategy that explores shorter periods, thus explicitly taking into account the possibility of missing deadlines. The design leverages information about the probability that specific sub-sequences of deadline misses are experienced. The result is a fixed controller, that on average works as the ideal clairvoyant time-varying controller that possesses knowledge of deadline hits and misses. We obtain a safe estimate of the hit and miss events using the scenario theory, that allows us to provide probabilistic guarantees. The paper analyzes controllers implemented using the Logical Execution Time paradigm and three different strategies to handle deadline miss events: killing the job, letting the job continue but skipping the next activation, and letting the job continue using a limited queue of jobs. Our experimental results show that our design proposal – i.e., that exploring the space where deadline can be missed and handled with different strategies – greatly outperforms classical control design techniques.


Enheter & grupper
Externa organisationer
  • Sant'Anna School of Advanced Studies

Ämnesklassifikation (UKÄ) – OBLIGATORISK

  • Reglerteknik
Titel på värdpublikation31st Euromicro Conference on Real-Time Systems
Undertitel på gästpublikationECRTS 2019
RedaktörerSophie Quinton
FörlagSchloss Dagstuhl - Leibniz-Zentrum für Informatik
ISBN (tryckt)978-3-95977-110-8
StatusPublished - 2019 jul
Peer review utfördJa
Evenemang31st Euromicro Conference on Real-Time Systems (ECRTS 2019) - Stuttgart, Stutgart, Tyskland
Varaktighet: 2019 jul 92019 jul 12
Konferensnummer: 31


NamnLeibniz International Proceedings in Informatics (LIPIcs)
FörlagSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
ISSN (tryckt)1868-8969


Konferens31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Förkortad titelECRTS 2019


Ingen tillgänglig data

Related projects

Visa alla (2)