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.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
Conversion of LSAT behavioral specifications to automata
Thuijsman, S. B. & Reniers, M. A., 9 Nov 2020, arXiv.org. 10 p.Research output: Book/Report › Report › Academic
Open AccessFile19 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, 15th IFAC Workshop on Discrete Event Systems. Rio de Janeiro, BrazilResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile25 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). Kiel, Germany: Institute of Electrical and Electronics Engineers, 8 p. 9232937Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Transformational Supervisor Synthesis for Evolving Systems
Thuijsman, S. B. & Reniers, M. A., 9 Nov 2020, 15th IFAC Workshop on Discrete Event Systems. Rio de Janeiro, Brazil, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile5 Downloads (Pure) -
Computational effort of BDD-based supervisor synthesis of extended finite automata
Thuijsman, S., Hendriks, D., Theunissen, R. J. M., Reniers, M. & Schiffelers, R., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 486-493 8 p. 8843327Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)50 Downloads (Pure)
Student theses
-
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. (External coach)
Student thesis: Master
File