Discrete event control and fault detection and localization of a robotic system | IEEE Conference Publication | IEEE Xplore