Skip to Main content Skip to Navigation
New interface
Conference papers

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
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
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Alexandre Sahuguède Connect in order to contact the contributor
Submitted on : Wednesday, June 7, 2017 - 5:15:32 PM
Last modification on : Tuesday, October 25, 2022 - 11:58:11 AM
Long-term archiving on: : Friday, September 8, 2017 - 1:32:58 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01534552, version 1


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. ⟨hal-01534552⟩



Record views


Files downloads