Decentralised and incremental diagnosis of reconfigurable discrete-event systems with uncertain observations
Dr Alban Grastien (NICTA)
NICTA KRR SEMINARDATE: 2006-02-23
TIME: 14:00:00 - 15: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:
We view the diagnosis of dynamic systems as the computation of all the sequence of events that are consistent with the observations. In the case of a discrete-event system represented by an automaton, the diagnosis can also be represented as an automaton. When dealing with uncertain observations (loss of observations, partial ordering, etc.), the emitted observations can be represented by an automaton, each trajectory of which is labeled by a possible sequence of such observations. The diagnosis is then the synchronisation of the model automaton and the observation automaton. To improve flexibility and enable incremental and on-line computation, we show how to slice the observation automaton into an automata chain, where each automaton of the chain corresponds to a temporal window. It is then possible to make a diagnosis for each window separately or incrementally. We also explain the use the automata chain for decentralised diagnosis and the diagnosis of reconfigurable systems.
BIO:
Alban Grastien obtained his PhD from the University of Rennes, France, in 2005. His PhD work focuses on model-based diagnosis of reconfigurable systems. He has just joined the KRR program in NICTA and will be working on the SuperCom project.
