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

Journal article (2020)

Authors

G. de Albuquerque Gleizer Team Tamas Keviczky - Mechanical, Maritime and Materials Engineering
M. Mazo Team Tamas Keviczky - Mechanical, Maritime and Materials Engineering
Research Group
Team Tamas Keviczky (Mechanical, Maritime and Materials Engineering) (TU Delft)
Copyright: © 2020 G. de Albuquerque Gleizer, M. Mazo
DOI: https://doi.org/10.1016/j.ifacol.2020.12.2525
Digital control Scheduling Linear systems Event-triggered control Formal methods Networked control systems Control systems
More Info
expand_more

Published Date

2020

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Mechanical, Maritime and Materials Engineering

Department

Delft Center for Systems and Control

Research Group

Team Tamas Keviczky

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.