Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

Lennart Swartjes, Michel A. Reniers, D. A. van Beek, Wan J. Fokkink. Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 14-21, IEEE, 2016. [doi]

Authors

Lennart Swartjes

This author has not been identified. Look up 'Lennart Swartjes' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google

D. A. van Beek

This author has not been identified. Look up 'D. A. van Beek' in Google

Wan J. Fokkink

This author has not been identified. Look up 'Wan J. Fokkink' in Google