Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage and Jan Lunze
Submission Type: 
Full Paper
phmc_10_117.pdf154.87 KBSeptember 20, 2010 - 2:31am

This paper considers the consistency-based remote diagnosis of discrete-event systems, where the diagnostic task is decomposed into an on-board and an off-board task. The system to be diagnosed is modelled by a new type of timed automata possessing discrete inputs and outputs. Faults are modelled as parameters of the edges and invariants of the automata. A consistency-based diagnostic method is derived for this model class by extending a method developed for timed automata without inputs and outputs. This method can be used for fault detection on the on-board component and for fault identification on the off-board component of the remote diagnostic system. The results are illustrated by an example.

Publication Control Number: 
Submission Keywords: 
fault diagnosis
discrete-event systems
timed automata
communication network
remote diagnosis
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed