Automating scheduler design for Networked Control Systems with Event-Based Control
An approach with Timed Automata
P.C. Schalkwijk (TU Delft - Mechanical Engineering)
M Mazo – Mentor (TU Delft - Team Tamas Keviczky)
Gabriel de Albuquerque De Albuquerque Gleizer – Graduation committee member (TU Delft - Team Tamas Keviczky)
SE Verwer – Graduation committee member (TU Delft - Cyber Security)
More Info
expand_more
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.
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.