---
_id: '182'
abstract:
- lang: eng
  text: 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.
alternative_title:
- HSCC Proceedings
article_processing_charge: No
author:
- first_name: Alexey
  full_name: Bakhirkin, Alexey
  last_name: Bakhirkin
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Oded
  full_name: Maler, Oded
  last_name: Maler
citation:
  ama: 'Bakhirkin A, Ferrere T, Maler O. Efficient parametric identification for STL.
    In: <i>Proceedings of the 21st International Conference on Hybrid Systems</i>.
    ACM; 2018:177-186. doi:<a href="https://doi.org/10.1145/3178126.3178132">10.1145/3178126.3178132</a>'
  apa: 'Bakhirkin, A., Ferrere, T., &#38; Maler, O. (2018). Efficient parametric identification
    for STL. In <i>Proceedings of the 21st International Conference on Hybrid Systems</i>
    (pp. 177–186). Porto, Portugal: ACM. <a href="https://doi.org/10.1145/3178126.3178132">https://doi.org/10.1145/3178126.3178132</a>'
  chicago: Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric
    Identification for STL.” In <i>Proceedings of the 21st International Conference
    on Hybrid Systems</i>, 177–86. ACM, 2018. <a href="https://doi.org/10.1145/3178126.3178132">https://doi.org/10.1145/3178126.3178132</a>.
  ieee: A. Bakhirkin, T. Ferrere, and O. Maler, “Efficient parametric identification
    for STL,” in <i>Proceedings of the 21st International Conference on Hybrid Systems</i>,
    Porto, Portugal, 2018, pp. 177–186.
  ista: 'Bakhirkin A, Ferrere T, Maler O. 2018. Efficient parametric identification
    for STL. Proceedings of the 21st International Conference on Hybrid Systems. HSCC:
    Hybrid Systems - Computation and Control, HSCC Proceedings, , 177–186.'
  mla: Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” <i>Proceedings
    of the 21st International Conference on Hybrid Systems</i>, ACM, 2018, pp. 177–86,
    doi:<a href="https://doi.org/10.1145/3178126.3178132">10.1145/3178126.3178132</a>.
  short: A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International
    Conference on Hybrid Systems, ACM, 2018, pp. 177–186.
conference:
  end_date: 2018-04-13
  location: Porto, Portugal
  name: 'HSCC: Hybrid Systems - Computation and Control'
  start_date: 2018-04-11
date_created: 2018-12-11T11:45:04Z
date_published: 2018-04-11T00:00:00Z
date_updated: 2025-07-10T11:51:21Z
day: '11'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1145/3178126.3178132
external_id:
  isi:
  - '000474781600020'
file:
- access_level: open_access
  checksum: 81eabc96430e84336ea88310ac0a1ad0
  content_type: application/pdf
  creator: dernst
  date_created: 2020-05-14T12:18:29Z
  date_updated: 2020-07-14T12:45:17Z
  file_id: '7833'
  file_name: 2018_HSCC_Bakhirkin.pdf
  file_size: 5900421
  relation: main_file
file_date_updated: 2020-07-14T12:45:17Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '04'
oa: 1
oa_version: Submitted Version
page: 177 - 186
project:
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
publication: Proceedings of the 21st International Conference on Hybrid Systems
publication_identifier:
  isbn:
  - '978-1-4503-5642-8 '
publication_status: published
publisher: ACM
publist_id: '7739'
quality_controlled: '1'
scopus_import: '1'
status: public
title: Efficient parametric identification for STL
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2018'
...