Verifiers for the detection of timed patterns in discrete event systems

This paper is about the detection of timed patterns for discrete event systems (DESs) that are modeled by a particular class of timed automata. A timed pattern is a set of behaviours characterized by a sequence of events, occurring in a given order and in a given time domain The problem in which we are interested is to detect the occurrence of such timed patterns thanks to the analysis of the timed observations that is captured from the productions of the system. For this purpose we define a timed composition and propose two verifiers, a timed one and a logical one, that transform the detection problem of timed patterns into a state isolation problem. Safety and security applications are finally discussed. Copyright (C) 2022 The Authors.