Goorden, Martijn ; van de Mortel - Fronczak, Asia ; Reniers, Michel..
Goorden , M , van de Mortel - Fronczak , A , Reniers , M , Fokkink , W & Rooda , K 2020 , ' Structuring multilevel discrete-event systems with dependence structure matrices ' , IEEE Transactions on Automatic Control , vol. 65 , no. 4 , 8759973 , pp. 1625-1639 . https://doi.org/10.1109/TAC.2019.2928119.  , 2020

Reijnen, Ferdie ; van de Mortel - Fronczak, Asia ; Rooda, Koos.
Reijnen , F , van de Mortel - Fronczak , A , Rooda , K & van Dinther , J 2019 , ' Synthesis and implementation of supervisory control for infrastructural systems ' , 38th Benelux Meeting on Systems and Control 2019 , Lommel , Belgium , 19/03/19 - 21/03/19 pp. 92 ..  , 2019

Goorden, Martijn ; Fabian, Martin ; Reniers, Michel...
Goorden , M , Fabian , M , Reniers , M , van de Mortel - Fronczak , A , Fokkink , W & Rooda , K 2019 , ' Compositional coordinator synthesis for discrete event systems ' , 38th Benelux Meeting on Systems and Control 2019 , Lommel , Belgium , 19/03/19 - 21/03/19 pp. 91 ..  , 2019

Reijnen, Ferdie ; Hofkamp, Albert ; van de Mortel - Fronczak, Asia..
Reijnen , F , Hofkamp , A , van de Mortel - Fronczak , A , Reniers , M & Rooda , K 2019 , Finite response and confluence of state-based supervisory controllers . in 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019 . , 8843335 , Institute of Electrical and Electronics Engineers , Piscataway , pp. 509-516 , 15th IEEE International Conference on Automation Science and Engineering, (CASE 2019) , Vancouver , British Columbia , Canada , 22/08/19 . https://doi.org/10.1109/COASE.2019.8843335.  , 2019

Reijnen, Ferdie ; Verbakel, Jeroen J ; van de Mortel - Fronczak, Asia.
Reijnen , F , Verbakel , J J , van de Mortel - Fronczak , A & Rooda , K 2019 , Hardware-in-the-loop set-up for supervisory controllers with an application the prinses Marijke complex : the prinses Marijke complex . in CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications . , 8920561 , Institute of Electrical and Electronics Engineers , Piscataway , pp. 843-850 , 3rd IEEE Conference on Control Technology and Applications, CCTA 2019 , Hong Kong , China , 19/08/19 . https://doi.org/10.1109/CCTA.2019.8920561.  , 2019

Goorden, Martijn ; van de Mortel - Fronczak, Asia ; Reniers, Michel..
Goorden , M , van de Mortel - Fronczak , A , Reniers , M , Fokkink , W & Rooda , K 2019 , The impact of requirement splitting on the efficiency of supervisory control synthesis . in K G Larsen & T Willemse (eds) , Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings . Lecture Notes in Computer Science book series , vol. 11687 , Springer , pp. 76-92 , 24th International Conference Formal Methods for Industrial Critical Systems, (FMICS2019) , Amsterdam , Netherlands , 30/08/19 . https://doi.org/10.1007/978-3-030-27008-7_5.  , 2019

Goorden, Martijn ; Reniers, Michel ; van de Mortel - Fronczak, Asia.
Goorden , M , Reniers , M , van de Mortel - Fronczak , A & Rooda , K 2018 , ' Structuring multilevel discrete-event systems modeled with extended finite state automata ' , 37th Benelux Meeting on Systems and Control , Soesterberg , Netherlands , 27/03/18 - 29/03/18 pp. 182 ..  , 2018

Kok, J.W ; Torta, Elena ; Reniers, Michel A..
Kok , J W , Torta , E , Reniers , M A , van de Mortel-Fronczak , J M A & van de Molengraft , M J G R 2021 , ' Synthesis-Based Engineering of Supervisory Controllers for Autonomous Robotic Navigation ' , IFAC-PapersOnLine , vol. 54 , no. 2 , pp. 259-264 . https://doi.org/10.1016/j.ifacol.2021.06.031.  , 2021

Paape, N ; van de Mortel-Fronczak, J.M. (Asia) ; Swartjes, Lennart.
Paape , N , van de Mortel-Fronczak , J M A , Swartjes , L & Reniers , M A 2020 , ' Efficient failure-recovering supervisors ' , IFAC-PapersOnLine , vol. 53 , no. 2 , pp. 1755-1762 . https://doi.org/10.1016/j.ifacol.2020.12.2311.  , 2020

Goorden, Martijn A ; van de Mortel-Fronczak, J.M. (Asia) ; Reniers, Michel A...
Goorden , M A , van de Mortel-Fronczak , J M A , Reniers , M A , Fabian , M , Fokkink , W J & Rooda , J E K 2020 , ' Model properties for efficient synthesis of nonblocking modular supervisors ' , arXiv , vol. 2020 , 2007.05795 ..  , 2020

Reijnen, Ferdie F.H ; Goorden, Martijn A ; van de Mortel-Fronczak, J.M. (Asia).
Reijnen , F F H , Goorden , M A , van de Mortel-Fronczak , J M & Rooda , J E 2020 , ' Modeling for supervisor synthesis – a lock-bridge combination case study ' , Discrete Event Dynamic Systems , vol. 30 , no. 3 , pp. 499-532 . https://doi.org/10.1007/s10626-020-00314-0.  , 2020

Reijnen, Ferdi F.H ; van de Mortel-Fronczak, J.M. (Asia) ; Reniers, Michel A.
Reijnen , F F H , van de Mortel-Fronczak , J M A , Reniers , M A & Rooda , J E K 2020 , Graphical modeling for supervisor synthesis . in 39th Benelux Meeting on Systems and Control March 10 – 12, 2020 Elspeet, The Netherlands : Book of Abstracts . University of Groningen , pp. 81-81 , 39th Benelux Meeting on Systems and Control , Elspeet , Netherlands , 10/03/20 ..  , 2020

Verbakel, Jeroen J ; Fusco, Mauro ; Willemsen, Dehlia M.C..
Verbakel , J J , Fusco , M , Willemsen , D M C , van de Mortel-Fronczak , J M & Heemels , W P M H 2020 , ' Decision making for autonomous vehicles: Combining safety and optimality ' , IFAC-PapersOnLine , vol. 53 , no. 2 , pp. 15380-15387 . https://doi.org/10.1016/j.ifacol.2020.12.2358.  , 2020

Moormann, Lars ; van de Mortel-Fronczak, J.M. (Asia) ; Fokkink, Wan J.
Moormann , L , van de Mortel-Fronczak , J M A , Fokkink , W J & Rooda , J E K 2020 , Model reduction for supervisor synthesis . in R Carloni , B Jayawardhana & E Lefeber (eds) , 39th Benelux Meeting on Systems and Control : Book of Abstracts . University of Groningen , Groningen , pp. 82-82 , 39th Benelux Meeting on Systems and Control , Elspeet , Netherlands , 10/03/20 ..  , 2020

Goorden, Martijn A ; Reniers, Michel A ; van de Mortel-Fronczak, J.M. (Asia)
Goorden , M A , Reniers , M A & van de Mortel-Fronczak , J M A 2020 , ' Quantifying model quality for supervisory control synthesis - an experimental study ' , IFAC-PapersOnLine , vol. 53 , no. 4 , pp. 437-444 . https://doi.org/10.1016/j.ifacol.2021.04.041.  , 2020