Rong Su 0001 Jan H. van Schuppen Jacobus E. Rooda Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. 1155-1160 2011 CDC/ECC https://doi.org/10.1109/CDC.2011.6160567 conf/cdc/2011 db/conf/cdc/cdc2011.html#SuSR11