Lärare i kursen TSFS6 Diagnos och övervakning, 6hp Föreläsning - Kursformalia och introduktion Erik Frisk Institutionen för systemteknik Linköpings universitet erik.frisk@liu.se Kursansvarig/lektion: Erik Frisk erik.frisk@liu.se Lektion/laboration: Sergii Voronov sergii.voronov@liu.se Laboration: Pavel Anistratov pavel.anistratov@liu.se http://www.fs.isy.liu.se/edu/courses/tsfs6/ 9-3- Denna föreläsning - disposition Kursformalia Industriell motivering 3 Vad är diagnos? Krama ut så mycket information om felaktigt beteende som möjligt ur observationerna via signalbehandling, matematiska modeller, samt logiskt beslutsfattande. Skissa på hur man gör/tänker Arkitekturen för diagnossystem 6 Hur ser designprocessen ut för ett diagnossystem? Kursformalia vilken typ av kurs är det här: teori, forskningsfront, praktik/industriell relevans flera ämnen: statistik, sannolikhetslära, signalbehandling, reglerteknik, logik 3
Mål med kursen veta varför diagnos används inom olika industriella applikationer. veta hur man kan analysera vilka fel i en komplex process som behöver övervakas för att uppnå de övergripande målen. från en fallbeskrivning kunna strukturera problemet och ta fram princip och arkitektur för en komplett implementering av ett diagnossystem. givet en formell modellbeskrivning kunna välja lämplig matematisk metod för att lösa problemet. veta för- och nackdelar med de metoder som ingår i kursen. kunna tillämpa matematiska verktyg och metoder från ett brett spektrum av tidigare kurser för att lösa diagnosproblem. kunna värdera och verifiera funktionalitet och prestanda hos ett diagnossystem. ha en fördjupad och bred teoretisk insikt i ämnet, tillräcklig för att kunna tillgodogöra sig nya forskningsresultat i fältet. Föreläsningsplan Fö: Kursformalia, introduktion till diagnos Fö: Felisolering Fö3: Linjär residualgenerering Fö: Detekterbarhet Fö: Design av teststorheter Fö6: Tröskling och analys av teststorheter Fö7: Olinjär residualgenerering och observatörer Fö8: Change Detection, säkerhetsarbete med FMEA/FTA Fö9: Multipelfelisolering, AI Fö: Sannolikhetsbaserad diagnos Fö: Gästföreläsning + ev. vetenskaplig presentation 6 Gästföreläsare Kursformalia 9? 8 Scania 7 Forskningspresentation 6 Saab Aerosystems Forskningspresentation Volvo Cars 3 Volvo Cars Saab Aerosystems Scania Saab Automobile Powertrain 9 Saab Aerosystems 8 Siemens Industrial Turbomachinery 7 ABB Corporate Research 6 Sörman Information and Media ABB Corporate Research Saab Aerosystems 3 Scania Scania Kursmaterial: Kompendium, räknehäfte samt utdrag ur två böcker. Finns även en del hjälpdokument inför laborationer att ladda ned från kurshemsidan. Elektroniska versioner: Text och lektionskompendium (PDF) kan laddas hem elektroniskt. Föreläsningar. Lektioner/räkneövningar: lektionsgrupp Laborationer: 3 laborationer ( rapporter/ examineras på plats). Lab - Linjär residualgenerering (/, dugga 8 /) Lab - Diagnos av ett bränslesystem (/, rapport 3/) 3 Lab 3 - Olinjär residualgenerering (6/, rapport 3/) Alla rapporter lämnas in elektroniskt via epost till laborationsansvarig. Examination: Tenta (U,3,,),hp Labkurs (U,G),hp (två personer/grupp) 7 8
Lite industriella motiveringar för diagnos Industriell motivering till diagnos 9 Kostnadskalkyler
Miljö vattenläckage En stor del av världens dricksvatten går förlorat på grund av vattenläckage 3 Genom att snabbt lokalisera läckor går det att minska förlusterna, men också minska riskarna för annan skada, exempelvis slukhål. Diagnos, data analytics Varför diagnos i fordon?.+ Huvudsakliga drivande kraften är emissionsrelaterade lagkrav OBD - On-board diagnostics OBD/OBD-II Carb (California Air Resource Board) http://www.arb.ca.gov/msprog/obdprog/obdregs.htm EOBD för Europa Motsvarande för tunga fordon 6
Information AB. All rights reserved. Konsekvenser av (kraftig) misständning (misfire) / Konsekvenser av (kraftig) misständning (misfire) / bild från http://www.pawlikautomotive.com/ 7 bild från http://www.pawlikautomotive.com/ 8 e Information Problem Varför diagnos i fordon? Modellbaserad diagnos - bakgrund 9
Akademiskt mycket aktivt fält Lite olika perspektiv på diagnos och övervakning Scopus-fråga: fault AND (diagnosis OR detection) (7)(9) Modellbaserad diagnos Verkstad Diagnos off-line Funktionsövervakning Expertsystem Vibrationsanalys Diagnos on-line Prognostik Feltolerant reglering Flera olika perspektiv/tillämpningar möjliga Delvis överlappande Man kan tänka sig fler/andra ringar och närbesläktade ord Här: Främst modellbaserat med kontinuerliga modeller Generella diagnosprinciper Jämför observerat beteende med förväntat beteende Traditionellt: bilmekaniker/expert som lyssnar, känner, använder historiska erfarenheter Modellbaserad diagnos: fånga dessa egenskaper i en matematisk fomrulering för att automatisera diagnostiken faults f(t) actuators u(t) System Model ẋ = g(x, u) y = h(x, u) observation y(t) prediction ŷ(t) + residual r(t).. 3 3 Varför diagnos? Säkerhet Flyg, kärnkraftverk,... Miljöskydd Avgasreningssystem i bilar (lagkrav), kemisk industri,... Maskinskydd Hitta fel så tidigt som möjligt innan större skada utvecklats Tillgänglighet och flexibelt underhåll Undvik oförutsedda avbrott. Industrirobotar, lastbilar, elkraftverk Varför nu? Lagkrav Snabba utvecklingen av datortekniken, processorkraft över till diagnos. Konstruktion av system vs. komponenter Integrerade system 3
Ett svårt problem Något som ofta görs efteråt, i mån av tid, vill man nu göra parallellt med övrig konstruktion. Konstruktion för diagnos (ex.vis sensorplacering, val av sensorer etc.) En ansenlig del av styrsystemskoden kan vara diagnoskod. I till exempel bilsammanhang så är en siffra som ibland nämns % av koden i styrenheten diagnosrelaterad. Vid utveckling av en produkt så har man normalt mycket kunskap om processen som skulle kunna användas för övervakning. Men hur? Metodik krävs för att kunna göra detta effektivt. Diagnosproblemet 6 Begrepp att kunna Diagnos Diagnosproblemet Observation Mod/fel Diagnos Diagnossystem I systemtekniska sammanhang betyder verbet diagnos att automatiskt, och helst under normal drift, detektera fel, dvs upptäcka att något hänt. (ibland)isolera fel, dvs peka ut vilken komponent som är trasig. 7 8
Diagnosproblemet - Lite mer formellt. Diagnosproblemet - Lite mer formellt. control inputs control inputs disturbances faults Plant observations Diagnosis System diagnosis statement disturbances faults Plant observations Diagnosis System diagnosis statement Systemet kan vara i olika moder, dvs vara felfri eller ha olika möjliga fel. För att avgöra hur systemet mår används kända styrsignaler och mätsignaler en så kallad observation. Diagnos En förklaring, dvs de moder/fel, som stämmer med de observerade signalerna kallas för en diagnos. Ex: Vi observerar att personen är snuvig, då är förkyld en diagnos och allergisk en annan diagnos. Det finns ofta flera möjliga diagnoser. 9 Diagnosproblemet Givet en observation: Hitta alla diagnoser alla diagnoser = f (observation) Kontrollerat beslutsfattande: gissningar kan vara alltför riskfyllt. Varianter: hitta de mest sannolika/enklaste diagnoserna. Ett system som realiserar funktionen f är ett diagnossystem. Genom att inkludera tillräckligt mycket kunskap om systemet i f kan detektion och isolation uppnås. 3 Exemplifiering av diagnosproblemet B Möjliga fel: Strömbrytaren fastnar i öppet läge, fastnar i stängt läge, och trasig lampa. Insignal: Önskat läge hos strömbrytaren {öppen, stängd} Observationer: önskat läge hos strömbrytaren, lyser lampan eller inte S L Exemplifiering av diagnosproblemet, forts önskad position lamp- diagnoser hos observation strömbrytare öppen ej tänd OK, S fastnat öppen, L trasig, S fastnat öppen och L trasig, S fastnat sluten och L trasig öppen tänd S fastnat sluten stängd ej tänd S fastnat öppen, L trasig, S fastnat öppen och L trasig, S fastnat sluten och L trasig stängd tänd OK, S fastnat sluten Ovanstående tabell representerar ett enkelt diagnossystem. diagnoser = f (observationer) 3 3
Exemplifiering av diagnosproblemet, forts Vad blir svaret av: <öppen, ej tänd> samt <stängd, ej tänd>? Hur gör vi i mer komplicerade fall? Obs Bara för att ett system uppför sig normalt så kan vi normalt inte dra slutsatsen: felfritt. Redundans Vanligt att det krävs vissa arbetspunkter/yttre omständigheter för att man ska kunna unikt peka ut vilken komponent som felat. Kom ihåg, kontrollerat beslutsfattande. 33 3 När kan man utföra diagnos? För att kunna detektera felaktigt beteende krävs extra, ofta kallad redundant (egentligen ej ett bra ord), kunskap. Ingenjören jämför sina observationer med sin expertkunskap För att kunna automatisera diagnos i en dator måste expertkunskapen formaliseras. Redundans kan tillhandahållas av till exempel: Extra hårdvara, exempelvis flera sensorer som mäter samma storhet Modeller i form av analytiska/logiska ekvationer, tillståndsautomater, etc. Modeller i form av expertkunskap och erfarenhet För att inte bara kunna detektera utan också isolera fel så krävs tillräckligt med redundans och också rätt sorts redundans. Traditionell diagnos och modellbaserad diagnos hårdvaruredundans tröskling av mätsignaler (limit-checking) hastighetsbegränsning av fysikaliska storheter (rate-limit) ofta olika begränsningar i olika arbetsområden Traditionell diagnos är på sätt och vis modellbaserad diagnos. Bara med väldigt enkla modeller. för samma diagnosprestanda, modellbaserad diagnos behöver inte nödvändigtvis vara beräkningsmässigt mer krävande eller mer komplext än traditionella ansatser. Men det kan också vara det, allt beroende på situation. Men, att använda mer avancerade modeller så kan man öka diagnosprestandan: snabbare detektion, mer exakt felisolering, färre falsklarm. 3 36
Traditionell diagnos: hårdvaruredundans Montera två sensorer att mäta samma storhet Sensor A Redundans via matematiska modeller: princip Antag att vi inte har råd med den där extra sensorn Sensor A X X Sensor B Sensor B Y Detektera fel genom att jämföra sensorvärdena Sensor C r = Sensor A Sensor B Pålitligt Dyrt Inte alltid möjligt Vilken av sensorerna är det fel på? istället har vi en sensor C som mäter en annan storhet Y en matematisk modell mellan storheterna X och Y vilket ger möjligheten X = Modell(Y ) r = Sensor A Modell(Sensor C) 37 38 Analytisk redundans/modellbaserad diagnos Olinjära dynamiska system och observatörer Enkelt uttryckt: analytisk redundans existerar om vi kan bestämma en storhet på mer än ett sätt. Kopplar till överbestämdhet i modellen Antag två sensorer mäter en variabel x enligt y = x y = x Fel kan upptäckas hos båda givarna genom att testa om relationen gäller. y y = En vanlig typ av reglerteknisk modell är tillståndsformen ẋ = g(x, u) y = h(x) Denna modell har redundans, varför? Observatörer är ett vanligt sätt att avgöra om y och u är konsistenta med modellen. Detta görs genom att skatta tillståndet x och jämföra y med h(ˆx), dvs. ˆx = g(ˆx, u) + K(y h(ˆx)) r = y h(ˆx) Bra för detektion, men räcker inte rakt av för isolering. 39
Exempel: Diagnos på en produktionsmotor Analytisk redundans boost leak Intercooler Whfm throttle Wth T manifold leak Wcyl Turbo air mass-flow manifold pressure engine speed pb q pm Fysikaliska samband mellan fysikaliska storheter ger analytisk redundans. n Lite olika typer av fel, kräver olika typer av modeller och därmed olika typer av signalbehandling. ṗ = k(w in (α, p) W ut (p, n)) Antag vi mäter de ingående variablerna, y p = p, y α = α och y n = n. r = ẏ p k(w in (y α, y p ) W ut (y p, y n )) Signalbehandling och tröskling Tröskling Tröskling Den enklaste principen att detektera fel är att tröskla residualerna. Den Ett enklaste fel är detekterat principen att närdetektera residualen är avviker direkt tröskling från nominellt av residualer. värde. Tröskeln Ett fel är väljs detekterat så att sannolikheter när residualenför avviker falsklarm från nominellt och missad värdetektion uppfyller Tröskel; ställda avvägning krav. sannolikhet för falsklarm och missad detektion Residuals, dataset: fyw_af r: MSO 6 (*) r: MSO (*) r3: MSO 7 (*) - 6 8-6 8-6 8 r: MSO 8 r: MSO 67 (*) r6: MSO 7-6 8 r7: MSO 78-6 8 t [min] - 6 8 t [min] 3-6 8 t [min]
Var byter mätsignalen nivå? Var byter mätsignalen intensitet/varians? 3 3 3 3 3 3 8 6 3 3 6 Mätsignal för att detektera misständning(misfire) Hall-effekt, sensor Exempel på misständningar 8 7 Varm motor Speed 3 rpm Load. g/rev 7 6 Misfire Svänghjul µs 6 Stansade hål Sample 36 3 3 Kall motor och låg last µs 3 38 36 Misfire 7 3 3 3 38 36 Sample Speed 8 rpm Load. g/rev 8
Tröskling av residualer, adaptiva trösklar För att avgöra när en residual är skild från behövs en tröskel. Perfekt modell J = ɛ >, brus och modellfel ger högre tröskel. Konstant/adaptiv tröskel? Tröskelnivå ger avvägning falsklarm/detekteringsförmåga. Om man tex. vet att man har bättre modell för statiska förlopp än i dynamiska passager adaptiv tröskel Uppmätta data från en ventil i luftsystemet i Gripen: Felisolering 3 Solid: residual; Dashed: thresholds R 3 3 3 3 [s] 9 Felisolering Hittills har vi bara betraktat detektion Hur kan vi isolera felande komponent, dvs. peka ut var i systemet vi misstänker fel Finns många metoder, men vi kommer i den här kursen fokusera på en metod från konsistensbaserad diagnos. Felisolering, trippelredundans Tre givare mäter samma storhet (trippelredundans): y =x y =x y 3 =x Tre residualer kan bildas genom parvis jämförelse av givarsignaler: r = y y r = y y 3 r 3 = y y 3 Alla är då ekvationerna är uppfyllda, dvs. processen uppför sig som förväntat. De tre residualerna reagerar olika på fel i givarna. Isolationsmöjligheter
Isolationsexempel Låt F i beteckna fel i givare y i. Residualerna reagerar på felen enligt: r = y y r = y y 3 r 3 = y y 3 NF F F F 3 r X X r X X r 3 X X Test i larmar typiskt då absolutbeloppet av residual r i är större än en given tröskel: r i > J i Isolationsexempel, forts. Antag att test och larmar. Antag enkelfel. NF F F F 3 r X X r X X r 3 X X r > J F eller F r > J F eller F 3 Slutsatsen i det här fallet blir att den enda möjliga moden är F, dvs F är den enda diagnosen. 3 Isolering med strukturerade hypotestester Felisoleringsexempel Isolering med strukturerade fel i tryckgivare hypotestester r r 9 r 6 Isoleringsstrategin kan illustreras med en tabell där X på plats i, j betyder att fel j kan påverka residual i. NF F F F 3 r X X r X X r 3 X X Vi drar ingen slutsats av att test inte larmar. Det kan vara OK men det kan också vara små fel som inte syns i residualerna. Om t ex test larmar är det fel i givare eller, dvs F F. - 6 r 7 6-6 r 9 6 - - 6 r 3 6 f WAF f pim f pic f Tic Residual f Waf f pim f pic f r Tic X X r X X r 9 X X 9 X X rr 6 6 X X X X rr 7 X X X X rr 9 9 X X r 3 X X r 3 6
Felisoleringsexempel Isolering med strukturerade fel i massflödesgivare hypotestester r r 9 r 6-6 r 7 6 - - 8 6-6 r 9 6-6 r 3 6 Felmodellering f WAF f pim f pic f Tic Residual f Waf f pim f pic f r Tic X X r X X 9 X X 9 X X r 6 X X X X r 7 X X X X r 9 X X 3 X X r 3 7 8 Exempel på felmodellering Modellera fel med signaler För att kunna isolera fel så är det lämpligt att modellera hur en felaktig process fungerar. Många olika typer av modeller kan tänkas: Signaler Förändringar i konstanta parametrar Abrupta förändringar Intermittenta fel ẋ = Ax + Bu y = C x y = C x Additivt fel på sensor f och på styrsignalen u betecknas med f blir ẋ = Ax + B(u + f ) y = C x + f y = C x Här är det viktigt att skilja på sensorsignalen och den variabel som man vill mäta. 9 6
Förändringar i konstanta parametrar Felaktig massflödesensor i Mercedes E-klass Typiska fel som modelleras på detta sätt: förändringar i fysikaliska konstanter, förstärkningsfel, offsets (tex bias i sensorer), ändringar i varianser, Exempel: förstärkare 3 3 y(t) = gu(t) + v(t) v(t) N(, σ ) { { g = felfritt felfritt, σ = c fel c >> fel deviation [%] Roterande massa: (µ friktionskoefficient) J ω = µω + M { felfritt µ = c >> fel 6 3 air mass flow [kg/h] 6 En procedur för design av diagnossystem Procedur för design av diagnossystem Ta fram krav på vilka fel som måste diagnostiseras. Kan baseras på lagkrav, säkerhetskrav,... (FMEA) Bygg en modell av processen för det felfria fallet 3 Bygg felmodeller, dvs. utöka modellen för det felfria systemet med modeller för hur de olika felen påverkar systemet. Med hjälp av modellen, konstruera residualer/teststorheter som gör att felen kan detekteras och isoleras. Detta är ett svårt steg och ämnet för den här kursen. Testa systemet i simuleringsmiljö och, om möjligt, i verkligheten. 6 Implementera Denna kurs behandlar steg (och i viss mån steg och 3). Notera att de andra stegen kan vara minst lika svåra! 63 6
Design av diagnossystem Design av diagnossystem - exempel Givet: modell för det felfria fallet Definiera beteendemoder Definiera felmodeller 3 Analysera modellredundans Skapa residualer/teststorheter Bestäm trösklar 6 Avgör testens felkänslighet och skapa beslutsstrukturen. Givet: modell för det felfria fallet x = u y = x y = x + där u är en känd styrsignal, y i två kända givaresignaler och x är en okänd variabel. Det kan bli fel på ställdonet och de två givarna. Uppgift: Designa ett diagnossystem för enkelfel. 6 66 Design av diagnossystem - definiera beteendemoder Felfri modell: x = u y = x y = x + Det kan bli fel på ställdonet och de två givarna. Inför beteckningar för felfri mod samt för enkelfel NF: (No-Fault) varken givare eller ställdon är fel F : fel på bara y F : fel på bara y F 3 : fel på bara u Design av diagnossystem - definiera felmodeller Felfri modell: Notera: x = u y = x y = x + u den styrsignal som vi applicerar. Modell med införda additiva felsignaler: x = u + f 3 y = x + f y = x + + f u + f 3 indikerar den faktiska påverkan på systemet. Beteendemoder: NF: No-fault f i = F : fel på bara y f, f = f 3 = F : fel på bara y f, f = f 3 = F 3 : fel på bara u f 3, f = f = 67 68
Design av diagnossystem - analysera modellredundans Sök redundans i modellen för felfritt beteende, dvs då f i =. Det finns redundans, ty x kan beräknas på fler än ett sätt. Felfri modell: x = u () y = x () y = x + (3) Design av diagnossystem - residualer/teststorheter Konsistensrelationerna ger residualerna: r = y u r = y u Residualernas felkänslighet kan beräknas genom att använda modellen x = u + f 3 y = x + f y = x + + f Eliminering av x ger t ex konsistensrelationerna: (), () = y u (), (3) = y u Detta visar att den modellen för felfritt beteende har statisk redundans. 69 för att eliminera de kända variablerna i residualen som följer: r = y u = (x + f ) (x f 3 ) = f + f 3 r = y u = (x + + f ) (x f 3 ) = f + f 3 Detta kallas för den interna formen. 7 Design av diagnossystem - beslutsstruktur Design av diagnossystem - beslutsstruktur Antag att modellosäkerheter och brus gör att vi larmar om endast om beloppet av residualerna är större än tröskeln J =, dvs larm i = r i > J NF F F F 3 r X X r X X Beslutsstrukturen blir för residualerna r = f + f 3 r = f + f 3 Om r inte larmar, kan det vara frestande att dra slutsatsen det inte är F eller F 3, dvs det måste vara NF eller F. Men detta är ofta ingen bra slutsats Ex: Om r inte larmar så är vad som helst vara möjligt, t ex fel F : blir NF F F F 3 r X X r X X F : f =., f = f 3 = r =. < inget larm 7 7
Beräkna diagnoser givet observationer Givet en observation: Beräkna residualerna r i Beräkna testresultaten genom att tröskla residualerna, larm i = r i > J i 3 Använd isoleringslogiken för att beräkna diagnoserna Hur reagerar vårt diagnossystem på ett injicerat fel? Antag att vi styr systemet med insignalen u = och att vi injicerar ett fel i aktuatorn (F 3 ) så att f 3 =. Diagnosis Statement Fault Isolation Givarna visar: x = u + f 3 = + = y = x = y = x + = Insignalerna till diagnossystemet blir observationerna: u =, y =, y = Diagnostic Test Diagnostic Test Diagnostic Test Diagnostic Test Diagnostic Test Observations 73 7 Hur reagerar vårt diagnossystem på ett injicerat fel? Antag att vi styr systemet med insignalen u = och att vi injicerar ett fel i aktuatorn (F 3 ) så att f 3 =. Insignalerna till diagnossystemet blir observationerna: u =, y =, y = Det ger residualerna och larmen: r = y u = > larm r = y u = > larm Ett lite större system bränslecell Enligt beslutsstrukturen blir diagnosen: NF F F F 3 r X X r X X + utfall r r F 3 är enda diagnosen Diagnossystemet både detekterar och isolerar felet korrekt. 7 76
PEM Fuel Cell System Air Blower Compressor Mass Flow Rate [m3/min] Compressor Efficiency [-].6.6.6..6.6.6.6.6..6..6.....6 6.. 8 9 8 7 6..6 3 6 7 8. 9 Pcmp = m! cmp c p Tamb η cmpη EM air sensors: stack voltage and temperature 7 considered system faults ( BOP, stack) sensor faults st March 6, Linkoping University, SE. T..6.8.. Membrane model Δ =. [bar]; current density =. [A/cm]; p W y,in / out kk β cmp WH O,mem 3 Eohm = mem [-] - λ an [-] / λ ca [-] λ 9 fault variables 8 algebraic equahons differenhal constrains (RH des j RH j ) F lmem i σ mem ph po + RT fc ln ph O Eact = R T fc F an [-] for for py p y,exh py p y,exh γ > γ + γ γ + γ γ γ γ λ ca 3 states at cathode side states at anode side 3 states at cathode s.m. states at anode s.m. [-] dmi, j dt 33 T fc i Ediff = ω~ T fc i ln lim ilim i Mass balance i ln i = ipt ECSA i σ mem = (.39λ.36)exp 3 - Temperatur e sensor fault Δg f [T fc ] λ λ net water flow [mol/s] p Cathode exhaust E= p - RT j Electrochemical model [i, λan, λca, Δp] Δ =. [bar]; current density =. [A/cm]; x V j M H O γ γ γ CD AN p y,exh p y γ p y p p γ R T y,exh y y,exh y,exh = γ + CD AN p y,exh (γ ) γ R yty,exh γ + x η cmp = f (β, ncmp ) kk β cmp Tcmp = Tamb + η cmp mhdeso, j = Nozzles.6 Compressor Speed [rpm] T Humidifiers mhdeso, j m! HinjO, j = τ inj 8..6..6.6 3..6.8 Pressure Ratio [-] 9 8 6 7 3.7.6 Valve clogging Leakage ilim = i = [O, N, H, H O] FDO N ε eff. T fc Vmtca 73 ln ( xo,ca ) Energy balance state (temperature) j = [ca, an, smca, sman] = m! in,i, j m! out,i, j ± m! gen / con,i, j.83 K FC dtfc! = Ein (Tin ) E! out (TFC ) VI Q dt st March 6, Linkoping University, SE. / Att ta med sig fra n denna fo rsta fo rela sning Isolability Analysis Modellbaserad diagnos a r att med hja lp av observationer och en matematisk modell av en process dra slutsatser om eventuella fel som kan finnas i systemet. Isolability matrix for 'PEM Fuel Cell, sensored' f_cmp All the faults but the two of the stack can be f_inj.8 m! cmp = f (β, ncmp ) Cathode Valve clogging Inlet air flow.3 ECSA reduchon p T. Compressor Speed [rpm] Ohmic resistance increase Humidifier Air blower.6. Membrane ṁ P.7. Anode p Efficiency reduchon Anode exhaust Pressure Ratio [-] p.8 Humidifier PEMFC.6.8.6.9.8 T..6 7 6 9 8 3.9.8 V Less humidificahon Hydrogen tank PEMFC system model Voltage sensor fault Lite grovt kan man sa ga; Diagnossystem: univocally isolated with Mixed Causality f_leak alla diagnoser = f (data) f_vin f_ohm Ett av ma len med den ha r kursen: krama ut sa mycket information som mo jligt ur modellen och kondensera in i funktionen f ( ) ovan. f_ecsa Enkelt uttryckt: ett diagnossystem besta r av ett antal detektorer med specifika egenskaper fo ljt av felisoleringslogik f_vout f_vsens f_tsens f_cmp f_inj f_leak f_vin f_ohm f_ecsa f_vout f_vsens f_tsens st March 6, Linkoping University, SE. 3/ 8
TSFS6 Diagnos och övervakning, 6hp Föreläsning - Kursformalia och introduktion Erik Frisk Institutionen för systemteknik Linköpings universitet erik.frisk@liu.se 9-3- 8