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

Alexandre Sahuguède 1 Euriell Le Corronc 1 Yannick Pencolé 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Abstract : 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.
Document type :
Conference papers
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P., 2017, 〈https://www.ifac2017.org/〉
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download

https://hal.laas.fr/hal-01534552
Contributor : Alexandre Sahuguède <>
Submitted on : Wednesday, June 7, 2017 - 5:15:32 PM
Last modification on : Thursday, January 11, 2018 - 6:26:29 AM
Document(s) archivé(s) le : Friday, September 8, 2017 - 1:32:58 PM

File

ifac17_hal.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01534552, version 1

Citation

Alexandre Sahuguède, Euriell Le Corronc, Yannick Pencolé. Design of indicators for the detection of time shift failures in (max, +)-linear systems. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.7P., 2017, 〈https://www.ifac2017.org/〉. 〈hal-01534552〉

Share

Metrics

Record views

109

Files downloads

38