Publication detail

Fault location by time analysis

KNOTEK, M.

Original Title

Fault location by time analysis

English Title

Fault location by time analysis

Type

conference paper

Language

en

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.

English 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.

RIV year

2005

Released

16.05.2005

Publisher

IESM'05

Location

Marrakech, Marocco

Pages from

1

Pages to

10

Pages count

10

BibTex


@inproceedings{BUT14377,
  author="Michal {Knotek}",
  title="Fault location by time analysis",
  annote="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.",
  address="IESM'05",
  booktitle="Proceedings IESM05",
  chapter="14377",
  institution="IESM'05",
  year="2005",
  month="may",
  pages="1",
  publisher="IESM'05",
  type="conference paper"
}