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 245 | PDF Downloads 231 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1938
PDF

Decentralized Fault Detection and Isolation of Manufacturing Systems

M. Sayed Mouchaweh
Abstract 264 | PDF Downloads 215 | 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 446 | | 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 274 | PDF Downloads 303 | 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 557 | PDF Downloads 231 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1941
PDF

A Framework for Integrating Requirements-Based Design and Diagnosis

Gregory Provan
Abstract 279 | PDF Downloads 319 | 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 265 | PDF Downloads 229 | 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 271 | PDF Downloads 277 | 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 289 | PDF Downloads 234 | 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 892 | PDF Downloads 249 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1946
PDF

Reformulation for the Diagnosis of Discrete-Event Systems

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

A Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig , Monika Schubert
Abstract 310 | PDF Downloads 289 | 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 288 | PDF Downloads 297 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1949
PDF

Distributed Consistency-Based Diagnosis without Behavior

Gianfranco Lamperti , Marina Zanella
Abstract 266 | PDF Downloads 284 | 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 954 | PDF Downloads 286 | 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 252 | PDF Downloads 289 | 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 364 | PDF Downloads 313 | 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 270 | PDF Downloads 266 | 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 444 | PDF Downloads 313 | 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 252 | PDF Downloads 187 | 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 278 | PDF Downloads 239 | 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 271 | PDF Downloads 210 | 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 453 | PDF Downloads 336 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1916
PDF

Injecting Semantics into Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Marina Zanella
Abstract 293 | PDF Downloads 216 | 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 278 | PDF Downloads 243 | 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 712 | PDF Downloads 328 | 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 302 | PDF Downloads 265 | 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 228 | PDF Downloads 240 | 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 215 | PDF Downloads 231 | 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 327 | PDF Downloads 281 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1925
PDF

Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage, Jan Lunze
Abstract 228 | PDF Downloads 273 | 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 250 | PDF Downloads 248 | 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 202 | PDF Downloads 182 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1928
PDF

MBD Techniques for Internet Delay Diagnosis

Roni Stern, Meir Kalech
Abstract 263 | PDF Downloads 159 | 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 269 | PDF Downloads 240 | 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 239 | PDF Downloads 238 | 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 498 | PDF Downloads 182 | 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 402 | PDF Downloads 323 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1934
PDF

Role-Based Diagnosis for Distributed Vehicle Functions

Jens Kohl, Andreas Bauer
Abstract 340 | PDF Downloads 271 | 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 1970 | PDF Downloads 348 | 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 332 | PDF Downloads 260 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1937
PDF