DX'17:Author Index

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