Robust fault detection and isolation of nonlinear systems with augmented state models

Model-based fault detection and isolation (FDI) is one of the most important fields in system theory and automation. Roughly speaking, FDI aims at finding and backtracking discrepancies between a system's observed behavior (described by its measurements) and its expected behavior (described by its model). Whenever the model used is uncertain, which means that it does not match the real process accurately, the FDI problem becomes particularly challenging. In practical applications, uncertain system representations are not unusual and thus, incorrect fault detection and false diagnosis can only be prevented, if employed FDI algorithms are robust against model uncertainties. This thesis presents novel modeling, analysis, and synthesis concepts for the robust FDI of nonlinear systems in a discrete-time representation. In the modeling section, a new formalism for the representation of nonlinear systems subject to faults is introduced. The presented model allows the description of a particularly wide class of faulty systems and moves the problems of fault diagnosis and state estimation close together, which would otherwise be different. By exploiting this relationship, novel conditions for linear and nonlinear fault-detectability and -isolability analysis are provided. The proposed conditions are based on well-known observability definitions and can thus be verified by means of established methods from the field of observability analysis. On the basis of the proposed model, the nominal and the Gaussian noisy fault diagnosis problem are expressed as an optimal hybrid state estimation problem. The use of sub-optimal solutions is discussed and illustrated by means of a practical example. In order to cope with uncertain problem formulations including plant-model-mismatch and unanticipated faults, the suggested modeling formalism is modified. Disturbances, modeling uncertainties, and measurement noise are characterized using unknown-but-bounded exogenous inputs. The unknown-but-bounded uncertainty representation proves to be exceptionally practicable, since no specific and difficult assumptions about the uncertainties have to be met a priori. On the other hand, unforeseen plant operations that are not captured by the model, e.g. unanticipated faults and unexpectedly large disturbances, are lumped in an unknown mode of operation. Based on the resulting uncertain model, a robust FDI algorithm is developed that is capable of diagnosing permanent and intermittent faults and furthermore is able to detect unknown modes of operation. Robust fault-detection and -isolation conditions are derived, by which the suggested algorithm is guaranteed to determine a meaningful and unique result. The fault diagnosis methods proposed in this thesis are expressed as algorithms that can be directly implemented and processed in a reasonable time. Several detailed examples, including the three-tank benchmark with unknown-but-bounded modeling uncertainties, demonstrate the properties and the applicability of the proposed methods. Die modellbasierte Fehlerdetektion und -isolation (FDI) ist ein vielversprechendes Forschungsgebiet in der modernen Systemtheorie und Automatisierungstechnik. Im Wesentlichen bezweckt die FDI, Abweichungen zwischen dem tatsachlich beobachteten Verhalten eines Systems (beschrieben durch die Messgrosen des Systems) und dem erwarteten Verhalten eines Systems (beschrieben durch das Modell des Systems) zu erkennen und zu deren Ursachen zuruckzuverfolgen. Besonders herausfordernd gestaltet sich diese Aufgabe wenn das hierzu herangezogene Modell den tatsachlichen Prozess nur ungenau beschreibt, d.h. wenn das verwendete Modell unsicher ist. Als Folge solcher Modellunsicherheiten ergeben sich in praktischen Anwendungen oftmals inkorrekte Fehlerdetektionen und Fehldiagnosen, welche nur durch den Einsatz robuster FDI-Algorithmen vermieden werden konnen. Diese Arbeit stellt neue Methoden zur Modellierung und zur Analyse potentiell fehlerhafter Systeme bereit. Daruber hinaus werden neue Verfahren zu einem Entwurf robuster FDI-Algorithmen bereitgestellt. In allen Fallen werden dabei nichtlineare Systeme in zeitdiskreter Zustandsform betrachtet. Im Modellierungsteil wird ein neuer Formalismus zu einer modelltechnischen Beschreibung potentiell fehlerhafter, nichtlinearer Systeme bereitgestellt. Der vorgeschlagene Modelltyp ermoglicht die Beschreibung einer weitreichenden Klasse praktischer Diagnoseprobleme und erlaubt eine gemeinsame Betrachtung der ansonsten verschiedenen Problemstellungen der Zustandsschatzung und der Fehlerdiagnose. Auf dieser gemeinsamen Basis werden, unter der Verwendung bekannter Beobachtbarkeitsdefinitionen, neue Bedingungen zu einer Fehlerdetektierbarkeit und -isolierbarkeit nichtlinearer Systeme hergeleitet. Deren praktische Verifizierung ist mit Hilfe etablierter Methoden aus der Beobachtbarkeitsanalyse moglich. Anhand des vorgeschlagenen Modelltyps werden das nominelle und das mit weisem Rauschen behaftete Diagnoseproblem als optimales hybrides Zustandsschatzproblem ausgedruckt. Anhand eines praktischen Beispiels werden sub-optimale Losungen dieses Problems diskutiert und veranschaulicht. Um praktischen Problemstellungen zu begegnen, bei welchen im Allgemeinen lediglich auf unsichere modelltechnische Beschreibung eines Systems zuruckgegriffen werden kann, wird der vorgeschlagene Modellansatz erweitert. Storgrosen, Modellungenauigkeiten und Messrauschen werden anhand unbekannter, aber begrenzter exogener Eingangssignale ausgedruckt. Diese Form der Unsicherheitsbeschreibung erweist sich als besonders praktikabel, da vorab keine detaillierten und schwierig zu treffenden Annahmen bezuglich der zeitlichen Entwicklung moglicher Modellunsicherheiten zu treffen sind. Des Weiteren werden unvorhergesehene und somit im Modell vernachlassigte qualitative Betriebszustande des Systems, wie beispielsweise nicht vorhergesehene Fehlerkandidaten oder unerwartet hohe Storgrosen, in Form eines unbekannten Betriebsmodus berucksichtigt. Auf der Basis dieses unsicheren Modells wird ein robuster FDI-Algorithmus entwickelt, der sowohl zu einer Detektion und Isolation andauernder als auch intermittierender Fehler einsetzbar ist und daruber hinaus die Separation unbekannter Betriebszustande erlaubt. Praktisch nachweisbare Bedingungen zu einer robusten Fehlerdetektion und -isolation vervollstandigen dieses Ergebnis insofern, als dass ein positiver Nachweis der Bedingungen, die Robustheit und Nicht-Trivialitat der berechneten Diagnose garantiert. Die in dieser Arbeit bereitgestellten Diagnosemethoden sind als direkt implementierbare und recheneffiziente Algorithmen ausformuliert. Deren praktische Anwendung und Eigenschaften werden anhand von mehreren detaillierten Beispielen, wie dem bekannten Drei-Tank-Benchmark unter der Betrachtung realistischer Modellunsicherheiten, veranschaulicht.