Specification and Efficient Monitoring Beyond STL - IMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Specification and Efficient Monitoring Beyond STL

Alexey Bakhirkin
  • Fonction : Auteur
  • PersonId : 1028653
Nicolas Basset
  • Fonction : Auteur
  • PersonId : 772554
  • IdRef : 191360848

Résumé

An appealing feature of Signal Temporal Logic (STL) is the existence of efficient monitoring algorithms both for Boolean and real-valued robustness semantics, which are based on computing an aggregate function (conjunction, disjunction, min, or max) over a sliding window. On the other hand, there are properties that can be monitored with the same algorithms, but that cannot be directly expressed in STL due to syntactic restrictions. In this paper, we define a new specification language that extends STL with the ability to produce and manipulate real-valued output signals and with a new form of until operator. The new language still admits efficient offline monitoring, but also allows to express some properties that in the past motivated researchers to extend STL with existential quantification, freeze quantification, and other features that increase the complexity of monitoring.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
tacas19.pdf (295.97 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03559425 , version 1 (06-02-2022)

Identifiants

  • HAL Id : hal-03559425 , version 1

Citer

Alexey Bakhirkin, Nicolas Basset. Specification and Efficient Monitoring Beyond STL. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference (TACAS), Apr 2019, Prague, Czech Republic. ⟨hal-03559425⟩
34 Consultations
162 Téléchargements

Partager

Gmail Facebook X LinkedIn More