A symbolic framework for diagnosing discrete event systems
Ms. Anika Schumann (RSISE)
CSL SEMINAR SERIESDATE: 2003-10-28
TIME: 16:00:00 - 17:00: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:
Automatic detection and isolation of failures in large and complex systems is a challenging task. In order to diagnose the failures it is necessary to explore the systems' state space which frequently leads to a combinatorial explosion of alternatives. In my talk I will present a symbolic framework for diagnosing discrete event systems, that avoids the explicit enumeration of these alternatives. The underlying theory is based on Binary Decision Diagram representations and their manipulations.
BIO:
Anika Schumann is a visiting student from the University of Rostock, Germany. She is currently writing her master thesis on the above topic.
