Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis

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, Michel Reniers, Dennis Hendriks

Journal title: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE)

Journal publisher: IEEE

Published year: 2021

Published pages: 777-783

DOI identifier: 10.1109/case49439.2021.9551593

ISBN:978-1-6654-1873-7