Login / Signup
Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control.
Ratnesh Kumar
Shengbing Jiang
Changyan Zhou
Wenbin Qiu
Published in:
IEEE Trans. Autom. Control. (2005)
Keyphrases
</>
discrete event systems
partially observed
discrete event
petri net
model based diagnosis
complex systems
telecommunication networks
failure diagnosis
timed petri nets
dynamic systems
control method
database
control system
situation calculus
response time
failure detection
mobile devices