


default search action
DX@Safeprocess 2015: Paris, France
- Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague:

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015. CEUR Workshop Proceedings 1507, CEUR-WS.org 2015
Regular papers
- Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz:

A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis. 3-10 - Patrick Traxler, Pablo Gómez, Tanja Grill:

A Robust Alternative to Correlation Networks for Identifying Faulty Systems. 11-18 - Elisa Roux, Louise Travé-Massuyès, Marie-Véronique Le Lann:

Applied Multi-Layer Clustering to the Diagnosis of Complex Agro-Systems. 19-26 - Gan Zhou, Gautam Biswas, Wenquan Feng, Hongbo Zhao, XiuMei Guan:

A Bayesian Framework for Fault Diagnosis of Hybrid Linear Systems. 27-34 - Cédric Herpson, Vincent Corruble, Amal El Fallah Seghrouchni:

ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication. 35-42 - Jens Eickmeyer, Peng Li, Omid Givehchi, Florian Pethig, Oliver Niggemann:

Data Driven Modeling for System-Level Condition Monitoring on Wind Power Plants. 43-50 - Hassan Ibrahim, Philippe Dague, Laurent Simon:

Using Incremental SAT for Testing Diagnosability of Distributed DES. 51-58 - Aníbal Bregón, Carlos Alonso González, Belarmino Pulido:

Improving Fault Isolation and Identification for Hybrid Systems with Hybrid Possible Conflicts. 59-66 - Joaquim Blesa, Françoise Le Gall, Carine Jauberthie, Louise Travé-Massuyès:

State Estimation and Fault Detection using Box Particle Filtering with Stochastic Measurements. 67-74 - Hamed Khorasgani, Gautam Biswas, Daniel E. Jung:

Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection. 75-82 - Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie:

Condition-based Monitoring and Prognosis in an Error-Bounded Framework. 83-90 - Florian Grigoleit, Peter Struss:

Configuration as Diagnosis: Generating Configurations with Conflict-Directed A* - An Application to Training Plan Generation -. 91-98 - Vicenç Puig, Carlos Ocampo-Martinez:

Decentralised Fault Diagnosis of Large-Scale Systems: Application to Water Transport Networks. 99-104 - Alban Grastien:

Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. 105-112 - Roni Stern, Meir Kalech, Hilla Shinitzky:

Implementing Troubleshooting with Batch Repair. 113-118 - Cody James Christopher, Alban Grastien:

Formulating Event-Based Critical Observations in Diagnostic Problems. 119-126 - Gregory M. Provan, Alexander Feldman:

A Framework For Assessing Diagnostics Model Fidelity. 127-134
Posters
- Jiongqi Wang, Zhangming He, Haiyin Zhou, Shuxing Li:

A General Process Model: Application to Unanticipated Fault Diagnosis. 137-144 - Rolando Carrera, Cristina Verde, Raúl Cayetano:

A SCADA Expansion for Leak Detection in a Pipeline. 145-152 - Jorge Santos Simón, Clemens Mühlbacher, Gerald Steinbauer:

Automatic Model Generation to Diagnose Autonomous Systems. 153-158 - Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel:

Methodology and Application of Meta-Diagnosis on Avionics Test Benches. 159-166 - Roxane Koitz, Franz Wotawa:

SAT-Based Abductive Diagnosis. 167-176 - George K. Fourlas, George C. Karras, Kostas J. Kyriakopoulos:

Fault Tolerant Control for a 4-Wheel Skid Steering Mobile Robot. 177-184 - Oliver Niggemann, Gautam Biswas, John S. Kinnebrew, Hamed Khorasgani, Sören Volgmann, Andreas Bunte:

Data-Driven Monitoring of Cyber-Physical Systems Leveraging on Big Data and the Internet-of-Things for Diagnosis and Control. 185-192 - Rui Abreu, Daniel G. Bobrow, Hoda Eldardiry, Alexander Feldman, John Hanley, Tomonori Honda, Johan de Kleer, Alexandre Perez, Dave Archer, David Burke:

Diagnosing Advanced Persistent Threats: A Position Paper. 193-200 - Matthew J. Daigle, Aníbal Bregón, Indranil Roychoudhury:

A Structural Model Decomposition Framework for Hybrid Systems Diagnosis. 201-208 - Tomonori Honda, Linxia Liao, Hoda Eldardiry, Bhaskar Saha, Rui Abreu, Radu Pavel, Jonathan Iverson:

Device Health Estimation by Combining Contextual Control Information with Sensor Data. 209-216 - Alexander Maier, Oliver Niggemann, Jens Eickmeyer:

On the Learning of Timing Behavior for Anomaly Detection in Cyber-Physical Production Systems. 217-224 - Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer:

The Case for a Hybrid Approach to Diagnosis: A Railway Switch. 225-234 - Dusan Krokavec, Anna Filasová, Pavol Liscinsky, Vladimír Serbák:

Design of PD Observer-Based Fault Estimator using a Descriptor Approach. 235-240 - John William Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jiménez, Carlos Agudelo:

Chronicle Based Alarm Management in Startup and Shutdown Stages. 241-246 - Amir Elmishali, Roni Stern, Meir Kalech:

Data-Augmented Software Diagnosis. 247-252 - Mei Zhang, Boutaib Dahhou, Michel Cabassud, Zetao Li:

Faults Isolation and Identification of Heat-Exchanger/ Reactor with Parameter Uncertainties. 253-260 - Houda Chouiref, Boumedyen Boussaid, Mohamed Naceur Abdelkrim, Vicenç Puig, Christophe Aubrun:

LPV Subspace Identification for Robust Fault Detection using a Set-Membership Approach: Application to the Wind Turbine Benchmark. 261-268 - Thomas Monrousseau, Louise Travé-Massuyès, Marie-Véronique Le Lann:

Processing Measure Uncertainty into Fuzzy Classifier. 269-274
Tools/Benchmarks
- Yannick Pencolé:

Random Generator of k-Diagnosable Discrete Event Systems. 277-280 - Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès:

HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. 281-284

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














