{"alternative_title":["HSCC Proceedings"],"doi":"10.1145/3178126.3178132","author":[{"last_name":"Bakhirkin","full_name":"Bakhirkin, Alexey","first_name":"Alexey"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas","first_name":"Thomas"},{"first_name":"Oded","full_name":"Maler, Oded","last_name":"Maler"}],"conference":{"end_date":"2018-04-13","start_date":"2018-04-11","name":"HSCC: Hybrid Systems: Computation and Control","location":"Porto, Portugal"},"_id":"182","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 21st International Conference on Hybrid Systems","publication_status":"published","type":"conference","has_accepted_license":"1","date_updated":"2023-09-11T13:30:51Z","isi":1,"publication_identifier":{"isbn":["978-1-4503-5642-8 "]},"external_id":{"isi":["000474781600020"]},"page":"177 - 186","status":"public","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23","call_identifier":"FWF","name":"Rigorous Systems Engineering"}],"file_date_updated":"2020-07-14T12:45:17Z","oa":1,"ddc":["000"],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","department":[{"_id":"ToHe"}],"date_created":"2018-12-11T11:45:04Z","month":"04","citation":{"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.","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>.","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>","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>.","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>","short":"A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.","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."},"title":"Efficient parametric identification for STL","scopus_import":"1","quality_controlled":"1","oa_version":"Submitted Version","publist_id":"7739","language":[{"iso":"eng"}],"file":[{"creator":"dernst","file_id":"7833","date_updated":"2020-07-14T12:45:17Z","access_level":"open_access","file_name":"2018_HSCC_Bakhirkin.pdf","relation":"main_file","date_created":"2020-05-14T12:18:29Z","checksum":"81eabc96430e84336ea88310ac0a1ad0","file_size":5900421,"content_type":"application/pdf"}],"day":"11","publisher":"ACM","year":"2018","date_published":"2018-04-11T00:00:00Z"}