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

Decentralized Fault Detection and Isolation of Manufacturing Systems

M. Sayed Mouchaweh
Abstract 294 | PDF Downloads 222 | 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 487 | | 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 303 | PDF Downloads 345 | 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 593 | PDF Downloads 242 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1941
PDF

A Framework for Integrating Requirements-Based Design and Diagnosis

Gregory Provan
Abstract 314 | PDF Downloads 353 | 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 295 | PDF Downloads 237 | 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 309 | PDF Downloads 288 | 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 316 | PDF Downloads 241 | 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 949 | PDF Downloads 261 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1946
PDF

Reformulation for the Diagnosis of Discrete-Event Systems

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

A Diagnosis Algorithm for Inconsistent Constraint Sets

Alexander Felfernig , Monika Schubert
Abstract 344 | PDF Downloads 304 | 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 317 | PDF Downloads 333 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1949
PDF

Distributed Consistency-Based Diagnosis without Behavior

Gianfranco Lamperti , Marina Zanella
Abstract 297 | PDF Downloads 310 | 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 1009 | PDF Downloads 304 | 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 285 | PDF Downloads 327 | 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 408 | PDF Downloads 354 | 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 296 | PDF Downloads 299 | 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 477 | PDF Downloads 345 | 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 293 | PDF Downloads 196 | 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 312 | PDF Downloads 255 | 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 309 | PDF Downloads 215 | 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 493 | PDF Downloads 348 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1916
PDF

Injecting Semantics into Diagnosis of Discrete-Event Systems

Gianfranco Lamperti, Marina Zanella
Abstract 327 | PDF Downloads 228 | 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 306 | PDF Downloads 248 | 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 760 | PDF Downloads 344 | 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 330 | PDF Downloads 297 | 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 255 | PDF Downloads 251 | 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 244 | PDF Downloads 252 | 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 357 | PDF Downloads 311 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1925
PDF

Remote Diagnosis of Timed I/O-Automata

Thorsten Schlage, Jan Lunze
Abstract 256 | PDF Downloads 306 | 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 280 | PDF Downloads 262 | 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 230 | PDF Downloads 189 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1928
PDF

MBD Techniques for Internet Delay Diagnosis

Roni Stern, Meir Kalech
Abstract 297 | PDF Downloads 166 | 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 302 | PDF Downloads 278 | 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 269 | PDF Downloads 266 | 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 538 | PDF Downloads 190 | 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 437 | PDF Downloads 359 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1934
PDF

Role-Based Diagnosis for Distributed Vehicle Functions

Jens Kohl, Andreas Bauer
Abstract 367 | PDF Downloads 298 | 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 2015 | PDF Downloads 358 | 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 361 | PDF Downloads 285 | DOI https://doi.org/10.36001/phmconf.2010.v2i1.1937
PDF