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

https://hal.laas.fr/hal-01827362
Contributor : Audine Subias Connect in order to contact the contributor
Submitted on : Monday, July 2, 2018 - 11:12:26 AM
Last modification on : Tuesday, October 19, 2021 - 11:18:05 PM
Long-term archiving on: : Monday, October 1, 2018 - 8:47:58 AM

File

WODES18.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

186

Files downloads

213