On automated Fault diagnosis

Add to your list(s) Download to your calendar using vCal

• Behzad Bordbar ()
• Tuesday 01 December 2009, 13:00-14:00
• CS 217.

If you have a question about this talk, please contact Dan Ghica.

Creating systems to identifying occurrences of failure is one of the key challenges of Complex systems. This is often achieved by creating Diagnosers that monitor the interaction between various components and services to identify if a type of failure has happened or may have happened. This talk aims to give a brief introduction on the theory of Fault Diagnosis and Diagnosability. Then an our recent results on regular petri net languages, in collaboration with Stephane Lafortune, will be presented. If time permits, an application of the approach to SoA and a piece of software developed in Birmingham will be outlined.

This talk is part of the Lab Lunch series.

This talk is included in these lists:

• CS 217
• Lab Lunch

Note that ex-directory lists are not shown.