Daniel Ciolek, Víctor A. Braberman, Nicolás D'Ippolito, Sebastián Uchitel. Directed Controller Synthesis of discrete event systems: Taming composition with heuristics. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 4764-4769, IEEE, 2016. [doi]
Abstract is missing.