Modeling and Diagnosis Characterization using Timed Observation Theory.

In this paper we propose using Timed Observation Theory as a powerful framework for model-based diagnosis. It provides a global formalism for modeling a dynamic tool (TOM4D) designed to characterize and compute diagnoses of a structure under investigation