Design of Automated Generation of Residual Generators for Diagnosis  of Dynamic Systems

Diagnosis and Supervision of technical systems is used to detect faults when they occur. To make a diagnosis, tests based on residuals can be used. Residuals are used to compare observations of the system with a model of the system, to detect inconsistencies. There are often many different types of faults which affects the state of the system. These states are modeled as fault modes. The difference between fault modes are the presence of faults in the model. For each fault mode a different set of model equations is used to describe the behaviour of the real system. When doing fault diagnosis in real time it is good, and sometimes vital, to be able to change fault mode of the model, when a fault suddenly occurs in the real system. If multiple faults can occur the number of combinations of faults is often so big, even for relatively small systems, that residuals for all fault modes can not be prepared. To handle this problem, the residuals are to be generated when they are needed. The main task in this thesis has been to investigate how residuals can be automatically generated, given a fault mode with a corresponding model. An algorithm has been developed and to verify the algorithm a model of a satellite power system, called ADAPT-Lite, has been used. The algorithm has been made in two versions. One is focusing on numerical calculations and the other is allowing algebraical calculations. A numerical algorithm is preferred in an automatized process because of generally shorter calculation times and the possibility to apply it to systems which can not be solved algebraically but the algebraical algorithm gives slightly more accurate results in some cases.Diagnos och övervakning av tekniska system används för att upptäcka fel när de inträffar. För att ställa en diagnos kan tester baserade på residualer användas. Residualer används för att jämföra observationer av ett system med en model av system för att upptäcka inkonsistens. Det finns ofta många typer av fel som påverkar ett systems tillstånd.Dessa tillstånd modelleras med olika felmoder. För varje felmod används olika uppsättningar av modellekvationer för att beskriva systemets beteende. När diagnoser ska ställas i realtid är det ofta bra och ibland avgörande att kunna byta felmod när ett fel plötsligt inträffar i systemet. Om multipelfel kan inträffa blir antalet kombinationer av fel ofta så stort att residualekvationerna för alla felmoder inte kan förberedas. Detta gäller även för relativt små system. För att hantera problemet bör residualerna kunna genereras vid den tidpunkt då de behövs. Examensarbetets huvuduppgift handlar om att undersöka hur residualerna kan genereras automatiskt, givet en felmod och en modell. En algoritm har utvecklats och verifierats med en model av ett kraftsystem för en satellit, kallad ADAPT-Lite. Algoritmen har gjorts i två versioner. Den ena tillåts göra algebraiska beräkningar men den andra, i så storutsträckning som möjligt, tillåts endast göra numeriska beräkningar. En numerisk algoritm föredras i en automatiserad process p.g.a. generellt sett kortare beräkningstid och dess egenskap att kunna lösa vissa problem som inte kan lösas algebraiskt. Den algebraiska algoritmen har dock visats sig ge aningen noggrannare resultat i många fall