Schumann, Anika; Pencole, Yannick; Thiebaux, Sylvie
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given sequence of observations. Several model-based diagnosis approaches deal with this problem but they usually have either poor time performance or result in space explosion. Recent work has shown that both problems can be tackled when encoding diagnosis approaches symbolically by means of binary decision diagrams. This...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.