And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm |
Ingo Pill, Thomas Quaritsch |
|
Automated Generation of Diagnosis Models for ROS-based Robot Systems |
Safdar Zaman, Gerald Steinbauer |
|
Automated Safety Analysis of Vehicles Based on Qualitative Behavior Models and Spatial Representations |
Peter Struss, Sonila Dobi |
|
Comparing Diagnostic Performance of Ochiai and Relief in Service-oriented Systems |
Cuiting Chen, Brian Omoro, Hans-Gerhard Gross, Andy Zaidman |
|
Comparison for Sensor Placement Algorithms |
Yi Dong, Gautam Biswas |
|
Continuous State Estimation for Heterogeneous Hadoop Clusters |
Shekhar Gupta, Christian Fritz, Bob Price, Johan de Kleer, Cees Witteveen |
|
Diagnosing the Root Cause of Accidents in Autonomous Vehicle Environments |
Yedidya Bar-Zev, Meir Kalech, Roni Stern |
|
Diagnosis of Discrete Event Systems by Independent Windows |
Xingyu Su, Alban Grastien |
|
Diagnosis of Discrete-Event Systems with Stratified Behavior |
Gianfranco Lamperti, Xiangfu Zhao |
|
Diagnosis of Hybrid Systems by Consistency Testing |
Alban Grastien |
|
Distributed Analysis for Diagnosability in Concurrent Systems |
Hernan Ponce de Leon, Gonzalo Bonigo, Laura Brandán Briones |
|
A Distributed Strategy for Deriving Minimal Hitting-Sets |
Xiangfu Zhao, Dantong Ouyang |
|
Exploiting Parse Trees in LTL Specification Diagnosis |
Ingo Pill, Thomas Quaritsch |
|
Exploiting Passing Tests for Value-Level Debugging of Verilog Designs |
Bernhard Peischl |
|
Fault Augmented Modelica Models |
Johan de Kleer, Bill Janssen, Daniel Bobrow, Tolga Kurtoglu, Bhaskar Saha, Nicholas Moore, Saravan Sutharshana |
|
Finding All Subset Minimal Diagnoses is Redundant |
Roni Stern, Meir Kalech, Alexander Feldman, Shelly Rogov, Tom Zamir |
|
Formal Specification and Synthesis of FDI through an Example |
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta |
|
A Hybrid Approach for Fault Detection and Diagnosis in Autonamous Systems |
Eliahu Khalastchi, Meir Kalech, Lior Rokach |
|
Hybrid Automaton Incremental Construction for Online Diagnosis |
Vento Maldonado Jorge Isaac, Louise Travé-Massuyès, Ramon Sarrate, Vicenç Puig |
|
Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach |
Anastassia Küstenmacher, Paul G. Plöger, Gerhard Lakemeyer |
|
Improving the Diagnostic Performance for Dynamic Systems by Using Conflict-Driven Model Decomposition. |
Anibal Bregon, Alexander Feldman, Belarmino Pulido, Gregory Provan, Carlos Alonso González |
|
A Kernel Density Estimate-Based Approach to Component Goodness Modeling |
Cardoso Nuno, Rui Abreu |
|
A Learning Anomaly Detection Algorithm for Hybrid Manufacturing Systems |
Oliver Niggemann, Asmir Vodencarevic, Alexander Maier, Stefan Windmann, Hans Kleine Büning |
|
Minimal Diagnosis of Discrete-Event Systems |
Xiangfu Zhao, Gianfranco Lamperti, Dantong Ouyang |
|
Minimal Sequential Diagnosis of Discrete-Event Systems |
Xiangfu Zhao, Luca Ceriani |
|
Model-Based Diagnostic Decision-Support System for Satellites |
Alexander Feldman, Helena Vicente de Castro, Arjan van Gemund, Gregory Provan |
|
On the Role of Model-based Diagnosis in Functional Safety |
Michael Hofbaur, Martin Sachenbacher |
|
Optimizing Model-Based Diagnosis Complexity for Analogue Linear Systems |
Alexander Feldman, Gregory Provan |
|
Preliminaries On Complexity of Diagnosis of Discrete-Event Systems |
Marina Zanella, Gianfranco Lamperti |
|
Sequential Decision Process Supported by a Compositional Model |
Radim Jirousek |
|
A Spectrum of Diagnosis Algorithms |
Alban Grastien |
|
A Study of Diagnosability in Dynamic Systems: Integral and Derivative Causality |
Hamed Khorasgani, Gautam Biswas |
|
Test Oracle Placement in Spectrum-Based Fault Localization |
Claudio Landi, Arjan van Gemund, Marina Zanella |
|
Using Genetic Algorithms to Study the Effects of Topology on Spectrum Based Diagnosis |
Cuiting Chen, Hans-Gerhard Gross, Andy Zaidman |
|