15th Triennial World Congress of the International Federation of Automatic Control
  Barcelona, 21–26 July 2002 
DIAGNOSIS OF DISCRETE-EVENT SYSTEM DESCRIBED BY TIMED AUTOMATA
Jan Lunze* Peerasan Supavatanakul*
Ruhr-University Bochum,
Institute of Automation and Computer Control,
D-44780 Bochum, Germany

This paper presents the model-based diagnosis in the framework of discrete-event systems. Timed automata are used as a discrete-event representation which is suitable for consistency-based diagnosis. The diagnostic statement is based on the observation whether the measured event-time sequences are consistent with the timed automata. The diagnostic algorithm can be applied online because it determines the fault occurrence recursively for the measured event-time sequences. The result is applied to diagnose valve faults in a chemical process.
Keywords: discrete-event systems, modelling, timed automata, consistency-based diagnosis
Session slot T-We-M10: Fault Diagnosis of Actuator Systems/Area code 7e : Fault Detection, Supervision and Safety of Technical Processes