Discrete event control under nondeterministic partial observation - Xu, S.; Kumar, R. (2009 IEEE International Conference on Automation Science and Engineering, 2009)
Keywords: Automata; Automatic control; Automation; automaton; Controllability; Discrete event systems; nondeterministic partial observation; Observability; Reliability engineering; Safety; Sensor systems; Sufficient conditions; supervisory control