摘要：AbstractIn this paper, we address the problem of failure detection in a timed discrete event system (TDES). We first introduce the problem of detecting time shift failures in a TDES modeled as a (max, +)-linear system. Then we propose the definition of an indicator that relies on the (max,+) algebraic framework and show how it can detect time shift failures in the case of a single output system. Finally, an extension is proposed to deal with multiple outputs.
