| Synthesis of supremal successful normal actuator attackers on normal supervisors L Lin, S Thuijsman, Y Zhu, S Ware, R Su, M Reniers 2019 American Control Conference (ACC), 5614-5619, 2019 | 33 | 2019 |
| Computational effort of BDD-based supervisor synthesis of extended finite automata S Thuijsman, D Hendriks, R Theunissen, M Reniers, R Schiffelers 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 13 | 2019 |
| Synthesis of successful actuator attackers on supervisors L Lin, S Thuijsman, Y Zhu, S Ware, R Su, M Reniers arXiv preprint arXiv:1807.06720, 2018 | 10 | 2018 |
| 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 | 8 | 2023 |
| Transformational supervisor synthesis for evolving systems S Thuijsman, M Reniers Discrete Event Dynamic Systems 32 (2), 317-358, 2022 | 5 | 2022 |
| Transformational supervisor synthesis for evolving systems S Thuijsman, M Reniers IFAC-PapersOnLine 53 (4), 309-316, 2020 | 5 | 2020 |
| Supervisory control for dynamic feature configuration in product lines M Reniers, S Thuijsman 2020 Forum for Specification and Design Languages (FDL), 1-8, 2020 | 3 | 2020 |
| Supervisory control for dynamic feature configuration in product lines S Thuijsman, M Reniers ACM Transactions on Embedded Computing Systems, 2023 | 2 | 2023 |
| Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis S Thuijsman, M Reniers, D Hendriks 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 2 | 2021 |
| Conversion of LSAT behavioral specifications to automata S Thuijsman, M Reniers arXiv preprint arXiv:2011.03249, 2020 | 2 | 2020 |
| DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis S Lousberg, S Thuijsman, M Reniers IFAC-PapersOnLine 53 (4), 429-436, 2020 | 2 | 2020 |
| Transformational nonblocking verification S Thuijsman, M Reniers, K Cai IFAC-PapersOnLine 55 (28), 256-263, 2022 | 1 | 2022 |
| Correction to: Transformational supervisor synthesis for evolving systems S Thuijsman, M Reniers Discrete Event Dynamic Systems 33 (4), 509-513, 2023 | | 2023 |
| Efficient engineering of supervisory controllers SB Thuijsman | | 2023 |
| Transformational Supervisor Localization S Thuijsman, K Cai, M Reniers IEEE Control Systems Letters, 2023 | | 2023 |
| Tool interoperability for model-based systems engineering S Thuijsman, G Kahraman, A Mohamadkhani, F Timmers, L Cleophas, ... arXiv preprint arXiv:2302.03503, 2023 | | 2023 |
