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.