Scalable traffic models for scheduling of linear periodic event-triggered controllers

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Abstract

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 symbolic traffic model of periodic ETC (PETC), which by construction provides an exact simulation of such traffic. The model is made in such a way as to avoid the combinatorial explosion that is typical of symbolic models in many applications. It is augmented with early triggering actions that can be used by a scheduler to mitigate communication conflicts. The complete networked control system is then modeled as a network of timed game automata, for which existing tools can generate a strategy that avoids communication conflicts, while keeping early triggers to a minimum. By construction, our proposed symbolic model is a quotient model of the PETC. It is relatively fast to build, and it generates few to no spurious transitions. We finally demonstrate modeling and scheduling for a numerical example.
Original languageEnglish
Title of host publicationProceedings IFAC World Congress 2020
PublisherIFAC
Publication statusPublished - 2020
Event21st IFAC World Congress : Automatic Control – Meeting Societal Challenges - Berlin, Germany
Duration: 12 Jul 202017 Jul 2020
http://www.ifac2020.org

Conference

Conference21st IFAC World Congress
CountryGermany
CityBerlin
Period12/07/2017/07/20
Internet address

Keywords

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

Fingerprint 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