The Road Ahead for Supervisor Synthesis

Goorden, Martijn A.; Moormann, Lars; Reijnen, F.F.H.; Verbakel, Jeroen J.; Beek, D.A. van; Hofkamp, A.T.; Mortel-Fronczak, J.M. van de; Reniers, Michel A.; Fokkink, Wan; Rooda, J.E.; Etman, L.F.P.

doi:10.1007/978-3-030-62822-2_1

Cited by 6 publications

(3 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The running example concerns a pumpcellar system which is used in road tunnels to collect rain water and leaked fluids. It is part of a running study on industrial applications, as described in [35]. In this case, the system contains 3 cellars, each equipped with 2 pumps and 5 sensors, as depicted in Figure 6.…”

Section: Running Example: Pump-cellar Systemmentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.• Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.If the publication is distributed under the terms of Article 25fa of the Dutch Copyright Act, indicated by the "Taverne" license above, please follow below link for the End User

show abstract

Section: Running Example: Pump-cellar Systemmentioning

confidence: 99%

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Moormann

Schouten

Mortel-Fronczak

et al. 2023

IEEE Trans. Automat. Sci. Eng.

View full text Add to dashboard Cite

show abstract

“…Here, the difference between the controller and the plant in the view of supervisory control is depicted. The plant consists of all mechanical components (1) in the tunnel that are controlled through actuators (2) by, or provide data through sensors (2) to their respective resource controller (3). This can for instance be a controller that controls the angle of a boom barrier.…”

Section: Supervisory Controlmentioning

confidence: 99%

“…Connected to this research, a collaboration is established with the Dutch Department of Waterways and Public Works ("Rijkswaterstaat" in Dutch, abbreviated to RWS in this report). This collaboration project, referred to as the 'RWS project' in this report, is focused on the implementation of synthesis-based controller design technology in the design of supervisory controllers for bridges, waterways and tunnels [1].…”

Section: Introductionmentioning

confidence: 99%

Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project

Hegelsom¹,

Mortel-Fronczak²,

Moormann³

et al. 2021

Preprint

Self Cite

View full text Add to dashboard Cite

In an ongoing project, a cooperation between the TU/e and the Dutch Department of Waterways and Public Works ("Rijkswaterstaat" in Dutch, abbreviated to RWS) is established. The project focuses on investigating applicability of synthesis-based engineering in the design of supervisory controllers for bridges, waterways and tunnels. Supervisory controllers ensure correct cooperation between components in a system. The design process of these controllers partly relies on simulation with models of the plant (the physical system). A possible addition to this design process is digital twin technology. A digital twin is a virtual copy of a system that is generally much more realistic than the 2D simulation models that are currently used for supervisory controller validation.In this report, the development of a digital twin of the Swalmen tunnel that is suitable for supervisory control validation is described. The Swalmen tunnel is a highway tunnel in Limburg, the Netherlands. This case study is relevant, because the Swalmen tunnel will be renovated in 2023 and 2028. These renovation projects include updating controlled subsystems in the tunnel, such as boom barriers and traffic lights, and updating the supervisory controller of the tunnel. The digital twin might be useful to aid the supervisory controller design process in these renovation projects.The digital twin is developed in a 3D game engine, Unity, using the Prespective plugin for PLC signal communication. It includes 3D models, user-interaction and simulation of simple traffic streams and other test scenarios. Several methods are developed to simplify the modular setup of a digital twin for supervisory control validation. An example is automatic generation of logic signal objects based on variable names in the PLC code. In the test setup, the digital twin is controlled with a virtual PLC running in TwinCAT. This soft PLC works almost identically to the hardware PLC, but the cycle times are lower and the signals are fully digital. A simple operator interface is developed for testing. This test setup is used to validate the digital twin of the Swalmen tunnel. Some further development of the digital twin is desired, but the first full-scale tests concerning supervisory controller validation are promising. This makes that digital twins are a useful addition in the supervisory controller design process. The main reason is that it offers more accessible and high-fidelity testing methods and scenarios, resulting in better supervisory controller validation earlier in the design process. With minor changes to the digital twin, other applications, such as operator training, are also possible. Furthermore, additional work going into development of other digital tunnel twins is relatively small, certainly with the modular setup that allows for evolvability and can be used to easily create digital twins for other tunnels. These reasons make the digital tunnel twin an attractive tool.

show abstract

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

Basile

Beek

2021

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The Road Ahead for Supervisor Synthesis

Cited by 6 publications

References 41 publications

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Synthesis and Implementation of Distributed Supervisory Controllers With Communication Delays

Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts

Contact Info

Product

Resources

About