Research output per year
Research output per year
Fingerprint
Dive into the research topics where Lars Moormann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
Design of a Tunnel Supervisory Controller using Synthesis-Based Engineering
Moormann, L., Maessen, P., Goorden, M. A., van de Mortel-Fronczak, J. M. A. & Rooda, J. E. K., 11 Sep 2020, ITA-AITES World Tunnel Congress, WTC2020 and 46th General Assembly. p. 573-578 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Efficient Validation of Supervisory Controllers using Symmetry Reduction
Moormann, L., van de Mortel-Fronczak, J. M. A., Goorden, M. A., Fokkink, W. J., Maessen, P. & Rooda, J. E. K., 12 Nov 2020, 15th IFAC Workshop on Discrete Event Systems 2020. p. 288-295 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis
Moormann, L., van de Mortel-Fronczak, J. M. A., Fokkink, W. J. & Rooda, J. E. K., 11 Aug 2020, 2020 IEEE 16th International Conference on Automation Science and Engineering, CASE 2020. Institute of Electrical and Electronics Engineers, p. 659-666 8 p. 9216953Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Citation (Scopus) -
Model reduction for supervisor synthesis
Moormann, L., van de Mortel-Fronczak, J. M. A., Fokkink, W. J. & Rooda, J. E. K., Mar 2020, 39th Benelux Meeting on Systems and Control : Book of Abstracts. Carloni, R., Jayawardhana, B. & Lefeber, E. (eds.). Groningen: University of Groningen, p. 82-82 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Open AccessFile -
The road ahead for supervisor synthesis
Goorden, M. A., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A. B., Hofkamp, A. T., van de Mortel-Fronczak, J. M. A., Reniers, M. A., Fokkink, W. J., Rooda, J. E. K. & Etman, L. F. P. P., 24 Nov 2020, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer, p. 1-16 16 p. (Lecture Notes in Computer Science (LNCS); vol. 12153)(Programming and Software Engineering (LNPSE); vol. 12153).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
Courses
Student theses
-
Supervisory control synthesis for tunnels: The KWA tunnel case
Author: Moormann, L., 31 Oct 2018Supervisor: van de Mortel-Fronczak, J. (. (Supervisor 1), Rooda, J. E. (. (Supervisor 1), Goorden, M. A. (Supervisor 1), Etman, L. (. (Supervisor 1) & Maessen, P. (External person) (Supervisor 1)
Student thesis: Master
File