Search

Your search keyword '"Moormann, L."' showing total 14 results
Start Over Author "Moormann, L."

Refine your results

more »

more »
14 results on '"Moormann, L."'

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

Author

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

Subjects
Computer Science - Human-Computer Interaction, Electrical Engineering and Systems Science - Systems and Control
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 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.

Published
2021

2. Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

Author

Schouten, R. H. J., Moormann, L., van de Mortel-Fronczak, J. M., and Rooda, J. E.

Subjects
Computer Science - Formal Languages and Automata Theory
Abstract

In literature, extensive research has been done with respect to synthesis of supervisory controllers. Such synthesized supervisors can be distributed for implementation on multiple physical controllers. This paper discusses a method for distributing a synthesized supervisory controller. In this method, dependency structure matrices are used to distribute a system, the supervisor is then distributed accordingly, using existing localization theory. The existence of communication delays between supervisory controllers is unavoidable in a distributed application. The influence of these delays on the behavior of a supervisor is therefore studied using delay robustness theory. This paper introduces the use of mutex algorithms to make the distributed supervisor delay-robust. A case study is used to demonstrate the method and hardware in the loop testing is used to validate the resulting distributed supervisor., Comment: 14 pages, 22 figures

Published
2021

3. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Author

Fokkink, W. J., Goorden, M. A., Hendriks, D., van Beek, D. A., Hofkamp, A. T., Reijnen, F. F. H., Etman, L. F. P., Moormann, L., van de Mortel-Fronczak, J. M., Reniers, M. A., Rooda, J. E., van der Sanden, L. J., Schiffelers, R. R. H., Thuijsman, S. B., Verbakel, J. J., Vogel, J. A., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Sankaranarayanan, Sriram, editor, and Sharygina, Natasha, editor

Published
2023
Full Text
View/download PDF

4. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Author

Fokkink, W. J., primary, Goorden, M. A., additional, Hendriks, D., additional, van Beek, D. A., additional, Hofkamp, A. T., additional, Reijnen, F. F. H., additional, Etman, L. F. P., additional, Moormann, L., additional, van de Mortel-Fronczak, J. M., additional, Reniers, M. A., additional, Rooda, J. E., additional, van der Sanden, L. J., additional, Schiffelers, R. R. H., additional, Thuijsman, S. B., additional, Verbakel, J. J., additional, and Vogel, J. A., additional

Published
2023
Full Text
View/download PDF

6. The Road Ahead for Supervisor Synthesis

Author

Goorden, M. A., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J. M., Reniers, M. A., Fokkink, W. J., Rooda, J. E., Etman, L. F. P., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Pang, Jun, editor, and Zhang, Lijun, editor

Published
2020
Full Text
View/download PDF

7. The Road Ahead for Supervisor Synthesis

Author

Goorden, M. A., primary, Moormann, L., additional, Reijnen, F. F. H., additional, Verbakel, J. J., additional, van Beek, D. A., additional, Hofkamp, A. T., additional, van de Mortel-Fronczak, J. M., additional, Reniers, M. A., additional, Fokkink, W. J., additional, Rooda, J. E., additional, and Etman, L. F. P., additional

Published
2020
Full Text
View/download PDF

8. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Author

Sankaranarayanan, S., Fokkink, W.J., Goorden, M.A., Hendriks, D., Beek, D.A. van, Hofkamp, A.T., Reijnen, F.F.H., Etman, L.F.P., Moormann, L., Mortel-Fronczak, J.M. van de, Reniers, M.A., Rooda, J.E., Sanden, L.J. van der, Schiffelers, R.R.H., Thuijsman, S.B., Verbakel, J.J., Vogel, J.A., Sankaranarayanan, S., Fokkink, W.J., Goorden, M.A., Hendriks, D., Beek, D.A. van, Hofkamp, A.T., Reijnen, F.F.H., Etman, L.F.P., Moormann, L., Mortel-Fronczak, J.M. van de, Reniers, M.A., Rooda, J.E., Sanden, L.J. van der, Schiffelers, R.R.H., Thuijsman, S.B., Verbakel, J.J., and Vogel, J.A.

Abstract

TACAS 2023, Item does not contain fulltext

Published
2023

9. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Author

Fokkink, W.J., Goorden, M.A., Hendriks, D., Beek, D.A. van, Hofkamp, A.T., Reijnen, F.F.H., Etman, L.F.P., Moormann, L., Mortel-Fronczak, J.M. van de, Reniers, M.A., Rooda, J.E., Sanden, L.J. van der, Schiffelers, R.R.H., Thuijsman, S.B., Verbakel, J. J., Vogel, J.A., Fokkink, W.J., Goorden, M.A., Hendriks, D., Beek, D.A. van, Hofkamp, A.T., Reijnen, F.F.H., Etman, L.F.P., Moormann, L., Mortel-Fronczak, J.M. van de, Reniers, M.A., Rooda, J.E., Sanden, L.J. van der, Schiffelers, R.R.H., Thuijsman, S.B., Verbakel, J. J., and Vogel, J.A.

Abstract

The Eclipse Supervisory Control Engineering Toolkit (ESCET™) is an open-source project to provide a model-based approach and toolkit for developing supervisory controllers, targeting their entire engineering process. It supports synthesis-based engineering of supervisory controllers for discrete-event systems, combining model-based engineering with computer-aided design to automatically generate correct-by-construction controllers. At its heart is supervisory controller synthesis, a formal technique for the automatic derivation of supervisory controllers from the unrestricted system behavior and system requirements. Vital for the future development of these techniques and tools is the ESCET project’s open environment, allowing industry and academia to collaborate on creating an industrial-strength toolkit. We report on some crucial developments of the toolkit in the context of research projects with Rijkswaterstaat and ASML that have considerably improved its capability to deal with the complexity of real-life systems as well as its usability.

Published
2023

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

Author

Moormann, L., van de Mortel-Fronczak, J.M., Rooda, J.E., Group Etman, Control Systems Technology, and EIRES Eng. for Sustainable Energy Systems

Abstract

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 can be synthesized automatically from a model of the plant and a model of the requirements. Modeling for SCT, however, remains a cumbersome task for systems with large numbers of components. Moreover, modeling such systems requires extensive knowledge on SCT, e.g. regarding modeling formalisms and synthesis algorithms, as there exist relatively few modeling guidelines, especially when the components have complex dependencies. This paper proposes a parameter-based modeling approach that enables a designer to automatically generate the required models for synthesis and simulation by defining the parameters of a system within a product platform. The gained benefits include more efficient modeling while requiring less knowledge on SCT. The product platform in this paper considers supervisory controllers for road tunnels. The parameter-based modeling platform is implemented as a proof-of-concept configuration tool, is validated by means of simulation, and its applicability is shown in a case study for a family of 22 tunnels in the Netherlands.

Published
2021
Full Text
View/download PDF

13. Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

Author

Moormann, L., Van De Mortel-Fronczak, J. M., Fokkink, W. J., Rooda, J. E., Moormann, L., Van De Mortel-Fronczak, J. M., Fokkink, W. J., and Rooda, J. E.

Abstract

Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems, with high guarantees for functionality and safety. The complexity of the synthesis problem, however, increases exponentially with the number of system components in the cyber-physical system and the number of models of this system, often resulting in lengthy or even unsolvable synthesis procedures. In this paper, a new method is proposed for reducing the model of the system before synthesis to decrease the required computational time and effort. The method consists of three steps for model reduction, that are mainly based on symmetry in dependency graphs of the system. Dependency graphs visualize the components in the system and the relations between these components. The proposed method is applied in a case study on the design of a supervisory controller for a road tunnel. In this case study, the model reduction steps are described, and results are shown on the effectiveness of model reduction in terms of model size and synthesis time.

Published
2020
Full Text
View/download PDF

14. The Road Ahead for Supervisor Synthesis

Author

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., 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., and Etman, L.F.P.

Abstract

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 maintenance of infrastructure in the Netherlands.

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results