Decentralized failure diagnosis with asynchronous communication between supervisors

Decentralized failure diagnosis problems arise in communication networks. Network operators require automated tools to isolate failures that need immediate attention. Failure notification is often accompanied with local timing information, although the presence of a global clock is not guaranteed. A timed discrete-event system for decentralized failure diagnosis is proposed. Additionally, the model allows asynchronous communication between decentralized diagnosers. The problem is treated whether an observor map of a diagnoser factors over a timed discrete-event system with a finite state set.