Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Timed pattern diagnosis in timed workflows: a model checking approach

yannick Pencolé 1 Audine Subias 1 
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : In this article we introduce the problem of timed pattern diagnosis in timed system and propose a method to solve a sub-class of theses problems: the problem of timed pattern diagnosis of workflows. It consists in searching for all the possible evolutions of the workflow that are consistent with a timed sequence of observations and determining whether these evolutions match a pattern of timed events instead of a single fault event. The formal characterization of the diagnosis problem is based on the notion of pattern matching. Defined as a reachability problem, the diagnosis problem is then solved by model checking.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Audine Subias Connect in order to contact the contributor
Submitted on : Monday, July 2, 2018 - 11:12:26 AM
Last modification on : Monday, July 4, 2022 - 10:27:47 AM
Long-term archiving on: : Monday, October 1, 2018 - 8:47:58 AM


Files produced by the author(s)



yannick Pencolé, Audine Subias. Timed pattern diagnosis in timed workflows: a model checking approach. 14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. pp.94-99, ⟨10.1016/j.ifacol.2018.06.285⟩. ⟨hal-01827362⟩



Record views


Files downloads