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.
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.