Title :
Timed residuals for fault detection and isolation in discrete event systems
Author :
Schneider, Stefan ; Litz, Lothar ; Danancher, Mickaël
Author_Institution :
Inst. of Autom. Control, Univ. of Kaiserslautern, Kaiserslautern, Germany
Abstract :
In this paper a new attempt for fault detection and isolation in discrete event systems is proposed. An identified model constitutes a timed observer of the fault-free system behavior. Non-acceptable plant operation is detected by comparing the behavior of the model with the observed system output. For fault isolation, timed residuals and generic fault symptoms - early and late events - are introduced. Time bounds are composed using Boolean conditions and statistical analysis. In case of a fault, timed and untimed residuals are concluded in order to refine a set of potential faulty candidates. The method is applied to the given benchmark system of a virtual production plant with an external controller.
Keywords :
Boolean algebra; automata theory; discrete event systems; fault diagnosis; industrial plants; observers; statistical analysis; virtual manufacturing; Boolean condition; controller; discrete event system; fault detection; fault isolation; fault symptoms; fault-free system behavior; nonacceptable plant operation; statistical analysis; time bounds; timed automata; timed observer; timed residual; virtual production plant; Automata; Benchmark testing; Biological system modeling; Clocks; Fault detection; Production; System recovery; Discrete Event System; Timed Automata; Timed Residuals;
Conference_Titel :
Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on
Conference_Location :
Saarbrucken
Print_ISBN :
978-1-4244-8969-5
DOI :
10.1109/DCDS.2011.5970315