Follow
Martijn Goorden
Martijn Goorden
Assistant Professor, Distributed, Embedded and Intelligent Systems group, Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Supervisory control synthesis for a waterway lock
FFH Reijnen, MA Goorden, JM van de Mortel-Fronczak, JE Rooda
Control Technology and Applications (CCTA), 2017 IEEE Conference on, 1562-1563, 2017
532017
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda
IEEE Transactions on Automatic Control 65 (4), 1625-1639, 2020
422020
Structuring multilevel discrete-event systems with dependency structure matrices
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, JE Rooda
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017
422017
Modeling for supervisor synthesis–a lock-bridge combination case study
FFH Reijnen, MA Goorden, JM van de Mortel-Fronczak, JE Rooda
Discrete Event Dynamic Systems-Theory and Applications 30 (3), 499-532, 2020
31*2020
Application of dependency structure matrices and multilevel synthesis to a production line
FFH Reijnen, MA Goorden, JM van de Mortel-Fronczak, MA Reniers, ...
2018 IEEE Conference on Control Technology and Applications (CCTA), 458-464, 2018
182018
Design of a tunnel supervisory controller using synthesis-based engineering
L Moormann, P Maessen, MA Goorden, JM van de Mortel-Fronczak, ...
ITA-AITES World Tunnel Congress, WTC2020 and 46th General Assembly, 573-578, 2020
162020
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors
M Goorden, J van de Mortel-Fronczak, M Reniers, M Fabian, W Fokkink, ...
Control Engineering Practice 112, 104830, 2021
132021
The road ahead for supervisor synthesis
MA Goorden, L Moormann, FFH Reijnen, JJ Verbakel, DA Van Beek, ...
Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020
102020
The impact of requirement splitting on the efficiency of supervisory control synthesis
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda
Formal Methods for Industrial Critical Systems: 24th International …, 2019
102019
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, MR Rasmussen, J Srba
IFAC-PapersOnLine 54 (5), 13-18, 2021
92021
No synthesis needed, we are alright already
M Goorden, M Fabian
2019 IEEE 15th International Conference on Automation Science and …, 2019
92019
Efficient validation of supervisory controllers using symmetry reduction
L Moormann, MA Goorden, JM van de Mortel-Fronczak, WJ Fokkink, ...
IFAC-PapersOnLine 53 (4), 288-295, 2020
72020
Supervisory control of multilevel discrete-event systems with a bus structure
M Goorden, C Dingemans, M Reniers, J Van De Mortel-Fronczak, ...
2019 18th European Control Conference (ECC), 3204-3211, 2019
72019
Supervisor synthesis: Bridging theory and practice
W Fokkink, M Goorden, J Van de Mortel-Fronczak, F Reijnen, J Rooda
Computer 55 (10), 48-54, 2022
62022
Modeling guidelines for component-based supervisory control synthesis⋆
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda
62019
Eclipse ESCET™: The eclipse supervisory control engineering toolkit
WJ Fokkink, MA Goorden, D Hendriks, DA van Beek, AT Hofkamp, ...
International Conference on Tools and Algorithms for the Construction and …, 2023
52023
Compositional coordinator synthesis of extended finite automata
MA Goorden, M Fabian, JM van de Mortel-Fronczak, MA Reniers, ...
Discrete Event Dynamic Systems 31 (3), 317-348, 2021
52021
DSM-based analysis for the recognition of modeling errors in supervisory controller design
M Goorden, P Etman, J van de Mortel-Fronczak, J Rooda
DS 97: Proceedings of the 21st International DSM Conference (DSM 2019 …, 2019
52019
Supervisory control synthesis for large-scale infrastructural systems
M Goorden
PhD thesis, Eindhoven University of Technology, 2019
42019
Guaranteed safe controller synthesis for switched systems using analytical solutions*
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, W Qian, ...
2023 IEEE Conference on Control Technology and Applications (CCTA), 784-790, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20