Fault location by time analysis

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F05%3APU48683" target="_blank" >RIV/00216305:26220/05:PU48683 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Fault location by time analysis

Original language description

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

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JP - Industrial processes and processing

OECD FORD branch

—

Project

—

Continuities

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju<br>N - Vyzkumna aktivita podporovana z neverejnych zdroju

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings IESM05

ISBN

—

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

—

Publisher name

IESM'05

Place of publication

Marrakech, Marocco

Event location

Marrakech

Event date

May 16, 2005

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—