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.
How to Cite
fault diagnosis, discrete-event systems, timed automata, communication network, remote diagnosis
(Alur and Dill, 1994) R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, volume 126:183–235, 1994.
(Blanke et al., 2006) M. Blanke, M.Kinnaert , J. Lunze, and M. Staroswiecki. Diagnosis and Fault-Tolerant Control. Springer Verlag, Heidelberg, 2006.
(Bouyer et al., 2005) P. Bouyer, F. Chevalier, and D. D’Souza. Fault diagnosis using timed automata. In V. Sassone, editor, Foundations of Software Science and Computational Structures, pages 219– 233. Springer, Berlin, 2005.
(Kaynar et al., 2003) D. K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager. Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems. In Proceedings of the 24th IEEE International Real-Time Systems Symposium, Cancun, 2003.
(Schlage and Lunze, 2009) T. Schlage and J. Lunze. Data communication reduction in remote diagnosis of discrete-event systems. In Proceedings of 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Barcelona, 2009.
(Schumann and Pencole ́, 2006) A. Schumann and Y.Pencole ́. Efficienton-line failure identification for discrete-event systems. In Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Beijing, 2006.
(Supavatanakul, 2004) P. Supavatanakul. Modelling and Diagnosis of Timed Discrete-Event Systems. Shaker, Aachen, 2004.
(Tripakis,2002) S.Tripakis.Faultdiagnosisfortimed automata. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 205–221. Springer, Berlin, 2002.
(Zhang and Ding, 2006) P. Zhang and S.X. Ding. Fault detection of networked control systems with limited communication. In Proceedings of the 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Beijing, 2006.
(Zhang et al., 2004) P. Zhang, S.X. Ding, P.M. Frank, and M. Sader. Fault detection of networked control systems with missing measurements. In Proceedings of the 5th Asian Control Conference, Mel- bourne, 2004.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.