Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Console L, Picardi C, Ribaudo M (2002) Process algebras for system diagnosis. Artif Intell 142(1):19–51
2. Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discrete Event Dyn Syst 14(2):171–202
3. Debouk R, Lafortune S, Teneketzis D (2000) Coordinated decentralized protocols for failure diagnosis of discrete events systems. Discrete Event Dyn Syst 10:33–86
4. Zad SH, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Autom Control 48(7):1199–1212
5. Jiang S, Kumar R (2002) Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. In: Proceedings of the 2002 American control conference, Anchorage, AK, USA, vol 1, pp 128–133