Automating scheduler design for Networked Control Systems with Event-Based Control

An approach with Timed Automata

Master thesis (2019)

Authors

P.C. Schalkwijk Mechanical Engineering

Contributors

M. Mazo Team Tamas Keviczky - Mechanical, Maritime and Materials Engineering (mentor)
G. de Albuquerque Gleizer Team Tamas Keviczky - Mechanical, Maritime and Materials Engineering (graduation committee member)
S.E. Verwer Cyber Security - EEMCS (graduation committee member)
Faculty
Mechanical Engineering, Mechanical Engineering
Copyright: © 2019 Paul Schalkwijk
More Info
expand_more

Published Date

21-06-2019

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 Engineering

Abstract

As the use of Networked Control Systems increases, the need for control methods with more efficient network usage also grows. These methods require a more sophisticated way of pre- dicting their traffic, and an approach for this is using a formal modelling approach using Timed Automata. Timed Automata have been used for over 25 years for several scheduling problems, but have not been adopted by the control systems community for scheduling event- triggered systems. This is a recent development for which no easy to use software tools have been developed, and performance in real-world applications is yet untested.
In this master thesis, an existing approach for scheduling event-triggered controllers is implemented in a set of tools. This approach creates abstractions of communication traffic, models them as timed automata and finds a scheduler avoiding communication conflicts. This set of tools is used to test the scalability with respect to abstraction accuracy and number of systems that can be connected. The set of tools can be used in the future to further improve on the techniques used.

Files

MscThesis.pdf
(.pdf | 2.25 Mb)