@inproceedings{a2cf73fbec5c465ea422526dff150b39,
title = "Symbolic abstractions for the scheduling of event-triggered control systems",
abstract = "In this paper, the problem of scheduling event-triggered networked control systems sharing a communication channel is addressed. Event-triggered control strategies effectively reduce the usage of resources in the implementation of control loops, in particular communication bandwidth. However, there is a lack of a well-established framework to analyze their corresponding communication load and synthesize schedulers. We focus on the case of linear-time-invariant plants and propose a procedure to build a timed automaton that captures the sampling behavior of each event-triggered controller. We show that these timed automata approximately simulate the controllers' sampling behavior. Finally, a conflict-free scheduling policy is synthesized using timed game automata to guarantee reliable communication in the network.",
keywords = "Automata, Clocks, Games, Linear systems, Optimal scheduling, Yttrium",
author = "Kolarijani, {Arman Sharifi} and Dieky Adzkiya and Manuel Mazo",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 54th IEEE Conference on Decision and Control, CDC 2015 ; Conference date: 15-12-2015 Through 18-12-2015",
year = "2015",
month = feb,
day = "8",
doi = "10.1109/CDC.2015.7403187",
language = "English",
series = "Proceedings of the IEEE Conference on Decision and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "6153--6158",
booktitle = "54rd IEEE Conference on Decision and Control,CDC 2015",
address = "United States",
}