Timed pattern diagnosis in timed workflows: a model checking approach. Issue 7 (2018)

• Record Type: Journal Article
• Authors: Pencolé, Yannick; Subias, Audine
• Is Part Of: IFAC-PapersOnLine. Volume 51:Issue 7(2018)
• Page Start: 94
• Page End: 99
• Publication Date: 2018
• Subjects: Diagnosis -- Time Petri Net -- Timed Pattern -- Model checking; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2018.06.285
• Languages: English
• ISSNs: 2405-8963

Abstract

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 .