DX'17:Author Index

AuthorPapers
A
Alonso-González, CarlosAutonomous vehicle traction subsystem modeling and diagnosis using BG-PCs
B
Biswas, GautamA combined model-based and data-driven approach for monitoring smart buildings
Boussif, AbderraoufAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
Bregon, AnibalAutonomous vehicle traction subsystem modeling and diagnosis using BG-PCs
C
Christopher, CodyInference of fault signatures of discrete-event systems from event logs
D
Dague, PhilippeCounterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
de Kleer, JohanDiagnosing Alternative Facts
de Paula Bueno, Marcos LuizAn improved diagnostic method for probabilistic consistency-based diagnosis
F
Feldman, AlexanderDiagnosing Alternative Facts
Fiore, GabriellaSecure state estimation for Cyber-Physical Systems
G
Gallois, Jean-PierreCounterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Ghazel, MohamedAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
Grastien, AlbanInference of fault signatures of discrete-event systems from event logs
Grigoleit, FlorianThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
H
Holei, SebastianThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
Hommersom, ArjenAn improved diagnostic method for probabilistic consistency-based diagnosis
J
Junco, SergioAutonomous vehicle traction subsystem modeling and diagnosis using BG-PCs
K
Khorasgani, HamedA combined model-based and data-driven approach for monitoring smart buildings
Khoumsi, AhmedDecentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture
Klenk, MatthewDiagnosing Alternative Facts
L
Liu, BaisiAn Experimental Comparison of Three Diagnosis Techniques for Discrete Event Systems
Lucas, PeterAn improved diagnostic method for probabilistic consistency-based diagnosis
M
Mühlbacher, ClemensDiagnosing Discrete Event Systems Using Nominal Models Only
N
Nacusse, MatíasAutonomous vehicle traction subsystem modeling and diagnosis using BG-PCs
O
Obry, TomA Learning Algorithm for Episodes
P
Pencolé, YannickDiagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
Inference of fault signatures of discrete-event systems from event logs
Pencolé, YannickDiagnosing Discrete Event Systems Using Nominal Models Only
Pill, IngoModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model
Pleuss, AndreasThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
Provan, GregoryAn Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems
Comparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control
Pucel, XavierIntermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis
Pulido, BelarminoAutonomous vehicle traction subsystem modeling and diagnosis using BG-PCs
R
Reiser, RobertThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
Rhein, JulianThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
Rodler, PatrickInexpensive 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éphanieIntermittent Fault Diagnosis as Discrete Signal Estimation: Trackability analysis
S
Schekotihin, KonstantinInexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis
Reducing Model-Based Diagnosis to Knowledge Base Debugging
Schmid, WolfgangInexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis
Sohege, YvesComparing Switching vs. Mixing MPC for Robust Fault-Tolerant Control
Steinbauer, GeraldDiagnosing Discrete Event Systems Using Nominal Models Only
Struss, PeterThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
Subias, AudineDiagnosis of supervision patterns on bounded labeled Petri nets by Model Checking
T
Travé-Massuyès, LouiseDiagnosing Discrete Event Systems Using Nominal Models Only
V
von Wedel, JanaThe qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis
W
Wotawa, FranzModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model
Y
Ye, LinaCounterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Z
Zaatiti, HadiCounterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
Zanella, MarinaAsymmetric Diagnosability Analysis of Discrete-Event Systems