Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Sander Thuijsman, Dennis Hendriks, Rolf Theunissen, Michel Reniers, Ramon Schiffelers

Journal title: 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)

Journal publisher: IEEE

Published year: 2019

Published pages: 486-493

DOI identifier: 10.1109/coase.2019.8843327

ISBN:978-1-7281-0356-3