Abstracted models for scheduling of event-triggered control data traffic

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

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

1 Citation (Scopus)
1 Downloads (Pure)

Abstract

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 publicationControl Subject to Computational and Communication Constraints
Subtitle of host publicationCurrent Challenges
EditorsSophie Tarbouriech, Antoine Girard, Laurentiu Hetel
Place of PublicationCham, Switzerland
PublisherSpringer
Chapter10
Pages197-217
ISBN (Electronic)978-3-319-78449-6
ISBN (Print)978-3-319-78448-9
DOIs
Publication statusPublished - 2018

Publication series

NameLecture Notes in Control and Information Sciences
Volume475
ISSN (Print)0170-8643

Keywords

  • Event-triggered Control (ETC)
  • Schedule-based Models
  • Updated Account
  • Symbolic Abstraction
  • Timed Automata

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

Cite this