Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max,+) Observer-Based Approach
Résumé
This paper addresses the problem of diagnosing the occurrence of time shift failures in systems like automated production lines. The model of the system is represented as a Timed Event Graph (TEG) that is characterized as a (max,+)-linear system. The proposed method aims at detecting and localizing the source of time shift failures by the design of a set of indicators. These indicators rely on the residuation theory on (max,+)-linear systems and a (max,+) observer that estimates the internal state of the observed system.
Origine | Fichiers produits par l'(les) auteur(s) |
---|