Add to ORKGWe improve the efficiency of Sampath's diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of binary decision diagrams. We present an algorithm for synthesising the symbolic diagnoser with promising results on test cases derived from a telecommunication application
We present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Re...
Ordered Binary Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. The...
Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Dis...
Diagnostic methods for engineering systems are typically model-based: functional and/or fault models...
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is t...
Fault diagnosis of discrete-event systems (DESs) has received a lot of attention in industry and aca...
VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Buca...
Many problems in the domain of digital circuit testing and diagnosis demand the processing of a larg...
Failure diagnosis in large and complex systems is a critical task. In the realm of discrete event sy...
In this paper, we present a diagnoser-based approach to deal with fault diagnosis of bounded labeled...
Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero...
Model-based diagnosis of discrete-event systems (DESs) is an active research topic. In most previous...
The diagnosis of a discrete-event system is the problem of computing possible behaviors of the syste...
The basic motivation for the research presented in this article is the fact that things go wrong. Wi...
In the last several decades, the model-based diagnosis of discrete-event systems (DESs) has increasi...
We present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Re...
Ordered Binary Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. The...
Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Dis...
Diagnostic methods for engineering systems are typically model-based: functional and/or fault models...
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is t...
Fault diagnosis of discrete-event systems (DESs) has received a lot of attention in industry and aca...
VECOS 2015 - 9th Workshop on Verification and Evaluation of Computer and Communication Systems, Buca...
Many problems in the domain of digital circuit testing and diagnosis demand the processing of a larg...
Failure diagnosis in large and complex systems is a critical task. In the realm of discrete event sy...
In this paper, we present a diagnoser-based approach to deal with fault diagnosis of bounded labeled...
Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero...
Model-based diagnosis of discrete-event systems (DESs) is an active research topic. In most previous...
The diagnosis of a discrete-event system is the problem of computing possible behaviors of the syste...
The basic motivation for the research presented in this article is the fact that things go wrong. Wi...
In the last several decades, the model-based diagnosis of discrete-event systems (DESs) has increasi...
We present a conflict-based approach to diagnosing Discrete Event Systems (DES) which generalises Re...
Ordered Binary Decision Diagrams (OBDDs) represent Boolean functions as directed acyclic graphs. The...
Discrete Event Systems: Diagnosis and Diagnosability addresses the problem of fault diagnosis of Dis...