Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Abstract : The goal of this paper is to propose a localization method of time shift failures in timed discrete event systems (TDES) called (max, +)-linear systems and graphically represented by Timed Event Graph (TEG). First, a detection process produces indicators that determine whether such failures have happened by the observation of incoming and outcoming timed flows. Then, thanks to the knowledge of the behavior of the system through its corresponding TEG, set of failures that could explain the detected timed shift are obtained. It comes from matrices of signatures for each indicator built on each observable output of the system.
https://hal.laas.fr/hal-01954270 Contributor : Euriell Le CorroncConnect in order to contact the contributor Submitted on : Thursday, December 13, 2018 - 3:23:15 PM Last modification on : Monday, July 4, 2022 - 9:00:20 AM Long-term archiving on: : Thursday, March 14, 2019 - 3:12:15 PM