Diagnosis and supervision of dynamic systems using model-checking techniques

Dr. Christine Largouet (University of New Caledonia)

CSL SEMINAR SERIES

DATE: 2004-01-22
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:
This presentation deals with diagnosis and supervision of dynamical systems represented by a discrete-event model and more precisely in a timed automata formalism.

In the first part, an experience about the improvment of the classification of a sequence of remotely-sensed images is presented. This approach consists in representing the agricultural plot as a dynamic system and in modeling its evolution using the timed automata formalism. In order to refine results obtained by a traditional classifier, observations given by a preliminary classification of images are matched with expected states provided by an automaton simulation. The refinement problem is realised using model-checking techniques.

The second part presents a work that shows how model-checking techniques, designed for efficiently testing complex real-time systems, can be exploited for the diagnosis.
BIO:
Christine received a PhD from the University of Rennes 1. She is an Assistant Professor in Computer Science at ENSAR (agronomy school of Rennes, France) and an associate research fellow at IRISA (Rennes, France). She's visiting the University of New Caledonia for two years. Her main interests are in model-based diagnosis, model-checking and ecological system monitoring.