Remote Diagnosis of Timed I/O-Automata

##plugins.themes.bootstrap3.article.main##

##plugins.themes.bootstrap3.article.sidebar##

Thorsten Schlage Jan Lunze

Abstract

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

Schlage, T. ., & Lunze, J. . (2010). Remote Diagnosis of Timed I/O-Automata. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1926
Abstract 3 | PDF Downloads 1

##plugins.themes.bootstrap3.article.details##

Keywords

fault diagnosis, discrete-event systems, timed automata, communication network, remote diagnosis

References
(Al-Salami et al., 2008) I. M. Al-Salami, S. X. Ding, and P. Zhang. Fault detection system design for networked control system with stochastically vary- ing transmission delays. In Proceedings of the 17th World Congress The International Federation of Automatic Control, Seoul, 2008.

(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.
Section
Poster Presentations