Kaushik Mallik, Anne-Kathrin Schmuck. Supervisory controller synthesis for decomposable deterministic context free specification languages. 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 22-27, IEEE, 2016. [doi]
Abstract is missing.