Diagnosis of Discrete-Event Systems using Binary Decision Diagrams


We 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. 


4 Figures and Tables

Slides referencing similar topics