Elaboration du comportement dynamique d'un système pour le diagnostic des défaillances
Abstract
In this paper we propose an algorithm to automatically construct a communicating timed automaton, called behavior automaton, describing all possible behaviors of a process subject to failures on the actuators. Our approach uses a modular modeling: each component (controller, sensors and actuators) has been modeled separately and a set of causal rules describes the interactions between the actuators and sensors. The behavior automaton can be used to build a diag-noser of the process. We illustrate these concepts through a simple batch neutralization process.