Set-membership functional diagnosability through linear functional independence

International audienceBefore a system is put into operation and eventually diagnosed, diagnosability analysis is an important stage. Diagnosability indeed guarantees that the sensored values delivered by the available instrumentation can be processed into an appropriate set of symptoms allowing to discriminate a reasonable set of faulty situations. A fault is considered as an additional parameter that impacts the behavior of some components of the system. Its effects may be linear or non-linear. Functional diagnosability, introduced in [1], and extended to set-membership (SM) functional diagnosability in [2] was analyzed through parameter identifiability. In the proposed work, SM-functional diagnosability is assessed from the linear independence of SM-functional fault signatures, which results in a much more direct test. [1] N. Verdière, C. Jauberthie, L. Travé-Massuyès, Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations, Journal of Process Control, Vol. 35, pp. 1-10, 2015.[2] C. Jauberthie, N. Verdière, L. Travé-Massuyès, Set-Membership diagnosability: definitions and analysis, In Proceedings of International Conference on Control and Fault-Tolerant Systems, 6 pages, Barcelona, Spain, 2016