Přístupnostní navigace
E-application
Search Search Close
Publication detail
KNOTEK, M.
Original Title
Fault location by time analysis
Type
conference paper
Language
English
Original Abstract
This paper deals with the fault location and identification. For a given system, we assume that fault detection is produced by an alarm implemented in the plant. The aim is to solve the fault location by using the time of fault occurrence. Fault location is solved with the timed model (timed automata). The timed automata are dened with several proposed properties. The diagnostics is based on model-checking technique using time analysis of the timed model. This paper gives the method to construct the timed model and details the different steps used to obtain the diagnostic path in the timed automaton.
Key words in English
Diagnosability, Fault Diagnostic, Fault Location, Time Analysis, Timed Automata
Authors
RIV year
2005
Released
16. 5. 2005
Publisher
IESM'05
Location
Marrakech, Marocco
Pages from
1
Pages to
10
Pages count
BibTex
@inproceedings{BUT14377, author="Michal {Knotek}", title="Fault location by time analysis", booktitle="Proceedings IESM05", year="2005", pages="10", publisher="IESM'05", address="Marrakech, Marocco" }