Abstracted models for scheduling of event-triggered control data traffic

M. Mazo*, A. Sharifi-Kolarijani, D. Adzkiya, C. Hop

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

5 Citations (Scopus)


Event-Triggered control (ETC) implementations have been proposed to overcome the inefficiencies of periodic (time-triggered) controller designs, namely the over-exploitation of the computing and communication infrastructure. However, the potential of aperiodic Event-Triggered techniques to reuse the freed bandwidth, and to reduce energy consumption on wireless settings, has not yet been truly reached. The main limitation to fully exploit ETC’s great traffic reductions lies on the difficulty to predict the occurrence of controller updates, forcing the use of conservative scheduling approaches in practice. Having a model of the timing behaviour of ETC is of paramount importance to enable the construction of model-based schedulers for such systems. Furthermore, on wireless control systems these schedulers allow to tightly schedule listening times, thus reducing energy consumption. In this chapter we describe an approach to model ETC traffic employing ideas from the symbolic abstractions literature. The resulting models of traffic are timed-automata. We also discuss briefly how these models can be employed to automatically synthesize schedulers.

Original languageEnglish
Title of host publicationLecture Notes in Control and Information Sciences
PublisherSpringer Verlag
Number of pages21
Publication statusPublished - 2018

Publication series

NameLecture Notes in Control and Information Sciences
ISSN (Print)0170-8643
ISSN (Electronic)1610-7411


Dive into the research topics of 'Abstracted models for scheduling of event-triggered control data traffic'. Together they form a unique fingerprint.

Cite this