Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers

Research output: Contribution to journalConference articleScientificpeer-review

6 Citations (Scopus)
18 Downloads (Pure)


This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a finite-state similar model of the traffic generated by periodic ETC (PETC), which by construction mitigates the combinatorial explosion that is typical of symbolic models. The model is augmented with early triggering actions that can be used by a scheduler. The complete networked control system is then modeled as a network of timed game automata, for which existing tools can generate strategies that avoids communication conflicts, while keeping early triggers to a minimum. Our proposed model is relatively fast to build and is the first to constitute an exact simulation. Finally, we demonstrate modeling and scheduling for a numerical example.

Original languageEnglish
Pages (from-to)2726-2732
Issue number2
Publication statusPublished - 2020
Event21st IFAC World Congress : Automatic Control – Meeting Societal Challenges - Berlin, Germany
Duration: 12 Jul 202017 Jul 2020


  • Control systems
  • digital control
  • linear systems
  • event-triggered control
  • networked control systems
  • formal methods
  • scheduling


Dive into the research topics of 'Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers'. Together they form a unique fingerprint.

Cite this