Vol. 2 No. 2 (2010): Proceedings of the 21st International Workshop on the Principles of Diagnosis, held jointly with the Annual Conference of the PHM Society 2010

Published: 2010-10-11

Technical Research Papers

Overcoming Non-Discernibility through Mode-Sequence Analytic Redundancy Relations in Hybrid Diagnosis and Estimation

Michael Hofbaur, Louise Travé-Massuy`es, Theresa Rienm¨uller, Mehdi Bayoudh
Abstract 83 | PDF Downloads 76 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1938
PDF

Decentralized Fault Detection and Isolation of Manufacturing Systems

M. Sayed Mouchaweh
Abstract 83 | PDF Downloads 77 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1939
PDF

A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis

Mattias Krysander, Jan Aslund, Erik Frisk
Abstract 154 | | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1940

Spectrum-Based Sequential Diagnosis (Extended Abstract)

Alberto Gonzalez-Sanchez, Rui Abreu, Hans-Gerhard Gross, Arjan J.C. van Gemund
Abstract 78 | PDF Downloads 92 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1960
PDF

Factoring Dynamic Bayesian Networks using Possible Conflicts

Carlos J. Alonso-Gonzalez, Noemi Moya, Gautam Biswas
Abstract 195 | PDF Downloads 83 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1941
PDF

A Framework for Integrating Requirements-Based Design and Diagnosis

Gregory Provan
Abstract 96 | PDF Downloads 93 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1942
PDF

Efficient Optimal Sensor Placement for Structural Model Based Diagnosis

Albert Rosich, Abed Alrahim Yassine , St ́ephane Ploix
Abstract 86 | PDF Downloads 78 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1943
PDF

Diagnosing Process Trajectories Under Partially Known Behavior

Gerhard Friedrich, Wolfgang Mayer, Markus Stumptner
Abstract 83 | PDF Downloads 71 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1944
PDF

Sensor and Actuator Fault Isolation Using Parameter Interval based Method for Nonlinear Dynamic Systems

Zetao Li , Boutaieb Dahhou, Gilles Roux, Jing Yang, Cuixia Zhang
Abstract 90 | PDF Downloads 86 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1945
PDF

Diagnosability Analysis Considering Causal Interpretations for Differential Constrain

Erik Frisk, Anibal Bregon, Jan Aslund, Mattias Krysander, Belarmino Pulido, Gautam Biswas
Abstract 282 | PDF Downloads 78 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1946
PDF

Reformulation for the Diagnosis of Discrete-Event Systems

Alban Grastien, Gianluca Torta
Abstract 87 | PDF Downloads 99 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1947
PDF

A Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig , Monika Schubert
Abstract 87 | PDF Downloads 96 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1948
PDF

On non-invertibilities for Structural Analysis

Vincent de Flaugergues de Flaugergues , Vincent Cocquempot, Mireille Bayart , Marco Pengov
Abstract 94 | PDF Downloads 99 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1949
PDF

Distributed Consistency-Based Diagnosis without Behavior

Gianfranco Lamperti , Marina Zanella
Abstract 82 | PDF Downloads 87 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1950
PDF

An Event-based Approach to Distributed Diagnosis of Continuous Systems

Matthew Daigle, Indranil Roychoudhury, Gautam Biswas , Xenofon Koutsoukos
Abstract 274 | PDF Downloads 99 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1951
PDF

Diagnosis as Planning Revisited: An Abridged Report

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith
Abstract 79 | PDF Downloads 91 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1958
PDF

Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks

Brian W. Ricks, Ole J. Mengshoel
Abstract 133 | PDF Downloads 98 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1952
PDF

Generalizing diagnosability definition and checking for open systems: a Game structure approach

Tarek Melliti, Philippe Dague
Abstract 75 | PDF Downloads 76 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1954
PDF

Poster Presentations

Computing Energy-Optimal Tests using DNNF Graphs

Anika Schumann, Martin Sachenbacher
Abstract 228 | PDF Downloads 90 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1912
PDF

OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes

A. J. Varela-Vaca, R. Martínez Gasca, L. Parody
Abstract 63 | PDF Downloads 62 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1913
PDF

A Decentralized Service Based Architecture for Design and Modeling of Fault Tolerant Control Systems

Mattias Nyberg, Carl Svärd
Abstract 54 | PDF Downloads 65 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1914
PDF

Large-scale signal reconstruction for sensor monitoring and diagnostics in nuclear power plants

Giulio Gola, Davide Roverso, Mario Hoffmann
Abstract 82 | PDF Downloads 63 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1915
PDF

Event-driven Data Mining Techniques for Automotive Fault Diagnosis

Chaitanya Sankavaram, Anuradha Kodali, Diego Fernando Martinez Ayala, Krishna Pattipati, Satnam Singh, Pulak Bandyopadhyay
Abstract 180 | PDF Downloads 117 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1916
PDF

Injecting Semantics into Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Marina Zanella
Abstract 84 | PDF Downloads 58 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1917
PDF

Efficient Drive-Based Analysis of Fault Detection Measures in Safety-Related Pneumatic Systems

Andreas Barner, Jan Bredau, Frank Schiller
Abstract 90 | PDF Downloads 68 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1918
PDF

Structural Observability. Application to decompose a System with Possible Conflicts

Noemi Moya , Gautam Biswas, Carlos J. Alonso-Gonzalez , Xenofon Koutsoukos
Abstract 222 | PDF Downloads 117 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1919
PDF

Synthesis of a Distributed and Accurate Diagnoser

Priscilla Kan John, Alban Grastien, Yannick Pencole ́
Abstract 118 | PDF Downloads 75 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1920
PDF

Solving the ADAPT Benchmark Problem - A Student Project Study

Erik Almqvist, Daniel Eriksson, Andreas Lundberg, Emil Nilsson, Niklas Wahlstro ̈m, Erik Frisk, Mattias Krysander
Abstract 69 | PDF Downloads 71 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1922
PDF

Contract-based Diagnosis for Business Process Instances using Business Compliance Rules

D. Borrego, R. M. Gasca, M. T. Go ́mez-Lo ́pez, L. Parody
Abstract 61 | PDF Downloads 72 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1923
PDF

Using distinguishing tests to reduce the number of fault candidates

Mihai Nica, Simona Nica, Franz Wotawa
Abstract 105 | PDF Downloads 79 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1925
PDF

Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage, Jan Lunze
Abstract 66 | PDF Downloads 66 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1926
PDF

Defining and exploring properties in diagnostic systems

Nuno Belard, Yannick Pencolé, Michel Combacau
Abstract 58 | PDF Downloads 71 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1927
PDF

Self-adapting Strategies guided by Diagnosis and Situation Assessment in Collaborative Communicating Systems

A. Subias, E. Exposito, C. Chassot, L. Travé-Massuyes, K. Drira
Abstract 49 | PDF Downloads 60 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1928
PDF

MBD Techniques for Internet Delay Diagnosis

Roni Stern, Meir Kalech
Abstract 85 | PDF Downloads 47 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1929
PDF

Fault diagnosis in databases for business processes

M. Teresa Go ́mez-Lo ́pez, Rafael M. Gasca
Abstract 100 | PDF Downloads 59 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1931
PDF

Towards Partial (and Useful) Model Identification for Model-Based Diagnosis

Vladimir Sadov, Eliahu Khalastchi, Meir Kalech, Gal A. Kaminka
Abstract 51 | PDF Downloads 63 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1932
PDF

Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan, Lina Ye, Philippe Dague
Abstract 117 | PDF Downloads 62 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1933
PDF

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults

Lukas Kuhn , Johan de Kleer
Abstract 213 | PDF Downloads 109 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1934
PDF

Role-Based Diagnosis for Distributed Vehicle Functions

Jens Kohl, Andreas Bauer
Abstract 111 | PDF Downloads 65 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1935
PDF

Combining Model-Based and Feature-Driven Diagnosis Approaches – A Case Study on Electromechanical Actuators

Sriram Narasimhan, Indranil Roychoudhury, Edward Balaban, Abhinav Saxena
Abstract 1459 | PDF Downloads 154 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1936
PDF

Diagnosis of Autosub 6000 using Automatically Generated Software Models

Juhan Ernits, Richard Dearden, Miles Pebody, James Guggenheim
Abstract 112 | PDF Downloads 66 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1937
PDF