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