Diagnosing systems modeled with piecewise linear constraints

Most approaches to model-based diagnosis use incomplete constraint satisfaction techniques and are therefore incomplete. It is shown here how diagnostics may be considered as a general constraint satisfaction problem. Provided the system to be repaired is modeled with piecewise linear constraints on...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Beringer, H., De Backer, B.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!