[{"external_id":{"arxiv":[],"isi":[]},"article_processing_charge":"No","author":[{"orcid":"0000-0003-2936-5719","last_name":"Garcia Soto","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","first_name":"Miriam"},{"orcid":"0000-0002-2985-7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"},{"last_name":"Schilling","orcid":"0000-0003-3658-1065","first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Garcia Soto, Miriam, et al. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734, doi:10.1145/3447928.3456704.","apa":"Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2021). Synthesis of hybrid automata with affine dynamics from time-series data. In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (p. 2102.12734). Nashville, TN, United States: Association for Computing Machinery. https://doi.org/10.1145/3447928.3456704","short":"M. Garcia Soto, T.A. Henzinger, C. Schilling, in:, HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, 2021, p. 2102.12734.","ieee":"M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” in HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Nashville, TN, United States, 2021, p. 2102.12734.","chicago":"Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2102.12734. Association for Computing Machinery, 2021. https://doi.org/10.1145/3447928.3456704.","ista":"Garcia Soto M, Henzinger TA, Schilling C. 2021. Synthesis of hybrid automata with affine dynamics from time-series data. HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. HSCC: International Conference on Hybrid Systems Computation and Control, 2102.12734."},"dini_type":"doc-type:conferenceObject","project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize"},{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"date_created":"2021-02-26T16:30:39Z","date_published":"2021-05-01T00:00:00Z","page":"2102.12734","uri_base":"https://research-explorer.ista.ac.at","publication":"HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","dc":{"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"],"publisher":["Association for Computing Machinery"],"date":["2021"],"identifier":["https://research-explorer.ista.ac.at/record/9200","https://research-explorer.ista.ac.at/download/9200/9424"],"description":["Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations. Given a set of time-series data, we present an algorithmic approach to synthesize a hybrid automaton exhibiting behavior that is close to the data, up to a specified precision, and changes in synchrony with the data. A fundamental problem in our synthesis algorithm is to check membership of a time series in a hybrid automaton. Our solution integrates reachability and optimization techniques for affine dynamical systems to obtain both a sufficient and a necessary condition for membership, combined in a refinement framework. The algorithm processes one time series at a time and hence can be interrupted, provide an intermediate result, and be resumed. We report experimental results demonstrating the applicability of our synthesis approach."],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.1145/3447928.3456704","info:eu-repo/semantics/altIdentifier/isbn/9781450383394","info:eu-repo/semantics/altIdentifier/wos/000932821700028","info:eu-repo/semantics/altIdentifier/arxiv/2102.12734","info:eu-repo/grantAgreement/FWF//Z211","info:eu-repo/grantAgreement/EC/H2020/754411"],"source":["Garcia Soto M, Henzinger TA, Schilling C. Synthesis of hybrid automata with affine dynamics from time-series data. In: HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery; 2021:2102.12734. doi:10.1145/3447928.3456704"],"title":["Synthesis of hybrid automata with affine dynamics from time-series data"],"subject":["hybrid automaton","membership","system identification","ddc:000"],"creator":["Garcia Soto, Miriam","Henzinger, Thomas A","Schilling, Christian"],"rights":["https://creativecommons.org/licenses/by/4.0/","info:eu-repo/semantics/openAccess"],"language":["eng"]},"day":"01","isi":1,"has_accepted_license":"1","oa":1,"quality_controlled":"1","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411.","file_date_updated":"2021-05-25T13:53:22Z","department":[{"_id":"ToHe","tree":[{"_id":"ResearchGroups"},{"_id":"IST"}]}],"ddc":[],"creator":{"login":"mgarcias","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87"},"date_updated":"2023-08-07T13:49:33Z","keyword":[],"status":"public","conference":{"name":"HSCC: International Conference on Hybrid Systems Computation and Control","start_date":"2021-05-19","end_date":"2021-05-21","location":"Nashville, TN, United States"},"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"conference","_id":"9200","ec_funded":1,"language":[{}],"file":[{"success":1,"checksum":"4c1202c1abf71384c3ee6fea88c2f80e","file_id":"9424","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_name":"2021_HSCC_Soto.pdf","date_created":"2021-05-25T13:53:22Z","file_size":1474786,"date_updated":"2021-05-25T13:53:22Z","creator":"kschuh"}],"publication_status":"published","publication_identifier":{"isbn":[]},"month":"05","scopus_import":"1","oa_version":"Published Version","abstract":[{"lang":"eng"}]}]