Detail publikace

Fault location by time analysis

KNOTEK, M.

Originální název

Fault location by time analysis

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova v angličtině

Diagnosability, Fault Diagnostic, Fault Location, Time Analysis, Timed Automata

Autoři

KNOTEK, M.

Rok RIV

2005

Vydáno

16. 5. 2005

Nakladatel

IESM'05

Místo

Marrakech, Marocco

Strany od

1

Strany do

10

Strany počet

10

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"
}