Fault location by time analysis

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Fault location by time analysis
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Fault location by time analysis
Popis výsledku anglicky
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.

Projekt
—
Návaznosti
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju<br>N - Vyzkumna aktivita podporovana z neverejnych zdroju

Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)