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

Autor: van Hegelsom, J., van de Mortel-Fronczak, J. M., Moormann, L., van Beek, D. A., Rooda, J. E.

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 engineer

Externí odkaz: http://arxiv.org/abs/2107.12108

Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers

Autor: Moormann, L., van de Mortel-Fronczak, J.M., Rooda, J.E.

Publikováno v: CCTA 2021-5th IEEE Conference on Control Technology and Applications, 1024-1030
STARTPAGE=1024;ENDPAGE=1030;TITLE=CCTA 2021-5th IEEE Conference on Control Technology and Applications

Designing supervisory controllers for high-tech systems is a laborious and error-prone task. By using formal model-based methods, such as the supervisor synthesis method based on supervisory control theory (SCT), a correct-by-construction controller

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee8a1f8100467ac66ab667b165f7fdeb
https://doi.org/10.1109/ccta48906.2021.9658713

The Road Ahead for Supervisor Synthesis

Autor: Goorden, Martijn, Moormann, L., Reijnen, F.F.H., Verbakel, J.J., van Beek, D.A., Hofkamp, A.T., van de Mortel-Fronczak, Joanna, Reniers, M.A., Fokkink, Wan, Rooda, J.E., Etman, L.F.P., Pang, Jun, Zhang, Lijun

Publikováno v: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783030628215
SETTA
Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings, 1-16
STARTPAGE=1;ENDPAGE=16;TITLE=Dependable Software Engineering. Theories, Tools, and Applications
Goorden, M, Moormann, L, Reijnen, F F H, Verbakel, J J, van Beek, D A, Hofkamp, A T, van de Mortel-Fronczak, J, Reniers, M A, Fokkink, W, Rooda, J E & Etman, L F P 2020, The Road Ahead for Supervisor Synthesis . in J Pang & L Zhang (eds), Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings . Lecture Notes in Computer Science, vol. 12153, Springer Verlag, pp. 1-16 . https://doi.org/10.1007/978-3-030-62822-2_1

This paper reports on recent research advances in supervisor synthesis, as well as industrial applications and future research challenges, especially in the context of a research project funded by Rijkswaterstaat, responsible for the construction and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7eb5c779ba750e639ea997cbbe7eb70a
https://doi.org/10.1007/978-3-030-62822-2_1

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.