| 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 | 49 | 2017 |
| 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 | 35 | 2020 |
| 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 | 35 | 2017 |
| 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 | 26* | 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 | 18 | 2018 |
| 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 (WTC 2020), 573-578, 2020 | 15 | 2020 |
| 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 | 9 | 2021 |
| 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 | 9 | 2019 |
| 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 | 8 | 2020 |
| No synthesis needed, we are alright already M Goorden, M Fabian 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 8 | 2019 |
| 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 | 7 | 2021 |
| 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 | 6 | 2020 |
| 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 | 6 | 2019 |
| Modeling guidelines for component-based supervisory control synthesis⋆ M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda | 5 | 2019 |
| 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 | 5 | 2019 |
| 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 | 3 | 2022 |
| Supervisory control synthesis for large-scale infrastructural systems M Goorden PhD thesis, Eindhoven University of Technology, 2019 | 3 | 2019 |
| 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 | 2 | 2021 |
| Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit WJ Fokkink, MA Goorden, D Hendriks, DA van Beek, AT Hofkamp, ... | 1 | |
| Timed I/O Automata: It is never too late to complete your timed specification theory MA Goorden, KG Larsen, A Legay, F Lorber, U Nyman, A Wasowski arXiv preprint arXiv:2302.04529, 2023 | | 2023 |
Joanna M. van de Mortel-FronczakProfessor of Mechanical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
