presentation ki2016 - graz university of technology...27.03.17 1 using modelicaprograms for deriving...
TRANSCRIPT
27.03.17
1
UsingModelica ProgramsforDerivingPropositionalHornClause
AbductionProblems
BernhardPeischl,IngoPillandFranzWotawa
{bpeischl,ipill,wotawa}@ist.tugraz.at
ResearchcarriedoutaspartoftheAppliedModelBasedReasoning(AMOR)undergrant842407
Observations
• Idea behind reasoning from first principlesrather old (1980s)
• Some applications (mainly prototypes)– Cars–Webservices&software– Spaceprobes– ....
• WHYISMBRNOT(SOOFTEN)USED?
KI2016,F.Wotawa 2
Obervations (cont)
• There might be many answers:–Modelingis notthat easy
– Thecurrent engineering and maintenance processis notthat compatible
– Technicalissues (performance,runtime,spacecomplexity,...)
– ...
KI2016,F.Wotawa 3
SUPPORTMODELING(TOOLS,LANGUAGES,..)
CHANGETHEPROCESSES
NOTTHATPROBLEMATICANYMORE!
27.03.17
2
Inthispaper
• Focusonmodelingfordiagnosis!– Useavailablemodels(i.e.fromModelica)– Usefaultmodels– Comparefaultybehaviorwithcorrectbehaviorforobtainingmodels
• Focusonabductive diagnosis
KI2016,F.Wotawa 4
PropositionalHornClauseAbductionProblem(PHCAP)[Friedrich,Gottlob andNejdl,1990]• Knowledgebase(KB)
• A (propositionalvariables),• (hypotheses),• Th (Hornclauses)
• PHCAP• KB,• (observations)
• Diagnosis()• ,
• MinimaldiagnosisKI2016,F.Wotawa 5
THEAPPROACH
KI2016,F.Wotawa 6
27.03.17
3
Modelica
• OOModelingLanguageforCyber-PhysicalSystems(CPSs)
• Numericalsimulation• Multi-purposemodeling• Multi-domainmodeling
• Notappropriatedforbeingusedfordiagnosisdirectly!
KI2016,F.Wotawa 7
Modelica fordiagnosis
• NeedadifferentmethodtomakeModelicaaccessiblefordiagnosis!
• Conversionapproach• Makeuseoffaultmodels• Learnfromsimulatedbehavior
KI2016,F.Wotawa 8
KI2016,F.Wotawa 9
27.03.17
4
Example
KI2016,F.Wotawa 10
Firststep– qualitativerepresentations
• Insteadofusingquantities,e.g.,8Vor4V,useaqualitativerepresentation– Absolutequantities:
• E.g.8VrepresentedasLARGE– Deviations:
• E.g.Ifweexpect8Vbutmeasure0V,werepresentthisdeviationasSMALLER
KI2016,F.Wotawa 11
DeviationmodelsbasedonModelica
• Simulateorginal program• Simulateprogramwithintroducedfault(atacertainpointintime)
• Comparethedifferences,andobtainatable,e.g.:
KI2016,F.Wotawa 12
27.03.17
5
Secondstep– generaterules• Foreachmodeanddeviationgeneratearule,e.g.:– empty(BAT)® smaller(v1)– empty(BAT)® smaller(v2)
KI2016,F.Wotawa 13FAULTOCCURS
Example(cont.)– thePHCAPmodel
• A ={empty(BAT),short(R1),broken(R1),short(R2),broken(R2),smaller(v1),larger(v1),smaller(v2),larger(v2)}
• Hyp ={empty(BAT),short(R1),broken(R1),short(R2),broken(R2)}
• Th ={
KI2016,F.Wotawa 14 }
Diagnosis
KI2016,F.Wotawa 15
ok(v1)
ok(v2)
smaller(v1),smaller(v2)
StartdiagnosiswithPHCAPandOBS ={smaller(v1),smaller(v2)}
Diagnoses:{empty(BAT)}
27.03.17
6
Conclusions
• CoupleModelica programswithabductivediagnosis
• Obtaindeviationmodelsformacomparisonbetweenthecorrectbehaviorandthebehaviorincaseofafault
• Challenges:– Howtocomparetheoutcome?– Howtointegratetheapproachincaseoflargefiniteautomata?
– Automationofmodelextraction
KI2016,F.Wotawa 16
Thankyouforyourattention!
QUESTIONS?
ResearchcarriedoutaspartoftheAppliedModelBasedReasoning(AMOR)undergrant842407