Efficient Parametric Identification for STL

Abstract : We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a dense-time real-valued signal w and a parameterized temporal logic formula phi, compute the subset of the parameter space that renders the formula satisfied by the signal. Unlike previous solutions, which were based on search in the parameter space or quantifier elimination , our procedure works recursively on phi and computes the evolution over time of the set of valid parameter assignments. This procedure is similar to that of monitoring or computing the robustness of phi relative to w. Our implementation and experiments demonstrate that this approach can work well in practice.
Type de document :
Communication dans un congrès
21st International Conference on Hybrid Systems: Computation and Control (HSCC'18), Apr 2018, Porto, Portugal. 〈10.1145/3178126.3178132〉
Liste complète des métadonnées

Littérature citée [42 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01715564
Contributeur : Alexey Bakhirkin <>
Soumis le : mardi 6 mars 2018 - 16:00:18
Dernière modification le : samedi 10 mars 2018 - 01:10:59

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

IMAG | UGA

Citation

Alexey Bakhirkin, Thomas Ferrère, Oded Maler. Efficient Parametric Identification for STL. 21st International Conference on Hybrid Systems: Computation and Control (HSCC'18), Apr 2018, Porto, Portugal. 〈10.1145/3178126.3178132〉. 〈hal-01715564v2〉

Partager

Métriques

Consultations de la notice

27

Téléchargements de fichiers

12