Development of a 3D Digital Twin of the Swalmen Tunnel in the Rijkswaterstaat Project
Authors:
J. van Hegelsom,
J. M. van de Mortel-Fronczak,
L. Moormann,
D. A. van Beek,
J. E. Rooda
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 February, 2022; v1 submitted 26 July, 2021;
originally announced July 2021.
Hierarchical states in the Compositional Interchange Format
Authors:
H. Beohar,
D. E. Nadales Agut,
D. A. van Beek,
P. J. L. Cuijpers
Abstract:
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper…
▽ More
CIF is a language designed for two purposes, namely as a specification language for hybrid systems and as an interchange format for allowing model transformations between other languages for hybrid systems. To facilitate the top-down development of a hybrid system and also to be able to express models more succinctly in the CIF formalism, we need a mechanism for stepwise refinement. In this paper, we add the notion of hierarchy to a subset of the CIF language, which we call hCIF. The semantic domain of the CIF formalism is a hybrid transition system, constructed using structural operational semantics. The goal of this paper is to present a semantics for hierarchy in such a way that only the SOS rules for atomic entities in hCIF are redesigned in comparison to CIF. Furthermore, to be able to reuse existing tools like simulators of the CIF language, a procedure to eliminate hierarchy from an automaton is given.
△ Less
Submitted 12 August, 2010;
originally announced August 2010.
