Neidig, Jörg (Ruhr-Univ. Bochum), Lunze, Jan (Ruhr-Univ. Bochum)

Unidirectional Coordinated Diagnosis of Automata Networks

Scheduled for presentation during the Mini-Symposium "Formal Methods for Discrete-Event Systems" (ThP10), Thursday, July 27, 2006, 16:35−17:00, Room 103

17th International Symposium on Mathematical Theory of Networks and Systems, July 24-28, 2006, Kyoto, Japan

This information is tentative and subject to change. Compiled on May 19, 2024

Abstract

This paper proposes an approach to diagnosis of discrete-event systems described by nondeterministic automata networks. The diagnosis is performed in a decentralised way by a number of independent local diagnosers. The local diagnostic results are send to a coordinator which applies static postprocessing to refine the set of fault candidates. The postprocessing removes all contradictions among the results of the local diagnosers. The coordinator has no internal state or system model and therefore uses few computational resources. It is proven that this approach enhances the diagnostic result in comparison to the fully decentralised approach while retaining the computational advantage.