Synthesis of Successful Actuator Attackers on Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (CoRR, 2018)

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors. - Liyong Lin; Sander Thuijsman; Yuting Zhu; Simon Ware; Rong Su 001; Michel A. Reniers (ACC, 2019)

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. - Sander Thuijsman; Dennis Hendriks; Rolf J. M. Theunissen; Michel A. Reniers; Ramon R. H. Schiffelers (CASE, 2019)

Conversion of LSAT behavioral specifications to automata. - Sander Thuijsman; Michel A. Reniers (CoRR, 2020)

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis. - Sander Thuijsman; Michel A. Reniers; Dennis Hendriks (CASE, 2021)

Transformational supervisor synthesis for evolving systems. - Sander Thuijsman; Michel A. Reniers (Discret. Event Dyn. Syst., 2022)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)

Tool interoperability for model-based systems engineering. - Sander Thuijsman; Gökhan Kahraman; Alireza Mohamadkhani; Ferry Timmers; Loek Cleophas; Marc Geilen; Jan Friso Groote; Michel A. Reniers; Ramon R. H. Schiffelers; Jeroen Voeten (CoRR, 2023)

Transformational Supervisor Localization. - Sander Thuijsman; Kai Cai; Michel A. Reniers (IEEE Control. Syst. Lett., 2023)

Correction to: Transformational supervisor synthesis for evolving systems. - Sander Thuijsman; Michel A. Reniers (Discret. Event Dyn. Syst., 2023)

Supervisory Control for Dynamic Feature Configuration in Product Lines. - Sander Thuijsman; Michel A. Reniers (ACM Trans. Embed. Comput. Syst., 2024)

Reducing the computational effort of symbolic supervisor synthesis. - Sander Thuijsman; Dennis Hendriks; Michel A. Reniers (Discret. Event Dyn. Syst., 2024)