Diagnosis of a dynamic hybrid system by hybrid timed automata

Diagnosis is a main requirement in the industrial. In this paper we focus on hybrid dynamic system. HDS combines continuous and discrete behaviors. The aim is the implementation of a fault diagnostic tool using hybrid automata. We focus in this part in modelisation. This approach is implemented on heating filling system.