Component diagnosability via directional resolution
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Component diagnosability via directional resolution
Original language description
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.
Czech name
Není k dispozici
Czech description
Není k dispozici
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Cybernetics and Systems 2006
ISBN
3-85206-172-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
767-772
Publisher name
Austrian Society for Cybernetics Studies
Place of publication
Vienna
Event location
Vienna
Event date
Apr 18, 2006
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—