--- res: bibo_abstract: - 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.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Miriam foaf_name: Garcia Soto, Miriam foaf_surname: Garcia Soto foaf_workInfoHomepage: http://www.librecat.org/personId=4B3207F6-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0003-2936-5719 - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-2985-7724 - foaf_Person: foaf_givenName: Christian foaf_name: Schilling, Christian foaf_surname: Schilling foaf_workInfoHomepage: http://www.librecat.org/personId=3A2F4DCE-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0003-3658-1065 bibo_doi: 10.1145/3447928.3456704 dct_date: 2021^xs_gYear dct_identifier: - UT:000932821700028 dct_isPartOf: - http://id.crossref.org/issn/9781450383394 dct_language: eng dct_publisher: Association for Computing Machinery@ dct_subject: - hybrid automaton - membership - system identification dct_title: Synthesis of hybrid automata with affine dynamics from time-series data@ ...