Research output per year
Research output per year
Fingerprint
Dive into the research topics where Sander B. Thuijsman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Transformational supervisor synthesis for evolving systems
Thuijsman, S. & Reniers, M., Jun 2022, In: Discrete Event Dynamic Systems: Theory and Applications. 32, 2, p. 317-358 42 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis
Thuijsman, S. B., Reniers, M. A. & Hendriks, D., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering, CASE 2021. Institute of Electrical and Electronics Engineers, p. 777-783 7 p. 9551593Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile24 Downloads (Pure) -
Conversion of LSAT behavioral specifications to automata
Thuijsman, S. B. & Reniers, M. A., 6 Nov 2020, In: arXiv. 2020, 10 p., 2011.03249.Research output: Contribution to journal › Article › Academic
Open AccessFile67 Downloads (Pure) -
DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis
Lousberg, S. A. J., Thuijsman, S. B. & Reniers, M. A., 9 Nov 2020, In: IFAC-PapersOnLine. 53, 4, p. 429-436 8 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open AccessFile1 Citation (Scopus)44 Downloads (Pure) -
Supervisory Control for Dynamic Feature Configuration in Product Lines
Reniers, M. A. & Thuijsman, S. B., 3 Nov 2020, 2020 Forum for Specification and Design Languages (FDL). Institute of Electrical and Electronics Engineers, 8 p. 9232937Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)25 Downloads (Pure)
Thesis
-
Computational effort of BDD-based supervisor synthesis of extended finite automata
Author: Thuijsman, S. B., 15 Apr 2019Supervisor: Reniers, M. A. (Supervisor 1) & Schiffelers, R. R. H. (External coach)
Student thesis: Master
File