Title :
Constraint network representation of temporal relationship for model-based diagnosis
Author :
Rodriguez, Joaquin ; Piechowiak, Sylvain
Author_Institution :
INRETS-CRESTA, Villeneuve d´´Ascq, France
Abstract :
This paper shows an implementation of the model-based diagnosis theory. It focuses on the extensions of a constraint based modelling language to describe the temporal behaviour. The resulting diagnosis program is able to reason about time and has been applied to the diagnosis of electronic devices of automated guided transit systems
Keywords :
constraint handling; fault diagnosis; model-based reasoning; railways; temporal reasoning; automated guided transit systems; constraint based modelling language; constraint network representation; electronic devices; model-based diagnosis; temporal reasoning; temporal relationship; Constraint theory; Delay; Engines; Feedback; Inference mechanisms; Large Hadron Collider; Partial response channels; Transportation;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384904
