presentation ki2016 - graz university of technology...27.03.17 1 using modelicaprograms for deriving...

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