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

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2019 2019

  • 2 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., 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering. Piscataway: Institute of Electrical and Electronics Engineers, p. 486-493 8 p.

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

Open Access
File
Binary decision diagrams
Supervisory personnel
Finite automata
Clocks
Experiments

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

Supervisory personnel
Actuators
Closed loop systems
Discrete event simulation