Synthesis-Based Engineering of Supervisory Controllers – From Specification to Implementation

Abstract

In cyber-physical systems, safety and availability are of utmost importance. To satisfy requirements on safety and availability, suitable supervisory controllers need to be employed. Supervisory control theory provides a foundation on which a model-based engineering method has been developed, providing guarantees on the correctness of resulting supervisory controllers with respect to the defined requirements. In this lecture, an overview will be given of the recent research projects at Eindhoven University of Technology aiming at the development of extensions to this method, and of supporting tools, giving rise to an integrated approach to the design of supervisory controllers for complex real-life systems. This includes a mathematically underpinned, straightforward and error-free path to implementation of the designed controllers. The research projects are related to the partnership with Rijkswaterstaat which is a part of the Dutch Ministry of Infrastructure and Water Management.