Research output per year
Research output per year
Personal profile
Research profile
Martijn Goorden received the M.Sc. degree (cum laude) in systems and control in 2015 and the Ph.D. degree in mechanical engineering in 2019, both from Eindhoven University of Technology, Eindhoven, The Netherlands. His current research interests are in the area of model-based systems engineering and supervisory control synthesis.
Education/Academic qualification
Control Engineering, PhD, Supervisory Control Synthesis of Large-Scale Infrastructural Systems, Eindhoven University of Technology
1 Jan 2016 → 31 Dec 2019
Award Date: 22 Nov 2019
External positions
Expert infrastructural systems, Rijkswaterstaat
1 Jan 2020 → …
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Dive into details by clicking on the dots.
-
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: a comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS
Zhao, G., Rasmussen, M. R., Larsen, K. G., Srba, J., Nielsen, T. D., Goorden, M., Qian, W. & Nielsen, J. E., 1 Jul 2023, In: Journal of Hydroinformatics. 25, 4, p. 1256-1275 20 p., 1257.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile5 Downloads (Pure) -
Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit
Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). p. 44-52 9 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile29 Downloads (Pure) -
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Nielsen, T. D., Larsen, K. G. & Goorden, M., 2 Nov 2022, NWPT: 33rd Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, p. 1-3 3 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile11 Downloads (Pure) -
Lessons learned in the application of formal methods to the design of a storm surge barrier control system
Goorden, M., van de Mortel-Fronczak, J., van Eldik, K., Fokkink, W. & Rooda, J., 2022, IFAC-PapersOnLine: 16th IFAC Workshop on Discrete Event Systems. Elsevier, p. 93-99 7 p. (IFAC-PapersOnLine; No. 28, Vol. 55).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile24 Downloads (Pure) -
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile61 Downloads (Pure)
Datasets
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
-
Models for "Optimal Control Strategies for Stormwater Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022
DOI: 10.5281/zenodo.6592380, https://zenodo.org/record/6592380
Dataset
-
Models for "Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds"
Goorden, M. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Rasmussen, M. R. (Creator) & Srba, J. (Creator), Zenodo, 2021
DOI: 10.5281/zenodo.4734188, https://zenodo.org/record/4734188
Dataset