Lei Zhou 0027 Shaolong Shu Feng Lin 0001 Supervisory Control Of Discrete Event Systems Under Nondeterministic Observations. 4192-4197 2019 ECC https://doi.org/10.23919/ECC.2019.8796204 conf/eucc/2019 db/conf/eucc/eucc2019.html#ZhouS019