| Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications-上海交通大学电子信息与电气工程学院