Sander Thuijsman

According to our database, Sander Thuijsman authored at least 11 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Correction to: Transformational supervisor synthesis for evolving systems.

Sander Thuijsman, Michel A. Reniers

Discret. Event Dyn. Syst., December, 2023

Transformational Supervisor Localization.

Sander Thuijsman, Kai Cai, Michel A. Reniers

IEEE Control. Syst. Lett., 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

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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Transformational supervisor synthesis for evolving systems.

Sander Thuijsman, Michel A. Reniers

Discret. Event Dyn. Syst., 2022

2021

Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis.

Sander Thuijsman, Michel A. Reniers, Dennis Hendriks

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020

Conversion of LSAT behavioral specifications to automata.

Sander Thuijsman, Michel A. Reniers

CoRR, 2020

Supervisory Control for Dynamic Feature Configuration in Product Lines.

Michel A. Reniers, Sander Thuijsman

Proceedings of the Forum for Specification and Design Languages, 2020

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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

Proceedings of the 2019 American Control Conference, 2019

2018

Synthesis of Successful Actuator Attackers on Supervisors.

Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers

CoRR, 2018