Schumann, A.; Pencole, Yannick; Thiebaux, Sylvie
This paper deals with the monitoring and diagnosis of large discrete-event systems. The problem is to determine, online, all faults and states that explain the flow of observations. Model-based diagnosis approaches that first compile the diagnosis information off-line suffer from space explosion, and those that operate on-line without any prior compilation have poor time performance. Our contribution is a broader spectrum of approaches that suits applications with diverse time and space...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.