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

|