DX C

22 papers

YearTitle / Authors
201728th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017
Marina Zanella, Ingo Pill, Alessandro Cimatti
2017A Learning Algorithm for Episodes.
Tom Obry
2017A combined model-based and data-driven approach for monitoring smart buildings.
Hamed Khorasgani, Gautam Biswas
2017An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems.
Gregory M. Provan
2017An Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems.
Abderraouf Boussif, Baisi Liu, Mohamed Ghazel
2017An improved diagnostic method for probabilistic consistency-based diagnosis.
Marcos Luiz de Paula Bueno, Arjen Hommersom, Peter J. F. Lucas
2017Asymmetric Diagnosability Analysis of Discrete-Event Systems.
Marina Zanella
2017Autonomous vehicle traction subsystem modeling and diagnosis using BG-PCs.
Carlos J. Alonso-González, Aníbal Bregón, Belarmino Pulido, Matías A. Nacusse, Sergio J. Junco
2017Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control.
Yves Sohege, Gregory M. Provan
2017Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.
Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois
2017Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture.
Ahmed Khoumsi
2017Diagnosing Alternative Facts.
Johan de Kleer, Matthew Klenk, Alexander Feldman
2017Diagnosing Discrete Event Systems Using Nominal Models Only.
Yannick Pencolé, Gerald Steinbauer, Clemens Mühlbacher, Louise Travé-Massuyès
2017Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking.
Yannick Pencolé, Audine Subias
2017Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
Patrick Rodler, Wolfgang Schmid, Konstantin Schekotihin
2017Inference of fault signatures of discrete-event systems from event logs.
Cody James Christopher, Yannick Pencolé, Alban Grastien
2017Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis.
Xavier Pucel, Stéphanie Roussel
2017Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.
Ingo Pill, Franz Wotawa
2017On Active Learning Strategies for Sequential Diagnosis.
Patrick Rodler
2017Reducing Model-Based Diagnosis to Knowledge Base Debugging.
Patrick Rodler, Konstantin Schekotihin
2017Secure state estimation for Cyber-Physical Systems.
Gabriella Fiore
2017The qSafe Project - Developing a Tool for Current Practice in Functional Safety Analysis.
Florian Grigoleit, Sebastian Holei, Andreas Pleuss, Robert Reiser, Julian Rhein, Peter Struss, Jana von Wedel