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.

PhD Candidateir. Martijn Goorden Asia v.d. Michel Reniers
Promotor: Wan Fokkink
Project Financing: Rijkswaterstaat
Project Period: January 2016- December 2019

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.