Fault Diagnosis of Timed Systems
Franck Cassez, Stavros Tripakis · 2013
This chapter contains sections titled: Introduction Notations Fault diagnosis problems Fault diagnosis for discrete event systems Fault diagnosis for timed systems Other results and open problems Bibliography