Monitoring and Fault Diagnosis for Real-Time Systems

Franck Cassez
IRCCyN, Nantes, France
Friday, 24 November, 2006 (All day)

In this talk we review the fundamental results for the monitoring and fault diagnosis problems for finite state systems and timed systems. We also address the following more advanced topics: optimal monitoring and fault diagnosis for finite state systems and fault diagnosis for timed systems using digital clocks. We conclude with some open problems and directions for future work.