Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Anna Sztyber, Lukasz Chechlinski, Michal Syfert, Pawel Wnuk, Piotr Lipnicki, Daniel Lewandowski |
Analysis of Applicability of Deep Learning Methods in Compressor Fault Diagnosis. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Mahmoud Almasri, Nicolas Tricot, Roland Lenain |
Multiple Model Adaptive Estimation for Blocked Wheel Fault Detection on Mobile Robots. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Andreas Nioras, George C. Karras, George K. Fourlas, George I. Stamoulis |
Survey of Fault Diagnosis and Accommodation of Unmanned Underwater Vehicles. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander Diedrich, Oliver Niggemann |
Diagnosing Hybrid Cyber-Physical Systems using State-Space Models and Satisfiability Modulo Theory. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Benedikt Eiteneuer, Oliver Niggemann |
LSTM for Model-based Anomaly Detection in Cyber-Physical Systems. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Patrick Rodler, Wolfgang Schmid |
Comparing the Performance of Traditional and Novel Heuristics for Sequential Diagnosis. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Valentin Bouziat, Xavier Pucel, Stéphanie Roussel 0001, Louise Travé-Massuyès |
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Christian Artigues, Olivier Bassène, Elodie Chanthery, Asma Gasmi, Louise Travé-Massuyès |
Optimal Test/Sensor Selection Problems Formalized as Integer Programs. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Mohamed Faouzi Harkat, Tarek Ait Izem, Frédéric Kratz, Majdi Mansouri, Mohamed N. Nounou, Hazem N. Nounou |
Uncertain Dynamic Process Monitoring Using Moving Window PCA for Interval-Valued Data. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Artur Mazdziarz |
Alarm Correlation in Mobile Telecommunication Networks Based on Dice Coefficient. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Vicenç Puig, Erdal Taskent |
Comparison of Two Distributed Fault Diagnosis Approaches based on Binary Integer Linear Programming (BILP) Optimization. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Roxane Koitz-Hristov, Franz Wotawa |
On the Superiority of Conflict-Driven Search in MUS Enumeration. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Ingo Pill, Franz Wotawa |
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Christian Tutivén, Yolanda Vidal, Francesc Pozo |
SCADA Data Based Wind Turbine Fault Diagnosis. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Lorraine Codjo, Mohamed Jaafar, Hamid Makich, Dominique Knittel, Mohammed Nouari |
Milling Diagnosis Using Machine Learning Techniques Toward Industry 4.0. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Emil Laftchiev, Xinmaio Sun, Hoang Anh Dau, Daniel Nikovski |
Anomaly Detection in Discrete Manufacturing Systems using Event Relationship Tables. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Bouchra Lamrini, Augustin Gjini, Simon Daudin, Pascal Pratmarty, François Armando, Louise Travé-Massuyès |
Anomaly Detection using Similarity-based One-Class SVM for Network Traffic Characterization. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Birgit Hofer, Radu Mateescu 0001, Wendelin Serwe, Franz Wotawa |
Using LNT Formal Descriptions for Model-Based Diagnosis. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Tom Obry, Louise Travé-Massuyès, Audine Subias |
Computer-aided Diagnosis via Hierarchical Density Based Clustering. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Kornel Rostek |
Optimal Sensor Placement Problem for an Electro-pneumatic Actuator. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Youssef Youssef, Paul Plöger |
A Non-intrusive Fault Diagnosis System for Robotic Platforms. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Louise Travé-Massuyès, Anna Sztyber (eds.) |
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2018), Warsaw, Poland, 27-30 August, 2018. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Alexandre Perez, Rui Abreu 0001 |
QR-Augmented Spectrum-based Fault Localization. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Patrick Rodler, Manuel Herold |
Reducing Sequential Diagnosis Costs by Modifying Reiter's Hitting Set Tree. |
DX |
2018 |
DBLP BibTeX RDF |
|
1 | Hamed Khorasgani, Gautam Biswas |
A combined model-based and data-driven approach for monitoring smart buildings. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carlos J. Alonso-González, Aníbal Bregón, Belarmino Pulido, Matías A. Nacusse, Sergio J. Junco |
Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCs. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rodler |
On Active Learning Strategies for Sequential Diagnosis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Pencolé, Audine Subias |
Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas |
An improved diagnostic method for probabilistic consistency-based diagnosis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rodler, Konstantin Schekotihin |
Reducing Model-Based Diagnosis to Knowledge Base Debugging. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Abderraouf Boussif, Baisi Liu, Mohamed Ghazel |
An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Pucel, Stéphanie Roussel 0001 |
Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zanella, Ingo Pill, Alessandro Cimatti (eds.) |
28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017 |
DX |
2017 |
DBLP BibTeX RDF |
|
1 | Gregory M. Provan |
An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marina Zanella |
Asymmetric Diagnosability Analysis of Discrete-Event Systems. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Pill, Franz Wotawa |
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tom Obry |
A Learning Algorithm for Episodes. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss, Jana von Wedel |
The qSafe Project - Developing a Tool for Current Practice in Functional Safety Analysis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cody James Christopher, Yannick Pencolé, Alban Grastien |
Inference of fault signatures of discrete-event systems from event logs. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johan de Kleer, Matthew Klenk, Alexander Feldman |
Diagnosing Alternative Facts. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès |
Diagnosing Discrete Event Systems Using Nominal Models Only. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yves Sohege, Gregory M. Provan |
Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriella Fiore |
Secure state estimation for Cyber-Physical Systems. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin |
Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois |
Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Khoumsi |
Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture. |
DX |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joaquim Blesa, Françoise Le Gall, Carine Jauberthie, Louise Travé-Massuyès |
State Estimation and Fault Detection using Box Particle Filtering with Stochastic Measurements. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Jiongqi Wang, Zhangming He, Haiyin Zhou, Shuxing Li |
A General Process Model: Application to Unanticipated Fault Diagnosis. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | 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. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Amir Elmishali, Roni Stern, Meir Kalech |
Data-Augmented Software Diagnosis. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | 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. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Hassan Ibrahim, Philippe Dague, Laurent Simon |
Using Incremental SAT for Testing Diagnosability of Distributed DES. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Aníbal Bregón, Carlos Alonso González, Belarmino Pulido |
Improving Fault Isolation and Identification for Hybrid Systems with Hybrid Possible Conflicts. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | John William Vásquez, Louise Travé-Massuyès, Audine Subias, Fernando Jiménez, Carlos Agudelo |
Chronicle Based Alarm Management in Startup and Shutdown Stages. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Alexander Maier, Oliver Niggemann, Jens Eickmeyer |
On the Learning of Timing Behavior for Anomaly Detection in Cyber-Physical Production Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Tomonori Honda, Linxia Liao, Hoda Eldardiry, Bhaskar Saha, Rui Abreu 0001, Radu Pavel, Jonathan Iverson |
Device Health Estimation by Combining Contextual Control Information with Sensor Data. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Rui Abreu 0001, Daniel G. Bobrow, Hoda Eldardiry, Alexander Feldman, John Hanley, Tomonori Honda, Johan de Kleer, Alexandre Perez, Dave Archer 0001, David Burke |
Diagnosing Advanced Persistent Threats: A Position Paper. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Gregory M. Provan, Alexander Feldman |
A Framework For Assessing Diagnostics Model Fidelity. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Matthew J. Daigle, Aníbal Bregón, Indranil Roychoudhury |
A Structural Model Decomposition Framework for Hybrid Systems Diagnosis. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | George K. Fourlas, George C. Karras, Kostas J. Kyriakopoulos |
Fault Tolerant Control for a 4-Wheel Skid Steering Mobile Robot. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Roni Stern, Meir Kalech, Hilla Shinitzky |
Implementing Troubleshooting with Batch Repair. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Thomas Monrousseau, Louise Travé-Massuyès, Marie-Véronique Le Lann |
Processing Measure Uncertainty into Fuzzy Classifier. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Rolando Carrera, Cristina Verde, Raúl Cayetano |
A SCADA Expansion for Leak Detection in a Pipeline. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Yannick Pencolé |
Random Generator of k-Diagnosable Discrete Event Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Jens Eickmeyer, Peng Li 0045, Omid Givehchi, Florian Pethig, Oliver Niggemann |
Data Driven Modeling for System-Level Condition Monitoring on Wind Power Plants. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Elisa Roux, Louise Travé-Massuyès, Marie-Véronique Le Lann |
Applied Multi-Layer Clustering to the Diagnosis of Complex Agro-Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Jorge Santos Simón, Clemens Mühlbacher, Gerald Steinbauer |
Automatic Model Generation to Diagnose Autonomous Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Patrick Traxler, Pablo Gómez, Tanja Grill |
A Robust Alternative to Correlation Networks for Identifying Faulty Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Louise Travé-Massuyès, Renaud Pons, Pauline Ribot, Yannick Pencolé, Carine Jauberthie |
Condition-based Monitoring and Prognosis in an Error-Bounded Framework. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Vicenç Puig, Carlos Ocampo-Martinez |
Decentralised Fault Diagnosis of Large-Scale Systems: Application to Water Transport Networks. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Elodie Chanthery, Yannick Pencolé, Pauline Ribot, Louise Travé-Massuyès |
HyDiag: Extended Diagnosis and Prognosis for Hybrid Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz 0002 |
A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Dusan Krokavec, Anna Filasová, Pavol Liscinsky, Vladimír Serbák |
Design of PD Observer-Based Fault Estimator using a Descriptor Approach. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Roxane Koitz, Franz Wotawa |
SAT-Based Abductive Diagnosis. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Cédric Herpson, Vincent Corruble, Amal El Fallah Seghrouchni |
ADS2 : Anytime Distributed Supervision of Distributed Systems that Face Unreliable or Costly Communication. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Yannick Pencolé, Louise Travé-Massuyès, Philippe Dague (eds.) |
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. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Mei Zhang 0001, Boutaib Dahhou, Michel Cabassud, Zetao Li |
Faults Isolation and Identification of Heat-Exchanger/ Reactor with Parameter Uncertainties. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Ronan Cossé, Denis Berdjag, Sylvain Piechowiak, David Duvivier, Christian Gaurel |
Methodology and Application of Meta-Diagnosis on Avionics Test Benches. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Ion Matei, Anurag Ganguli, Tomonori Honda, Johan de Kleer |
The Case for a Hybrid Approach to Diagnosis: A Railway Switch. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Cody James Christopher, Alban Grastien |
Formulating Event-Based Critical Observations in Diagnostic Problems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Alban Grastien |
Self-Healing as a Combination of Consistency Checks and Conformant Planning Problems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Hamed Khorasgani, Gautam Biswas, Daniel E. Jung |
Minimal Structurally Overdetermined Sets Selection for Distributed Fault Detection. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Gan Zhou, Gautam Biswas, Wenquan Feng, Hongbo Zhao 0001, XiuMei Guan |
A Bayesian Framework for Fault Diagnosis of Hybrid Linear Systems. |
DX |
2015 |
DBLP BibTeX RDF |
|
1 | Florian Grigoleit, Peter Struss |
Configuration as Diagnosis: Generating Configurations with Conflict-Directed A* - An Application to Training Plan Generation -. |
DX |
2015 |
DBLP BibTeX RDF |
|