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

de Albuquerque Gleizer, G.; Mazo, M.

doi:10.1016/j.ifacol.2020.12.2525

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

Title

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

Author

de Albuquerque Gleizer, G. (TU Delft Team Tamas Keviczky)
Mazo, M. (TU Delft Team Tamas Keviczky)

Date

2020

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 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.

Subject

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

To reference this document use:

http://resolver.tudelft.nl/uuid:beff1b0e-6510-4e13-90af-972a6a615ab3

DOI

https://doi.org/10.1016/j.ifacol.2020.12.2525

ISSN

1474-6670

Source

IFAC-PapersOnLine, 53 (2), 2726-2732

Event

21st IFAC World Congress, 2020-07-12 → 2020-07-17, Berlin, Germany