Solving diagnosis problems by means of binary decision diagrams
Ms. Anika Schumann (RSISE)
CSL SEMINAR SERIESDATE: 2005-03-08
TIME: 15:30:00 - 16:30:00
LOCATION: RSISE Seminar Room, ground floor, building 115, cnr. North and Daley Roads, ANU
CONTACT: JavaScript must be enabled to display this email address.
ABSTRACT:
My talk will address the problem of diagnosing complex discrete-event systems (telecommunication networks, web services, etc.). Given a flow of observations from the system, the goal is to explain these observations by determining possible failures. In my talk I will present a class of diagnosis problems and describe which of these are suitable for symbolic diagnostic reasoning by means of binary decision diagrams. For these suitable problems I will sketch their symbolic representations using an example system and will report experimental results obtained from the symbolic algorithms. Finally I will analyse these results leading to a description of some future work.
BIO:
Anika Schumann is a PhD student at CSL.
