• 1 Citations
20192019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 1 Citations
  • 2 Conference contribution
Filter
Conference contribution

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. 8843327

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
42 Downloads (Pure)

Synthesis of supremal successful normal actuator attackers on normal supervisors

Lin, L., Thuijsman, S., Zhu, Y., Ware, S., Su, R. & Reniers, M., 1 Jul 2019, 2019 American Control Conference, ACC 2019. Piscataway: Institute of Electrical and Electronics Engineers, p. 5614-5619 6 p. 8814712

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)