Supervisory control for lock-bridge systems
In the coming decades, numerous navigation locks have to be renovated or replaced in the Netherlands. This project focuses on model-based modular synthesis of supervisory control for lock-bridge systems, suitable for a product family of locks.
The complexity of the design, realization and maintenance of operation and control systems for civil infrastructures is increasing rapidly. Infrastructures are transformed from just civil systems to cyber-physical systems. Systems engineering (SE) methodologies are used in the industry to cope with this complexity. Several SE methods are used within Rijkswaterstaat (RWS). Recently, within the high tech systems industry models are introduced in the SE methods. This has resulted in model-based systems engineering (MBSE) methods. The aim of MBSE is to develop and use models of the architecture and dynamics of a system to increase the understanding and the quality of the design of the system.
Synthesis-based engineering is deployed to synthesize monolithic supervisory controllers for locks based on models of the plants and formal descriptions of the requirements. This research aims to find suitable non-monolithic supervisors such that several modules can be created each with its own supervisory controller. This increases the reuse of controllers for similar locks in the product family of locks and easy integration with nearby civil systems such as bridges.