Supervisory control of concurrent embedded systems

The goal of a supervisory controller is to coordinate the individual components in such a way that the complete system performs a specific task. The creation of a correct supervisor, however, is a difficult task. In this work, the design of supervisory controllers is investigated: how can we reduce the effort of creating a correct supervisor, while increasing the quality, reliability, flexibility, and efficiency.

PhD Candidate: ir. L. (Lennart) Swartjes
Supervisor: dr.ir D.A. (Bert) van Beek
Promotor:  prof.dr. W.J. (Wan) Fokkink
Project Financing: TU/e & Vanderlande
Project Period: Feb 2013 – Jan 2017

To reduce the effort, model-based design of supervisory controllers is considered. Both the manual and automatic (synthesis) creation of supervisory controllers is considered. Methods are considered for the automatic generation of code that is traceable and adaptable. Additionally, providing user-feedback for the process of automatically generating supervisors is investigated.  To this end, the creation of causes for the absence of a state in the supervised system is investigated. Finally, the applicability of the proposed methods must be shown on a large system by means of test cases.