Table Of Content

DX-09 Stockholm June 14-17 20th International Workshop on Principles of Diagnosis Edited by: Erik Frisk, Mattias Nyberg, Mattias Krysander, Jan Åslund 20th International Workshop on Principles of Diagnosis DX-09 Stockholm June 14-17 20th International Workshop on Principles of Diagnosis Stockholm, Sweden June 14-17, 2009 Edited by Erik Frisk, Mattias Nyberg, Mattias Krysander, Jan A˚slund Workshop Organization International Program Committee GautamBiswas VanderbiltUniversity,USA LucaConsole UniversityofTorino,Italy Marie-OdileCordier UniversityofRennes,IRISA,France PhilippeDague UniversityofParisSouth,France OskarDressler OCC’MSoftwareGmbH,Germany E´ricFabre INRIA/IRISA,France AlbanGrastien NICTAandAustralianNationalUniversity,Australia MichaelHofbaur GrazUniversityofTechnology,Austria ArjanvanGemund DelftUniversityofTechnology,Netherlands AlfIsaksson ABB,Sweden JohandeKleer PARC,USA StephaneLafortune UniversityofMichigan,USA JanLunze Ruhr-Universita¨tBochum,Germany PieterMosterman TheMathWorks,Inc.,USA SriramNarasimhan Univ. ofCalifornia,SantaCruz&NASAAmes,USA GregoryProvan CorkCollege,Ireland BelarminoPulido Univ. deValladolid,Spain MarcelStaroswiecki LilleUniversity,France PeterStruss TechnicalUniversityofMunich,Germany MarkusStumptner UniversityofSouthAustralia,Australia DanieleTheseider-Dupre´ Universita` delPiemonteOrientale,Italy LouiseTrave´-Massuye`s LAAS-CNRS,France FranzWotowa GrazUniversityofTechnology,Austria MarinaZanella UniversityofBrescia,Italy Program chairs and organizing committee MattiasNyberg Linko¨pingUniversity,Sweden(chair) ErikFrisk Linko¨pingUniversity,Sweden(chair) MattiasKrysander Linko¨pingUniversity,Sweden(chair) JanA˚slund Linko¨pingUniversity,Sweden(chair) AnnaPernesta˚l Linko¨pingUniversity,Sweden CarlSva¨rd Linko¨pingUniversity,Sweden Ha˚kanWarnquist Linko¨pingUniversity,Sweden Contents Invited talks Real-TimeRootCauseAnalysiswithMultilevelFlowModels . . . . . . . . . . . . . . . . . . . . 3 JanEricLarsson OntologyBasedInformationRetrieval: anapplicationtoautomotivediagnosis . . . . . . . . . . . . 9 AxelReymonet,Je´romeThomas,andNathalieAussenac-Gilles Model-BasedMethodsandToolsfortheInformationSupplyChainProcess . . . . . . . . . . . . . 15 JohanGunnarsson Papers DetectingandLearningUnknownFaultStatesinHybridDiagnosis . . . . . . . . . . . . . . . . . . 19 MinlueWangandRichardDearden ABayesianApproachtoDiagnoseMultipleIntermittentFaults . . . . . . . . . . . . . . . . . . . . 27 RuiAbreu,PeterZoeteweij,andArjanvanGemund OntheuseofSpecificationKnowledgeinProgramDebugging . . . . . . . . . . . . . . . . . . . . 35 MihaiNica,Jo¨rgWeber,andFranzWotawa MonitoringWS-CDL-basedchoreographiesofWebServices . . . . . . . . . . . . . . . . . . . . . 43 XavierLeGuillou,Marie-OdileCordier,SophieRobin,andLaurenceRoze´ AStatistics-directedMinimalHittingSetAlgorithm . . . . . . . . . . . . . . . . . . . . . . . . . . 51 RuiAbreuandArjanvanGemund StructuralAnalysisforFDI:amodified,invertibility-basedcanonicaldecomposition. . . . . . . . . 59 VincentdeFlaugergues,VincentCocquempot,MireilleBayart,andMarcoPengov Diagnosabilityanalysiswithoutfaultmodels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 XavierPucel,WolfgangMayer,andMarkusStumptner MultipleFaultsDiagnosabilityCriteriainHybridControlSystems . . . . . . . . . . . . . . . . . . 75 GeorgeFourlas DiagnosisofBottlingPlants-FirstSuccessandChallenges . . . . . . . . . . . . . . . . . . . . . . 83 PeterStrussandBenjaminErtl PEMFuelCellSystemRobustLPVModel-BasedFaultDiagnosis . . . . . . . . . . . . . . . . . . 91 SalvadorDeLira,Vicenc¸ Puig,andJosebaQuevedo DiagnosingAutomotiveControlSystemsUsingAbstractModel-BasedDiagnosis . . . . . . . . . . 99 TakuroKutsuna,ShuichiSato,andNaoyaChujo FaultDetectionandEstimationbasedonClosed-loopSubspaceIdentificationforLinearParameter VaryingSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 JianfeiDong,Bala´zsKulcsa´r,andMichelVerhaegen HybridEstimationthroughSynergeticMode-SetFiltering . . . . . . . . . . . . . . . . . . . . . . . 115 TheresaRienmu¨ller,MehdiBayoudh,MichaelHofbaur,andLouiseTrave´-Massuye`s RobustIdentificationandFaultDetectionusingZonotope-basedDirectandInverseApproaches. . . 123 JoaquimBlesa,Vicenc¸ Puig,JordiSaludes,andSau´lMontesdeOca SymbolicTestingofDiagnosability. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 AlbanGrastien Detection,isolationandidentificationmethodofactuatorsfaultsinawastewatertreatmentprocess . 139 DimitriosFragkoulis,GillesRoux,andBoutaibDahhou ApplyingModel-basedDiagnosistoaRapidPropellantLoadingSystem . . . . . . . . . . . . . . . 147 Charlie Goodrich, Sriram Narasimhan, Matthew Daigle, Walter Hatfield, Robert Johnson, and Bar- baraBrown Pervasive Model Adaptation: Integration of Planning and Information Gathering in Dynamic Pro- ductionSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 JuanLiu,LukasKuhn,andJohandeKleer DiagnosabilityofHybridDynamicalNetworksusingIndicatorFunctions . . . . . . . . . . . . . . 163 LachlanBlackhall,PriscillaKan-John,AlbanGrastien,andDavidHill ChoreographyAnalysisforDiagnosingFaultyActivitiesinBusiness-to-BusinessCollaboration. . . 171 DianaBorrego,RafaelMart´ınezGasca,Mar´ıaTeresaGo´mez-Lo´pez,andIreneBarba ADistributedApproachforPatternDiagnosability . . . . . . . . . . . . . . . . . . . . . . . . . . 179 LinaYe,PhilippeDague,andYuhongYan Qualtras: aToolforQualitativeTrendRepresentations . . . . . . . . . . . . . . . . . . . . . . . . 187 FranciscoIgnacioGamero,JoanColomer,JoaquimMele´ndez,andXavierBerjaga Case-BasedDiagnosisintheprincipalcomponentspace. Applicationtoinjectionmoulds . . . . . . 195 XavierBerjaga,A´lvaroPallare´s,JoaquimMele´ndez,andFranciscoIgnacioGamero Designingasensorplacementfordiagnosabilityusingstructuralproperties. . . . . . . . . . . . . . 203 AbedAlrahimYassine,Ste´phanePloix,andJean-MarieFlaus ModelingContext-DependentFaultsforDiagnosis . . . . . . . . . . . . . . . . . . . . . . . . . . 211 WolfgangMayerandMarkusStumptner UsingQualitativeandModel-BasedReasoningforSensorValidationofAutonomousMobileRobots 219 GeraldSteinbauer,AlexanderKleiner,andFranzWotawa ComputationallyEfficientTieredInferenceforMultipleFaultDiagnosis . . . . . . . . . . . . . . . 227 JuanLiu,LukasKuhn,andJohandeKleer OptimalSensorPlacementforFDIusingBinaryIntegerLinearProgramming . . . . . . . . . . . . 235 AlbertRosich,RamonSarrate,andFatihaNejjari AStructuralapproachtoSensorPlacementbasedonSymbolicCompilationoftheModel . . . . . . 243 GianlucaTortaandPietroTorasso CircularPruningforLazyDiagnosisofActiveSystems . . . . . . . . . . . . . . . . . . . . . . . . 251 AndreaDucoli,GianfrancoLamperti,EmanuelePiantoni,andMarinaZanella FaultPrognosisinReal-TimeDiscreteEventSystems . . . . . . . . . . . . . . . . . . . . . . . . . 259 AhmedKhoumsi AColoredPetriNetsModelforDiagnosingDataFaultsofBPELServices . . . . . . . . . . . . . . 267 YingminLi,TarekMellitiandPhilippeDague FaultDiagnosisofNonlinearSystemsusingLPVIntervalObservers . . . . . . . . . . . . . . . . . 275 Sau´lMontesdeOcaandVicenc¸ Puig DiagnosisofaClassofNonLinearHybridSystemsbyOn-lineInstantiationofParameterizedAna- lyticRedundancyRelations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283 MehdiBayoudh,LouiseTrave´-Massuye`s,andXavierOlive EfficientOn-lineFaultIsolationandIdentificationinTRANSCENDfornonlinearsystems . . . . . 291 AnibalBregon,BelarminoPulido,andGautamBiswas Using minimal recoverable configurations for the design of Fault Tolerant Control under actuator outages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 MarcelStaroswieckiandDenisBerdjag AutomatedRedesignwiththeGeneralRedesignEngine . . . . . . . . . . . . . . . . . . . . . . . . 307 AlexanderFeldman,GregoryProvan,JohandeKleer,LukasKuhn,andArjanvanGemund PersonalizedDiagnosisandRepairofCustomerRequirementsinConstraint-basedRecommendation 315 AlexanderFelfernig,MonikaSchubert,GerhardFriedrich,MarkusMairitsch,andMonikaMandl ModelAbstractionsforDiagnosingHybridSystems . . . . . . . . . . . . . . . . . . . . . . . . . . 321 GregoryProvan DistributedDiagnosisofDynamicSystemsUsingDynamicBayesianNetworks . . . . . . . . . . . 329 IndranilRoychoudhury,GautamBiswas,andXenofonKoutsoukos PassiveRobustFaultDetectionforIntervalLPVSystemsusingZonotopes . . . . . . . . . . . . . . 337 FatihaNejjari,Sau´lMontesdeOca,Vicenc¸ Puig,andAtefehSadeghzadeh IncrementalDiagnosisofDESwithaNon-ExhaustiveDiagnosisEngine . . . . . . . . . . . . . . . 345 AlbanGrastienandAnbulagan OnSubsumption,Coverage,andRelaxationofTemporalObservationsinReuse-BasedDiagnosisof Discrete-EventSystems: aUnifyingPerspective . . . . . . . . . . . . . . . . . . . . . . . . . 353 GianfrancoLamperti,FedericaVivenzi,andMarinaZanella FaultDiagnosisofDiscreteEventSystemsUsingComponentsFault-Freemodels . . . . . . . . . . 361 MoamarSayed-Mouchaweh,AlexandrePhilippot,VeroniqueCarre´-Me´ne´trier,andBernardRiera Diagnostic Challenge Competition Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371 TowardsaFrameworkforEvaluatingandComparingDiagnosisAlgorithms . . . . . . . . . . . . . 373 TolgaKurtoglu,SriramNarasimhan,ScottPoll,DavidGarcia,LukasKuhn,JohandeKleer,Arjanvan Gemund,andAlexanderFeldman FirstInternationalDiagnosisCompetition–DXC’09 . . . . . . . . . . . . . . . . . . . . . . . . . 383 TolgaKurtoglu,SriramNarasimhan,ScottPoll,DavidGarcia,LukasKuhn,JohandeKleer,Arjanvan Gemund,andAlexanderFeldman Minimumcardinalitycandidategeneration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397 JohandeKleer TheLydiaApproachtoCombinationalModel-BasedDiagnosis . . . . . . . . . . . . . . . . . . . . 403 AlexanderFeldman,GregoryProvan,andArjanvanGemund WizardsofOz-Descriptionofthe2009DXCEntry . . . . . . . . . . . . . . . . . . . . . . . . . . 409 AlbanGrastienandPriscillaKan-John The Diagnostic Challenge Competition: Probabilistic Techniques for Fault Diagnosis in Electrical PowerSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415 BrianRicksandOleMengshoel RODON-AModel-BasedDiagnosisApproachfortheDXDiagnosticCompetition . . . . . . . . . 423 PeterBunus,OlleIsaksson,BeateFrey,andBurkhardMu¨nker

Description:
There was an almost immediate boiler trip and automated . The author would like to thank Per Andersson, Antonio . pieces of information can become harder than looking for a needle in a haystack. the size of the hole in the hose.
ebook img

Proceedings - Linköping University PDF

442 Pages·2009·16.85 MB·English
by  
Save to my drive
Quick download
Download
Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Proceedings - Linköping University

DX-09 Stockholm June 14-17 20th International Workshop on Principles of Diagnosis Edited by: Erik Frisk, Mattias Nyberg, Mattias Krysander, Jan Åslund 20th International Workshop on Principles of Diagnosis DX-09 Stockholm June 14-17 20th International Workshop on Principles of Diagnosis Stockholm, Sweden June 14-17, 2009 Edited by Erik Frisk, Mattias Nyberg, Mattias Krysander, Jan A˚slund Workshop Organization International Program Committee GautamBiswas VanderbiltUniversity,USA LucaConsole UniversityofTorino,Italy Marie-OdileCordier UniversityofRennes,IRISA,France PhilippeDague UniversityofParisSouth,France OskarDressler OCC’MSoftwareGmbH,Germany E´ricFabre INRIA/IRISA,France AlbanGrastien NICTAandAustralianNationalUniversity,Australia MichaelHofbaur GrazUniversityofTechnology,Austria ArjanvanGemund DelftUniversityofTechnology,Netherlands AlfIsaksson ABB,Sweden JohandeKleer PARC,USA StephaneLafortune UniversityofMichigan,USA JanLunze Ruhr-Universita¨tBochum,Germany PieterMosterman TheMathWorks,Inc.,USA SriramNarasimhan Univ. ofCalifornia,SantaCruz&NASAAmes,USA GregoryProvan CorkCollege,Ireland BelarminoPulido Univ. deValladolid,Spain MarcelStaroswiecki LilleUniversity,France PeterStruss TechnicalUniversityofMunich,Germany MarkusStumptner UniversityofSouthAustralia,Australia DanieleTheseider-Dupre´ Universita` delPiemonteOrientale,Italy LouiseTrave´-Massuye`s LAAS-CNRS,France FranzWotowa GrazUniversityofTechnology,Austria MarinaZanella UniversityofBrescia,Italy Program chairs and organizing committee MattiasNyberg Linko¨pingUniversity,Sweden(chair) ErikFrisk Linko¨pingUniversity,Sweden(chair) MattiasKrysander Linko¨pingUniversity,Sweden(chair) JanA˚slund Linko¨pingUniversity,Sweden(chair) AnnaPernesta˚l Linko¨pingUniversity,Sweden CarlSva¨rd Linko¨pingUniversity,Sweden Ha˚kanWarnquist Linko¨pingUniversity,Sweden Contents Invited talks Real-TimeRootCauseAnalysiswithMultilevelFlowModels . . . . . . . . . . . . . . . . . . . . 3 JanEricLarsson OntologyBasedInformationRetrieval: anapplicationtoautomotivediagnosis . . . . . . . . . . . . 9 AxelReymonet,Je´romeThomas,andNathalieAussenac-Gilles Model-BasedMethodsandToolsfortheInformationSupplyChainProcess . . . . . . . . . . . . . 15 JohanGunnarsson Papers DetectingandLearningUnknownFaultStatesinHybridDiagnosis . . . . . . . . . . . . . . . . . . 19 MinlueWangandRichardDearden ABayesianApproachtoDiagnoseMultipleIntermittentFaults . . . . . . . . . . . . . . . . . . . . 27 RuiAbreu,PeterZoeteweij,andArjanvanGemund OntheuseofSpecificationKnowledgeinProgramDebugging . . . . . . . . . . . . . . . . . . . . 35 MihaiNica,Jo¨rgWeber,andFranzWotawa MonitoringWS-CDL-basedchoreographiesofWebServices . . . . . . . . . . . . . . . . . . . . . 43 XavierLeGuillou,Marie-OdileCordier,SophieRobin,andLaurenceRoze´ AStatistics-directedMinimalHittingSetAlgorithm . . . . . . . . . . . . . . . . . . . . . . . . . . 51 RuiAbreuandArjanvanGemund StructuralAnalysisforFDI:amodified,invertibility-basedcanonicaldecomposition. . . . . . . . . 59 VincentdeFlaugergues,VincentCocquempot,MireilleBayart,andMarcoPengov Diagnosabilityanalysiswithoutfaultmodels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 XavierPucel,WolfgangMayer,andMarkusStumptner MultipleFaultsDiagnosabilityCriteriainHybridControlSystems . . . . . . . . . . . . . . . . . . 75 GeorgeFourlas DiagnosisofBottlingPlants-FirstSuccessandChallenges . . . . . . . . . . . . . . . . . . . . . . 83 PeterStrussandBenjaminErtl PEMFuelCellSystemRobustLPVModel-BasedFaultDiagnosis . . . . . . . . . . . . . . . . . . 91 SalvadorDeLira,Vicenc¸ Puig,andJosebaQuevedo DiagnosingAutomotiveControlSystemsUsingAbstractModel-BasedDiagnosis . . . . . . . . . . 99 TakuroKutsuna,ShuichiSato,andNaoyaChujo FaultDetectionandEstimationbasedonClosed-loopSubspaceIdentificationforLinearParameter VaryingSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107 JianfeiDong,Bala´zsKulcsa´r,andMichelVerhaegen HybridEstimationthroughSynergeticMode-SetFiltering . . . . . . . . . . . . . . . . . . . . . . . 115 TheresaRienmu¨ller,MehdiBayoudh,MichaelHofbaur,andLouiseTrave´-Massuye`s RobustIdentificationandFaultDetectionusingZonotope-basedDirectandInverseApproaches. . . 123 JoaquimBlesa,Vicenc¸ Puig,JordiSaludes,andSau´lMontesdeOca SymbolicTestingofDiagnosability. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 AlbanGrastien Detection,isolationandidentificationmethodofactuatorsfaultsinawastewatertreatmentprocess . 139 DimitriosFragkoulis,GillesRoux,andBoutaibDahhou ApplyingModel-basedDiagnosistoaRapidPropellantLoadingSystem . . . . . . . . . . . . . . . 147 Charlie Goodrich, Sriram Narasimhan, Matthew Daigle, Walter Hatfield, Robert Johnson, and Bar- baraBrown Pervasive Model Adaptation: Integration of Planning and Information Gathering in Dynamic Pro- ductionSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 JuanLiu,LukasKuhn,andJohandeKleer DiagnosabilityofHybridDynamicalNetworksusingIndicatorFunctions . . . . . . . . . . . . . . 163 LachlanBlackhall,PriscillaKan-John,AlbanGrastien,andDavidHill ChoreographyAnalysisforDiagnosingFaultyActivitiesinBusiness-to-BusinessCollaboration. . . 171 DianaBorrego,RafaelMart´ınezGasca,Mar´ıaTeresaGo´mez-Lo´pez,andIreneBarba ADistributedApproachforPatternDiagnosability . . . . . . . . . . . . . . . . . . . . . . . . . . 179 LinaYe,PhilippeDague,andYuhongYan Qualtras: aToolforQualitativeTrendRepresentations . . . . . . . . . . . . . . . . . . . . . . . . 187 FranciscoIgnacioGamero,JoanColomer,JoaquimMele´ndez,andXavierBerjaga Case-BasedDiagnosisintheprincipalcomponentspace. Applicationtoinjectionmoulds . . . . . . 195 XavierBerjaga,A´lvaroPallare´s,JoaquimMele´ndez,andFranciscoIgnacioGamero Designingasensorplacementfordiagnosabilityusingstructuralproperties. . . . . . . . . . . . . . 203 AbedAlrahimYassine,Ste´phanePloix,andJean-MarieFlaus ModelingContext-DependentFaultsforDiagnosis . . . . . . . . . . . . . . . . . . . . . . . . . . 211 WolfgangMayerandMarkusStumptner UsingQualitativeandModel-BasedReasoningforSensorValidationofAutonomousMobileRobots 219 GeraldSteinbauer,AlexanderKleiner,andFranzWotawa ComputationallyEfficientTieredInferenceforMultipleFaultDiagnosis . . . . . . . . . . . . . . . 227 JuanLiu,LukasKuhn,andJohandeKleer OptimalSensorPlacementforFDIusingBinaryIntegerLinearProgramming . . . . . . . . . . . . 235 AlbertRosich,RamonSarrate,andFatihaNejjari AStructuralapproachtoSensorPlacementbasedonSymbolicCompilationoftheModel . . . . . . 243 GianlucaTortaandPietroTorasso CircularPruningforLazyDiagnosisofActiveSystems . . . . . . . . . . . . . . . . . . . . . . . . 251 AndreaDucoli,GianfrancoLamperti,EmanuelePiantoni,andMarinaZanella FaultPrognosisinReal-TimeDiscreteEventSystems . . . . . . . . . . . . . . . . . . . . . . . . . 259 AhmedKhoumsi AColoredPetriNetsModelforDiagnosingDataFaultsofBPELServices . . . . . . . . . . . . . . 267 YingminLi,TarekMellitiandPhilippeDague FaultDiagnosisofNonlinearSystemsusingLPVIntervalObservers . . . . . . . . . . . . . . . . . 275 Sau´lMontesdeOcaandVicenc¸ Puig DiagnosisofaClassofNonLinearHybridSystemsbyOn-lineInstantiationofParameterizedAna- lyticRedundancyRelations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283 MehdiBayoudh,LouiseTrave´-Massuye`s,andXavierOlive EfficientOn-lineFaultIsolationandIdentificationinTRANSCENDfornonlinearsystems . . . . . 291 AnibalBregon,BelarminoPulido,andGautamBiswas Using minimal recoverable configurations for the design of Fault Tolerant Control under actuator outages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 299 MarcelStaroswieckiandDenisBerdjag AutomatedRedesignwiththeGeneralRedesignEngine . . . . . . . . . . . . . . . . . . . . . . . . 307 AlexanderFeldman,GregoryProvan,JohandeKleer,LukasKuhn,andArjanvanGemund PersonalizedDiagnosisandRepairofCustomerRequirementsinConstraint-basedRecommendation 315 AlexanderFelfernig,MonikaSchubert,GerhardFriedrich,MarkusMairitsch,andMonikaMandl ModelAbstractionsforDiagnosingHybridSystems . . . . . . . . . . . . . . . . . . . . . . . . . . 321 GregoryProvan DistributedDiagnosisofDynamicSystemsUsingDynamicBayesianNetworks . . . . . . . . . . . 329 IndranilRoychoudhury,GautamBiswas,andXenofonKoutsoukos PassiveRobustFaultDetectionforIntervalLPVSystemsusingZonotopes . . . . . . . . . . . . . . 337 FatihaNejjari,Sau´lMontesdeOca,Vicenc¸ Puig,andAtefehSadeghzadeh IncrementalDiagnosisofDESwithaNon-ExhaustiveDiagnosisEngine . . . . . . . . . . . . . . . 345 AlbanGrastienandAnbulagan OnSubsumption,Coverage,andRelaxationofTemporalObservationsinReuse-BasedDiagnosisof Discrete-EventSystems: aUnifyingPerspective . . . . . . . . . . . . . . . . . . . . . . . . . 353 GianfrancoLamperti,FedericaVivenzi,andMarinaZanella FaultDiagnosisofDiscreteEventSystemsUsingComponentsFault-Freemodels . . . . . . . . . . 361 MoamarSayed-Mouchaweh,AlexandrePhilippot,VeroniqueCarre´-Me´ne´trier,andBernardRiera Diagnostic Challenge Competition Preface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371 TowardsaFrameworkforEvaluatingandComparingDiagnosisAlgorithms . . . . . . . . . . . . . 373 TolgaKurtoglu,SriramNarasimhan,ScottPoll,DavidGarcia,LukasKuhn,JohandeKleer,Arjanvan Gemund,andAlexanderFeldman FirstInternationalDiagnosisCompetition–DXC’09 . . . . . . . . . . . . . . . . . . . . . . . . . 383 TolgaKurtoglu,SriramNarasimhan,ScottPoll,DavidGarcia,LukasKuhn,JohandeKleer,Arjanvan Gemund,andAlexanderFeldman Minimumcardinalitycandidategeneration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397 JohandeKleer TheLydiaApproachtoCombinationalModel-BasedDiagnosis . . . . . . . . . . . . . . . . . . . . 403 AlexanderFeldman,GregoryProvan,andArjanvanGemund WizardsofOz-Descriptionofthe2009DXCEntry . . . . . . . . . . . . . . . . . . . . . . . . . . 409 AlbanGrastienandPriscillaKan-John The Diagnostic Challenge Competition: Probabilistic Techniques for Fault Diagnosis in Electrical PowerSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415 BrianRicksandOleMengshoel RODON-AModel-BasedDiagnosisApproachfortheDXDiagnosticCompetition . . . . . . . . . 423 PeterBunus,OlleIsaksson,BeateFrey,andBurkhardMu¨nker

Description:
There was an almost immediate boiler trip and automated . The author would like to thank Per Andersson, Antonio . pieces of information can become harder than looking for a needle in a haystack. the size of the hole in the hose.
See more

The list of books you might like

Upgrade Premium
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
DMCA & Copyright: Dear all, most of the website is community built, users are uploading hundred of books everyday, which makes really hard for us to identify copyrighted material, please contact us if you want any material removed.
Copyright @ PDFdrive.to, 2022 | We love our users