{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:21:59Z","timestamp":1778498519570,"version":"3.51.4"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T00:00:00Z","timestamp":1649635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"crossref","award":["FA8750-18-C-0089"],"award-info":[{"award-number":["FA8750-18-C-0089"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Science Foundation","award":["1910017, 1918450, and 2028001"],"award-info":[{"award-number":["1910017, 1918450, and 2028001"]}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"crossref","award":["N00014-18-1-2184"],"award-info":[{"award-number":["N00014-18-1-2184"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2022,4,30]]},"abstract":"<jats:p>\n            Automata-based modeling of hybrid and\n            <jats:bold>cyber-physical systems (CPS)<\/jats:bold>\n            is an important formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in verification, fault identification, and anomaly detection. However, for realistic systems, especially industrial ones, identifying hybrid automata is challenging, due in part to inferring hybrid interactions, which involves inference of both continuous behaviors, such as through classical system identification, as well as discrete behaviors, such as through automata (e.g., L*) learning. In this paper, we propose and evaluate a framework for inferring and validating models of deterministic hybrid systems with linear\n            <jats:bold>ordinary differential equations (ODEs)<\/jats:bold>\n            from input\/output execution traces. The framework contains algorithms for the approximation of continuous dynamics in discrete modes, estimation of transition conditions, and the inference of automata mode merging. The algorithms are capable of clustering trace segments and estimating their dynamic parameters, and meanwhile, deriving guard conditions that are represented by multiple linear inequalities. Finally, the inferred model is automatically converted to the format of the original system for the validation. We demonstrate the utility of this framework by evaluating its performance in several case studies as implemented through a publicly available prototype software framework called HAutLearn and compare it with a membership-based algorithm.\n          <\/jats:p>","DOI":"10.1145\/3470455","type":"journal-article","created":{"date-parts":[[2022,2,11]],"date-time":"2022-02-11T18:14:06Z","timestamp":1644603246000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1310-2615","authenticated-orcid":false,"given":"Xiaodong","family":"Yang","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, TN, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5353-7616","authenticated-orcid":false,"given":"Omar Ali","family":"Beg","sequence":"additional","affiliation":[{"name":"The University of Texas Permian Basin, Midland, Texas, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1621-6343","authenticated-orcid":false,"given":"Matthew","family":"Kenigsberg","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8021-9923","authenticated-orcid":false,"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,4,11]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31280-0_1"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_3_6_2","unstructured":"Ery Arias-Castro and Jue Wang. 2017. RANSAC Algorithms for Subspace Recovery and Subspace Clustering. (2017). arXiv preprint arXiv:1711.11220."},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0458-1"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728630"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.036"},{"key":"e_1_3_3_10_2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-78929-1_4","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"Bako Laurent","year":"2008","unstructured":"Laurent Bako and Ren\u00e9 Vidal. 2008. Algebraic identification of MIMO SARX models. In International Workshop on Hybrid Systems: Computation and Control. Springer, St Louis, MO, United States, 43\u201357."},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2011.5991041"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2017.2688961"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.3182\/20090706-3-FR-2004.00276"},{"key":"e_1_3_3_14_2","doi-asserted-by":"publisher","DOI":"10.1051\/ita:1999102"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.149.5"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_3_18_2","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/978-3-540-24743-2_22","volume-title":"Hybrid Systems: Computation and Control","author":"Fehnker Ansgar","year":"2004","unstructured":"Ansgar Fehnker and Franjo Ivan\u010di\u0107. 2004. Benchmarks for hybrid systems verification. In Hybrid Systems: Computation and Control, Rajeev Alur and George J. Pappas (Eds.). Springer Berlin, Berlin, 326\u2013341."},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00224-8"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/358669.358692"},{"key":"e_1_3_3_21_2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification (CAV) (LNCS)","author":"Frehse Goran","year":"2011","unstructured":"Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable verification of hybrid systems. In Computer Aided Verification (CAV) (LNCS). Springer, Berlin, 379\u2013395."},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.3182\/20120711-3-BE-2027.00332"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2008.03.014"},{"key":"e_1_3_3_24_2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/978-3-540-71493-4_21","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"Grosu Radu","year":"2007","unstructured":"Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, and Scott A. Smolka. 2007. Learning cycle-linear hybrid automata for excitable cells. In International Workshop on Hybrid Systems: Computation and Control. Springer, Berlin, 245\u2013258."},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00038-9"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/2023568.2023575"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1002\/aic.12112"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735979"},{"key":"e_1_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717032"},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2018.8387670"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.12.001"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(90)90154-A"},{"key":"e_1_3_3_34_2","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-31954-2_29","volume-title":"International Workshop on Hybrid Systems: Computation and Control","author":"Ma Yi","year":"2005","unstructured":"Yi Ma and Ren\u00e9 Vidal. 2005. Identification of deterministic switched ARX systems via identification of algebraic varieties. In International Workshop on Hybrid Systems: Computation and Control. Springer, Berlin, 449\u2013465."},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.02051"},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.5555\/2830865.2830885"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2010.5611209"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1994.751861"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1145\/3170500"},{"key":"e_1_3_3_40_2","first-page":"19","volume-title":"Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2014)","author":"Nguyen Luan Viet","year":"2014","unstructured":"Luan Viet Nguyen and Taylor T. Johnson. 2014. Benchmark: DC-to-DC switched-mode power converters (Buck Converters, Boost Converters, and Buck-Boost Converters). In Applied Verification for Continuous and Hybrid Systems Workshop (ARCH 2014), Vol. 34. EasyChair, Berlin, Germany, 19\u201324."},{"key":"e_1_3_3_41_2","first-page":"1083","volume-title":"AAAI","author":"Niggemann Oliver","year":"2012","unstructured":"Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander Maier, and Hans Kleine B\u00fcning. 2012. Learning behavior models for hybrid timed systems.. In AAAI, Vol. 2. Toronto, Canada, 1083\u20131090."},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.00611"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.13.242-260"},{"key":"e_1_3_3_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_1"},{"key":"e_1_3_3_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081189"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030173"},{"key":"e_1_3_3_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_16"},{"key":"e_1_3_3_48_2","article-title":"CHARDA: Causal hybrid automata recovery via dynamic analysis","author":"Summerville Adam","year":"2017","unstructured":"Adam Summerville, Joseph Osborn, and Michael Mateas. 2017. CHARDA: Causal hybrid automata recovery via dynamic analysis. arXiv preprint arXiv:1707.03336 (2017).","journal-title":"arXiv preprint arXiv:1707.03336"},{"key":"e_1_3_3_49_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29662-9_13"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1998.0224"},{"key":"e_1_3_3_51_2","volume-title":"Efficient Identification of Timed Automata: Theory and Practice","author":"Verwer Sicco Ewout","year":"2010","unstructured":"Sicco Ewout Verwer. 2010. Efficient Identification of Timed Automata: Theory and Practice. Ph.D. Dissertation. Delft University of Technology."},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2004.1383660"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.01.025"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2003.1272554"},{"key":"e_1_3_3_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2001.938625"},{"key":"e_1_3_3_56_2","volume-title":"The Schur Complement and its Applications","author":"Zhang Fuzhen","year":"2006","unstructured":"Fuzhen Zhang. 2006. The Schur Complement and its Applications. Vol. 4. Springer Science & Business Media."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3470455","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3470455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:26Z","timestamp":1750188626000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3470455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,11]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4,30]]}},"alternative-id":["10.1145\/3470455"],"URL":"https:\/\/doi.org\/10.1145\/3470455","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,11]]},"assertion":[{"value":"2020-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}