Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/e49a6baa-6468-4a2e-b60c-ae470590d7a1.  , 2023

Fokkink, Wan ; Goorden, Martijn ; Hendriks, Dennis...
https://vbn.aau.dk/da/publications/b0be3d69-1931-467c-af7e-7e230dca88db.  , 2023

Fokkink, Wan ; Goorden, Martijn ; van de Mortel-Fronczak, Joanna..
https://vbn.aau.dk/da/publications/8fde50dd-4378-406c-aa14-52be1e592f08.  , 2022

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; van Eldik, Koen..
https://vbn.aau.dk/da/publications/0afb842c-93a5-475f-936f-086e7b61a271.  , 2022

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
Goorden , M , van de Mortel-Fronczak , J , Reniers , M , Fabian , M , Fokkink , W & Rooda , J 2021 , ' Model properties for efficient synthesis of nonblocking modular supervisors ' , Control Engineering Practice , vol. 112 , 104830 . https://doi.org/10.1016/j.conengprac.2021.104830.  , 2021

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
Goorden , M , van de Mortel-Fronczak , J , Reniers , M , Fabian , M , Fokkink , W & Rooda , J 2021 , ' Model properties for efficient synthesis of nonblocking modular supervisors ' , Control Engineering Practice , vol. 112 , 104830 , pp. 1-13 . https://doi.org/10.1016/j.conengprac.2021.104830.  , 2021

Reijnen, Ferdie ; Leliveld, Eva Britt ; van de Mortel-Fronczak, Joanna...
Reijnen , F , Leliveld , E B , van de Mortel-Fronczak , J , van Dinther , J , Rooda , J & Fokkink , W 2021 , ' Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge ' , Computers in Industry , vol. 130 , 103473 . https://doi.org/10.1016/j.compind.2021.103473.  , 2021

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel..
Goorden , M , van de Mortel-Fronczak , J , Reniers , M , Fokkink , W & Rooda , J 2020 , Modeling Guidelines for Component-Based Supervisory Control Synthesis . in F Arbab & S-S Jongmans (eds) , Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12018 LNCS , Springer , pp. 3-24 , 16th International Conference on Formal Aspects of Component Software, FACS 2019 , Amsterdam , Netherlands , 23/10/19 . https://doi.org/10.1007/978-3-030-40914-2_1.  , 2020

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Reniers, Michel...
http://arxiv.org/abs/2007.05795.  , 2020

Goorden, Martijn ; van de Mortel-Fronczak, Joanna ; Etman, Pascal.
Goorden , M , van de Mortel-Fronczak , J , Etman , P & Rooda , J 2019 , DSM-based analysis for the recognition of modeling errors in supervisory controller design . in H Stowe , T R Browning , S D Eppinger , J Tran & P Montijo (eds) , Proceedings of the 21st International Dependency and Structure Modeling Conference, DSM 2019 . Design Society , Glasgow , pp. 121-129 , 21st International Dependency and Structure Modeling Conference, DSM 2019 , Monterey , United States , 23/09/19 . https://doi.org/10.35199/dsm2019.7.  , 2019

Varadarajan, Avinash Visagan ; Romijn, Marcel ; Oosthoek, Bart..
http://arxiv.org/abs/1603.08635.  , 2016

Reijnen, Ferdie F.H ; Erens, Toby R ; van de Mortel-Fronczak, Joanna M.
Reijnen , F F H , Erens , T R , van de Mortel-Fronczak , J M & Rooda , J E 2022 , ' Supervisory controller synthesis and implementation for safety PLCs ' , Discrete Event Dynamic Systems: Theory and Applications , vol. 32 , pp. 115-141 . https://doi.org/10.1007/s10626-021-00350-4.  , 2022

Avinash Visagan Varadarajan ; Marcel Romijn ; Bart Oosthoek..
http://arxiv.org/pdf/1603.08635v1.  , 2016