Reijnen, Ferdie F. H.; Erens, Toby R.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. Supervisory controller synthesis and implementation for safety PLCs. (English) Zbl 1489.93003 Discrete Event Dyn. Syst. 32, No. 1, 115-141 (2022). MSC: 93A13 93B50 93C85 93B70 93C83 PDFBibTeX XMLCite \textit{F. F. H. Reijnen} et al., Discrete Event Dyn. Syst. 32, No. 1, 115--141 (2022; Zbl 1489.93003) Full Text: DOI
Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E. Compositional coordinator synthesis of extended finite automata. (English) Zbl 1478.93186 Discrete Event Dyn. Syst. 31, No. 3, 317-348 (2021). MSC: 93B50 68Q45 93B07 PDFBibTeX XMLCite \textit{M. A. Goorden} et al., Discrete Event Dyn. Syst. 31, No. 3, 317--348 (2021; Zbl 1478.93186) Full Text: DOI Link
Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E. Modeling for supervisor synthesis – a lock-bridge combination case study. (English) Zbl 1448.93088 Discrete Event Dyn. Syst. 30, No. 3, 499-532 (2020). MSC: 93B50 93C65 68Q45 93C95 PDFBibTeX XMLCite \textit{F. F. H. Reijnen} et al., Discrete Event Dyn. Syst. 30, No. 3, 499--532 (2020; Zbl 1448.93088) Full Text: DOI
Forschelen, Stefan T. J.; van de Mortel-Fronczak, Joanna M.; Su, Rong; Rooda, Jacobus E. Application of supervisory control theory to theme park vehicles. (English) Zbl 1267.93002 Discrete Event Dyn. Syst. 22, No. 4, 511-540 (2012). MSC: 93A13 PDFBibTeX XMLCite \textit{S. T. J. Forschelen} et al., Discrete Event Dyn. Syst. 22, No. 4, 511--540 (2012; Zbl 1267.93002) Full Text: DOI