Seguir
Martijn Goorden
Martijn Goorden
Assistant Professor, Distributed, Embedded and Intelligent Systems group, Aalborg University
Dirección de correo verificada de cs.aau.dk
Título
Citado por
Citado por
Año
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
552017
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
432020
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
432017
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
32*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
192018
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
152020
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
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
102021
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
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
92022
No synthesis needed, we are alright already
M Goorden, M Fabian
2019 IEEE 15th International Conference on Automation Science and …, 2019
92019
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
82023
Modeling guidelines for component-based supervisory control synthesis⋆
M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda
82019
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
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
62021
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
62019
Supervisory control synthesis for large-scale infrastructural systems
MA Goorden
52019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20