Modelling and diagnosis of dynamic systems from timed observations

Abstract

International audienceThis paper proposes the use of the Timed Observation theory as a powerful framework for model-based diagnosis. In fact, this theory provides a global formalism for modelling a dynamic system (TOM4D), for characterizing and computing diagnoses of the system under investigation