On the diagnosability of decentralized, timed discrete event systems
Gregory M. Provan · 2003
We present a decentralized diagnostics framework for timed discrete-event systems. Using the causal network representation, we show how to synthesize a global, minimal diagnosis from diagnoses generated asynchronously by a collection of decentralized components. We also show system diagnosability results based on component diagnosability.