liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Generalization of the GDE Minimal Hitting-Set Algorithm to Handle Behavioral Modes
Linköping University, Department of Electrical Engineering, Vehicular Systems. Linköping University, The Institute of Technology.
2006 (English)Conference paper (Refereed)
Abstract [en]

A Generalization of the GDE Minimal Hitting-Set Algorithm to Handle Behavioral Modes Mattias Nyberg A generalization of the minimal hitting-set algorithm given by deKleer and Williams is presented. The original algorithm handles only one faulty mode per component and only positive conflicts. In contrast, the new algorithm presented here handles more than two modes per component and also non-positive conflicts. The algorithm computes a logical formula that characterizes all diagnoses. Instead of minimal diagnoses, or kernel diagnoses, some specific conjunctions in the logical formula are used to characterize the diagnoses. These conjunctions are a generalization of both minimal and kernel diagnoses. From the logical formulas, it is also easy to derive the set of preferred diagnoses.

Place, publisher, year, edition, pages
2006.
Keyword [en]
Diagnosis
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:liu:diva-138079OAI: oai:DiVA.org:liu-138079DiVA: diva2:1106701
Conference
17th International Workshop on Principles of Diagnosis (DX-06)
Available from: 2017-06-08 Created: 2017-06-08 Last updated: 2017-06-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Link to publication

Search in DiVA

By author/editor
Nyberg, Mattias
By organisation
Vehicular SystemsThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

Total: 6 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf