On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems

This paper addresses the diagnosis of hybrid systems switching between operating modes that undergo saturation behaviors. It proposes to generate non-linear parameterized ARRs, and to account for all regions of linear behavior, i.e. nominal, faulty and saturation regions, with automata representing the transitions between them at the level of each component. The parameters appearing in the ARRs are then provided by the states of the synchronized component automata and the ARRs needed to track the system mode are instantiated and checked on the fly, then reducing dramatically the required memory space and computation time. The proposed mode tracking algorithm has been tested on the Attitude Control System (ACS) of an industrial telecommunication satellite.