Efficient parametric identification for STL

A. Bakhirkin, T. Ferrere, O. Maler, in:, Association for Computing Machinery, Inc, 2018, pp. 177–186.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published | English
Author
; ;
Department
Series Title
HSCC Proceedings
Abstract
We describe a new algorithm for the parametric identification problem for signal temporal logic (STL), stated as follows. Given a densetime real-valued signal w and a parameterized temporal logic formula φ, 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 φ 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 φ relative to w. Our implementation and experiments demonstrate that this approach can work well in practice.
Publishing Year
Date Published
2018-04-11
Page
177 - 186
Conference
HSCC: Hybrid Systems: Computation and Control
Conference Location
Porto, Portugal
Conference Date
2018-04-11 – 2018-04-13
IST-REx-ID

Cite this

Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL. In: Association for Computing Machinery, Inc; 2018:177-186. doi:10.1145/3178126.3178132
Bakhirkin, A., Ferrere, T., & Maler, O. (2018). Efficient parametric identification for STL (pp. 177–186). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3178132
Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL,” 177–86. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178132.
A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification for STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 177–186.
Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification for STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, 177–186.
Bakhirkin, Alexey, et al. Efficient Parametric Identification for STL. Association for Computing Machinery, Inc, 2018, pp. 177–86, doi:10.1145/3178126.3178132.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar
ISBN Search