|
|||||
|
|
Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem |
|
| Affiliation: | 1. University of Debrecen, Department of Landscape Protection and Environmental Geography, H-4010, Debrecen, Egyetem tér 1, P.O. Box 9, Hungary;2. University of Debrecen, Department of Physical Geography and Geoinformatics, Debrecen, Hungary;1. Federal Institute of Rio Grande do Norte - IFRN, Campus EaD, Av. Senador Salgado Filho 1559, Tirol, CEP: 59015-000, Natal, RN, Brazil;2. IFRN - Campus Natal Zona Norte, Rua Brusque 2926, Potengi, CEP 59112-490, Natal, RN, Brazil;3. Federal University of Rio Grande do Norte - UFRN, Department of Computer Engineering and Automation - DCA, Campus Universitrio, Lagoa Nova, CEP: 59078-900, Natal, RN, Brazil;4. Lancaster University, Data Science Group, School of Computing and Communications, Lancaster LA1 4WA, United Kingdom;5. Chair of Excellence, Carlos III University, Madrid, Spain |
| Abstract: | This paper concerns the problem of fault diagnosis in discrete-event systems which are represented by timed automata. The diagnostic algorithm for timed automata detects and identifies faults in the system based on the investigation whether the measured input and output sequences are consistent with the timed automaton. This diagnostic approach can be applied spontaneously to the discrete-event system since no a priori information about the initial state of the system is required. It is shown in the paper how the timed automaton which represents the DAMADICS actuator can be obtained and how the diagnostic algorithm based on the timed automaton is applied to detect and identify actuator faults. A representative diagnostic result is presented and discussed to illustrate the effectiveness of the method. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |