Martijn Goorden

Martijn Goorden Teaching Portfolio

Vis Scopus-profil

Fastnet9940 7821
E-mailmgoordencs.aaudk

Selma Lagerløfs Vej 300, 2-1-05
9220 Aalborg Ø
Danmark
Selma Lagerløfs Vej 300, 1-2-13
9220 Aalborg Ø
Danmark

Publikationer pr. år

8 Konferenceartikel i proceeding
4 Tidsskriftartikel
1 Preprint

13 resultater

Timed I/O Automata: It is never too late to complete your timed specification theory
Goorden, M. A., Larsen, K. G., Legay, A., Lorber, F., Nyman, U. & Wasowski, A., 2023, arXiv.
Publikation: Working paper/Preprint › Preprint

Åben adgang
Fil

5 Downloads (Pure)
Synthesis-based engineering of supervisory controllers
Fokkink, W., Goorden, M., Hendriks, D., van de Mortel-Fronczak, J., Oortwijn, W. & Rooda, J., 2023, I: Mikroniek. 2023, 6, s. 22-26 5 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

Åben adgang
Fil

73 Downloads (Pure)
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
Goorden, M. & Reniers, M. A., 2024, (Accepteret/In press) Proceedings of 17th IFAC Workshop on Discrete Event Systems.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil

26 Downloads (Pure)
Supervisor Synthesis: Bridging Theory and Practice
Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F. & Rooda, J., okt. 2022, I: Computer. 55, 10, s. 48-54
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
2 Citationer (Scopus)

30 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. (red.). Springer, s. 327-333 7 s. (Lecture Notes in Computer Science).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
1 Citationer (Scopus)

110 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, s. 93-99 7 s. (IFAC-PapersOnLine; Nr. 28, Bind 55).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
44 Downloads (Pure)
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R. & Srba, J., 2021, IFAC-PapersOnLine: 7th IFAC Conference on Analysis and Design of Hybrid Systems. 5 udg. Elsevier, Bind 54. s. 13-18 6 s. (IFAC-PapersOnLine; Nr. 5, Bind 54).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
8 Citationer (Scopus)

98 Downloads (Pure)
Guaranteed safe controller synthesis for switched systems using analytical solutions
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, s. 784-790 7 s. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
36 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 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (red.). Springer, s. 44-52 9 s. (Lecture Notes in Computer Science, Bind LNCS 13994).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
52 Downloads (Pure)
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, I: Journal of Hydroinformatics. 25, 4, s. 1256-1275 20 s., 1257.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
37 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, s. 1-3 3 s.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
30 Downloads (Pure)
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 10 maj 2023, (Afsendt) I: Submitted for publication. s. 1-29 29 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Compositional Control Synthesis for Water Management System
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, (Accepteret/In press) ECC. s. 1-8 8 s.
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Martijn Goorden

Publikationer

Søgeresultater