| 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 | 59 | 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 | 43 | 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 | 43 | 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 | 34* | 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 | 24 | 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, WTC2020 and 46th General Assembly, 573-578, 2020 | 15 | 2020 |
| 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 | 13 | 2023 |
| 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 | 13 | 2021 |
| 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 | 12 | 2021 |
| 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 | 12 | 2020 |
| 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 | 12 | 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 | 10 | 2022 |
| Modeling guidelines for component-based supervisory control synthesis⋆ M Goorden, J van de Mortel-Fronczak, M Reniers, W Fokkink, J Rooda | 9 | 2019 |
| No synthesis needed, we are alright already M Goorden, M Fabian 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 8 | 2019 |
| 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 | 8 | 2019 |
| 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 | 7 | 2020 |
| STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego MA Goorden, PG Jensen, KG Larsen, M Samusev, J Srba, G Zhao | 6 | 2022 |
| 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 | 6 | 2021 |
| Supervisory control synthesis for large-scale infrastructural systems MA Goorden | 6 | 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 |
Joanna M. van de Mortel-FronczakProfessor of Mechanical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
