Není k dispozici

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F06%3A03125982" target="_blank" >RIV/68407700:21230/06:03125982 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Component diagnosability via directional resolution

Popis výsledku v původním jazyce

Model-based diagnostics deals with diagnosing systems, it means determining health of system components based on a system description and an observation of system variables. This paper focuses on diagnosis of single components whose port behavior can bedescribed in propositional logic. Depending on the observation conditions, diagnosis of a component may not be always possible. To avoid vain computation of diagnosis that is empty on principle, these conditions should be detected. An algorithm decidingcomponent diagnosability for given observation conditions is proposed, which is based on directional resolution. A proof of the method is outlined and its applicability is demonstrated on a simple problem.

Název v anglickém jazyce

Component diagnosability via directional resolution

Popis výsledku anglicky

Model-based diagnostics deals with diagnosing systems, it means determining health of system components based on a system description and an observation of system variables. This paper focuses on diagnosis of single components whose port behavior can bedescribed in propositional logic. Depending on the observation conditions, diagnosis of a component may not be always possible. To avoid vain computation of diagnosis that is empty on principle, these conditions should be detected. An algorithm decidingcomponent diagnosability for given observation conditions is proposed, which is based on directional resolution. A proof of the method is outlined and its applicability is demonstrated on a simple problem.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2006

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ů

Název statě ve sborníku

Cybernetics and Systems 2006

ISBN

3-85206-172-5

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

767-772

Název nakladatele

Austrian Society for Cybernetics Studies

Místo vydání

Vienna

Místo konání akce

Vienna

Datum konání akce

18. 4. 2006

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—