Learning Specifications for Labelled Patterns - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Learning Specifications for Labelled Patterns

Nicolas Basset
Thao Dang
Akshay Mambakam
  • Fonction : Auteur

Résumé

In this work, we introduce a supervised learning framework for inferring temporal logic specifications from labelled patterns in signals, so that the formulae can then be used to correctly detect the same patterns in unlabelled samples. The input patterns that are fed to the training process are labelled by a Boolean signal that captures their occurrences. To express the patterns with quantitative features, we use parametric specifications that are increasing, which we call Increasing Parametric Pattern Predictor (IPPP). This means that augmenting the value of the parameters makes the predicted pattern true on a larger set. A particular class of parametric specification formalisms that we use is Parametric Signal Temporal Logic (PSTL). One of the main contributions of this paper is the definition of a new measure, called-count, to assess the quality of the learned formula. This measure enables us to compare two Boolean signals and, hence, quantifies how much the labelling signal induced by the formula differs from the true labelling signal (e.g. given by an expert). Therefore, the-count can measure the number of mismatches (either false positives or false negatives) up to some error tolerance. Our supervised learning framework can be expressed by a multicriteria optimization problem with two objective functions: the minimization of false positives and false negatives given by the parametric formula on a signal. We provide an algorithm to solve this multi-criteria optimization problem. Our approach is demonstrated on two case studies involving characterization and classification of labeled ECG (electrocardiogram) data.
Fichier principal
Vignette du fichier
FORMATS20finalpaper.pdf (836.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03035697 , version 1 (02-12-2020)

Identifiants

  • HAL Id : hal-03035697 , version 1

Citer

Nicolas Basset, Thao Dang, Akshay Mambakam, José Ignacio Requeno Jarabo. Learning Specifications for Labelled Patterns. Proceedinfs of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), Sep 2020, Vienna, Austria. ⟨hal-03035697⟩
35 Consultations
113 Téléchargements

Partager

Gmail Facebook X LinkedIn More