DX'17: Author IndexAuthor | 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 | 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 | 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 | d | de Kleer, Johan | Diagnosing Alternative Facts | de Paula Bueno, Marcos Luiz | An improved diagnostic method for probabilistic consistency-based diagnosis | v | von Wedel, Jana | The qSafe Project – Developing a Tool for Current Practice in Functional Safety Analysis |
|
|