Design of indicators for the detection of time shift failures in (max, +)-linear systems
Alexandre Sahuguède, Euriell Le Corronc, Yannick Pencolé · IFAC-PapersOnLine · 2017
In 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.