Design of indicators for the detection of time shift failures in (max, +)-linear systems

International audienceIn 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