| 
| 
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
Kevin H.J. Jilissen (Rijkswaterstaat), Peter Dieleman (Rijkswaterstaat), Jan Friso Groote (Eindhoven University of Technology)
Rijkswaterstaat, the National Dutch body responsible for infrastructure, recognised the importance of formal modelling and set up a program to model the control of road tunnels...
[Submitted on 27 Mar 2024]
cover tunnel photo by: Matt Brown from London, England / CC BY
.jpg){kind=link}
Copyright 2019-2024 TunnelContact.com
https://arxiv.org/abs/2403.18722
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
arxiv.orgRijkswaterstaat, the National Dutch body responsible for infrastructure, recognised the importance of formal modelling and set up a program to model the control of road tunnels. This is done to improve the standardisation of tunnel control and make...