Below is my complete list of publications from newest till oldest.
Compositional Control Synthesis for Water Management System
By Esther Kim, Kim Larsen, Martijn Goorden, and Thomas Nielsen.
Proceedings of European Control Conference, 2024. In press.
Supervisor synthesis under partial observation of uncontrollable events using full observation synthesis
By Martijn Goorden and Michel Reniers.
Proceedings of Workshop on Discrete Event Systems, 2024. In press.
Synthesis-based engineering of supervisory controllers
By Wan Fokkink, Martijn Goorden, Dennis Hendriks, Joanna van de Mortel-Fronczak, Wytse Oortwijn and Jacobus Rooda.
DSPE Mikroniek, pp. 22-26, 2023.
Guaranteed safe controller synthesis for switched systems using analytical solutions
By Martijn Goorden, Kim Larsen, Jesper Nielsen, Thomas Nielsen, Weizhu Qian, Michael Rasmussen, and Guohan Zhao.
Proceedings of IEEE Conference on Control Technology and Applications, pp. 784-790, 2023. DOI 10.1109/CCTA54093.2023.10252857
Determine stormwater pond geometrics and hydraulics using remote sensing technologies: a comparison between airborne-LiDAR and UAV-photogrammetry field validation against RTK-GNSS
By Guohan Zhao, Michael Rasmussen, Kim Larsen, Jiri Srba, Thomas Nielsen, Martijn Goorden, Weizhu Qian and Jesper Nielsen
Journal of Hydroinformatics, vol. 25, no. 4, pp. 1256–1275, 2023. DOI 10.2166/hydro.2023.178
Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit
By Wan Fokkink, Martijn Goorden, Dennis Hendriks, Bert van Beek, Albert Hofkamp, Ferdie Reijnen, Pascal Etman, Lars Moormann, Joanna van de Mortel-Fronczak, Michel Reniers, Jacobus Rooda, Bram van der Sanden, Ramon Schiffelers, Sander Thuijsman, Jeroen Verbakel, and Han Vogel.
Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, pp. 44–52, 2023. DOI 10.1007/978-3-031-30820-8_6
Controlling Stormwater Detention Ponds under Partial Observability.
By Esther Kim, Kim Larsen, Martijn Goorden, and Thomas Nielsen.
Proceedings of the Nordic Workshop on Programming Theory, 2022. URL https://nwpt.w.uib.no/files/2022/11/NWPT22_paper_7938.pdf
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.
By Martijn Goorden, Peter Jensen, Kim Larsen Mihhail Samusev, Jiri Srba, and Guohan Zhao.
Proceedings of International Symposium on Automated Technology for Verification and Analysis, pp. 327-333, 2022. DOI 10.1007/978-3-031-19992-9_21
Lessons learned in the application of formal methods to the design of a storm surge barrier control system.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Koen van Eldik, Wan Fokkink, and Jacobus Rooda.
Proceedings of Workshop on Discrete Event Systems, pp. 93–99, 2022. DOI: 10.1016/j.ifacol.2022.10.329
Supervisor Synthesis: Bridging Theory and Practice.
By Wan Fokkink, Martijn Goorden, Joanna van de Mortel-Fronczak, Ferdie Reijnen, Jacobus Rooda.
IEEE Computer, vol. 55, no. 10, pp. 48-54, 2022. DOI 10.1109/MC.2021.3134934
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds.
By Martijn Goorden, Kim Larsen, Jesper Nielsen, Thomas Nielsen, Michael Rasmussen, and Jiri Srba.
Proceedings of 7th IFAC Conference on Analysis and Design of Hybrid Systems, pp. 13-18, 2021. DOI: 10.1016/j.ifacol.2021.08.467
Model properties for Nonblocking Modular Supervisors.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Martin Fabian, Wan Fokkink, and Jacobus Rooda.
IFAC Journal on Control Engineering Practice, vol. 112, pp. 104830, 2021. DOI: 10.1016/j.conengprac.2021.104830
Compositional coordinator synthesis of extended finite automata. , proofs:
By Martijn Goorden, Martin Fabian, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, and Jacobus Rooda.
Discrete Event Dynamic Systems, vol. 30, no. 3, pp. 317–348, 2021. DOI: 10.1007/s10626-020-00334-w
The road ahead for supervisor synthesis.
By Martijn Goorden, Lars Moormann, Ferdie Reijnen, Jeroen Verbakel, Bert van Beek, Albert Hofkamp, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda, Pascal Etman.
Proceedings of International Symposium on Dependable Software Engineering – Theories, Tools and Applications, pp. 1–16, 2020. DOI: 10.1007/978-3-030-62822-2_1
Design of a Tunnel Supervisory Controller using Synthesis-Based Engineering.
By Lars Moormann, Patrick Maessen, Martijn Goorden, Joanna van de Mortel-Fronczak, and Jacobus Rooda.
Proceedings of the ITA-AITES World Tunnel Congress, pp. 573–578, 2020.
Efficient validation of supervisory controllers using symmetry reduction.
By Lars Moormann, Martijn Goorden, Joanna van de Mortel-Fronczak, Patrick Maessen, Pascal Etman, and Jacobus Rooda.
Proceedings of Workshop on Discrete Event Systems, pp. 288–295, 2020. DOI: 10.1016/j.ifacol.2021.04.074
Quantifying model quality for supervisory control synthesis – an experimental study.
By Martijn Goorden, Michel Reniers, Joanna van de Mortel-Fronczak.
Proceedings of Workshop on Discrete Event Systems, pp. 437–444, 2020. DOI: 10.1016/j.ifacol.2021.04.041
Modeling for supervisor synthesis – a lock-bridge combination case study.
By Ferdie Reijnen, Martijn Goorden, Joanna van de Mortel-Fronczak, and Jacobus Rooda.
Discrete Event Dynamic Systems, vol. 30, no. 3, pp. 499–532, 2020. DOI: 10.1007/s10626-020-00314-0
Structuring multilevel discrete-event systems with dependency structure matrices.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, and Jacobus Rooda.
IEEE Transactions on Automatic Control, vol. 65, no. 4, pp. 1625–1639, 2020. DOI: 10.1109/TAC.2019.2928119
Modeling guidelines for component-based supervisory control synthesis.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda.
Proceedings of the 16th International conference on Formal Aspects of Component Software, pp. 3–24, 2019. DOI: 10.1007/978-3-030-40914-2_1
DSM-based analysis for the recognition of modeling errors in supervisory controller design.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Pascal Etman, Jacobus Rooda.
Proceedings of the 21st International Dependency and Structure Modeling Conference, DSM, pp. 127–135, 2019. DOI: 10.35199/dsm2019.7
The impact of requirement splitting on the efficiency of supervisory control synthesis.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, Wan Fokkink, Jacobus Rooda.
Proceedings of the 17th International conference on Formal Methods for Industrial Critical Systems, pp. 76–92, 2019. DOI: 10.1007/978-3-030-27008-7_5
No synthesis needed, we are alright already.
By Martijn Goorden, Martin Fabian.
Proceedings of the 15th IEEE Conference on Automation Science and Engineering, pp. 195–202, 2019. DOI: COASE.2019.8843071
Supervisory control of multilevel discrete-event systems with bus structure.
By Martijn Goorden, Calvin Dingemans, Michel Reniers, Joanna van de Mortel-Fronczak, Wan Fokkink and Jacobus Rooda.
Proceedings of 17th European Control Conference, pp. 3204–3211, 2019. DOI: 10.23919/ECC.2019.8795835
Compositional coordinator synthesis for discrete event systems.
By Martijn Goorden, Martin Fabian, Michel Reniers, Joanna van de Mortel-Fronczak, Wan Fokkink, and Jacobus Rooda.
Proceedings of the 38th Benelux Meeting on Systems and Control, pp. 91, 2019.
Application of dependency structure matrices and multilevel synthesis to a production line.
By Ferdie Reijnen, Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, and Jacobus Rooda.
Proceedings of 2nd IEEE Conference on Control Technology and Applications, pp. 458–464, 2018. DOI: 10.1109/CCTA.2018.8511449
Structuring multilevel discrete-event systems modeled with extended finite state automata.
By Martijn Goorden, Michel Reniers, Joanna van de Mortel-Fronczak, and Jacobus Rooda.
Proceedings of 37th Benelux Meeting on Systems and Control, pp. 182, 2018.
Structuring multilevel discrete-event systems with dependency structure matrices.
By Martijn Goorden, Joanna van de Mortel-Fronczak, Michel Reniers, and Jacobus Rooda.
Proceedings of 56th IEEE Annual Conference on Decision and Control, pp. 558–564, 2017. DOI: 10.1109/CDC.2017.8263721
Supervisory control synthesis for a waterway lock.
By Ferdie Reijnen, Martijn Goorden, Joanna van de Mortel-Fronczak, and Jacobus Rooda.
Proceedings of 1st IEEE Conference on Control Technology and Applications, pp. 1562–1568, 2017. DOI: 10.1109/CCTA.2017.8062679
Challenges in performance simulation of ICT solution stacks.
By Martijn Goorden, Michel Reniers, Joanna van de Mortel-Fronczak, Matti Kinder, and Willem van Veggel.
Proceedings of 30th Eurosis European Simulation and Modelling Conference, pp. 54–58, 2016.
