Sander Thuijsman

15 papers C 2Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Reducing the computational effort of symbolic supervisor synthesis.
Discret. Event Dyn. Syst.
Sander Thuijsman, Dennis Hendriks, Michel A. Reniers
2024 J jnl
Supervisory Control for Dynamic Feature Configuration in Product Lines.
ACM Trans. Embed. Comput. Syst.
Sander Thuijsman, Michel A. Reniers
2023 J jnl
Correction to: Transformational supervisor synthesis for evolving systems.
Discret. Event Dyn. Syst.
Sander Thuijsman, Michel A. Reniers
2023 — conf
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.
TACAS (2)
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
2023 J jnl
Tool interoperability for model-based systems engineering.
CoRR
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
2023 J jnl
Transformational Supervisor Localization.
CoRR
Sander Thuijsman, Kai Cai, Michel A. Reniers
2023 J jnl
Transformational Supervisor Localization.
IEEE Control. Syst. Lett.
Sander Thuijsman, Kai Cai, Michel A. Reniers
2022 J jnl
Supervisory Control for Dynamic Feature Configuration in Product Lines.
CoRR
Sander Thuijsman, Michel A. Reniers
2022 J jnl
Transformational supervisor synthesis for evolving systems.
Discret. Event Dyn. Syst.
Sander Thuijsman, Michel A. Reniers
2021 — conf
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis.
CASE
Sander Thuijsman, Michel A. Reniers, Dennis Hendriks
2020 J jnl
Conversion of LSAT behavioral specifications to automata.
CoRR
Sander Thuijsman, Michel A. Reniers
2020 C conf
Supervisory Control for Dynamic Feature Configuration in Product Lines.
FDL
Michel A. Reniers, Sander Thuijsman
2019 — conf
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata.
CASE
Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
2019 C conf
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors.
ACC
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers
2018 J jnl
Synthesis of Successful Actuator Attackers on Supervisors.
CoRR
Liyong Lin, Sander Thuijsman, Yuting Zhu, Simon Ware, Rong Su, Michel A. Reniers