Hybrid Automaton Incremental Construction for Online Diagnosis

Abstract

This paper proposes a method to track the system mode and diagnose a hybrid system without building an entire diagnoser off-line. The method is supported by a hybrid automaton model that represents the hybrid system continuous and discrete behavioral dynamics. Diagnosis is performed by interpreting the events and measurements issued by the physical system directly on the hybrid automaton model. This interpretation leads to building the useful parts of the diagnoser incrementally, developing only the branches that are required to explain the occurrence of the incoming events. The resulting diagnoser adapts to the system operational life and is much less demanding in terms of memory storage. The proposed framework subsumes previous works in that it copes with both structural and non-structural faults. The method is validated on an application case study based on the sewer network of the Barcelona city.