{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:32:08Z","timestamp":1769729528099,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Marie Sk?odowska-Curie grant from European Union","award":["754411"],"award-info":[{"award-number":["754411"]}]},{"name":"Austrian Science Fund, FWF","award":["Z211-N23"],"award-info":[{"award-number":["Z211-N23"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3447928.3456704","type":"proceedings-article","created":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T03:54:48Z","timestamp":1620100488000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of hybrid automata with affine dynamics from time-series data"],"prefix":"10.1145","author":[{"given":"Miriam Garc\u00eda","family":"Soto","sequence":"first","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}]},{"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[{"name":"University of Konstanz, Konstanz, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. HySynth. https:\/\/github.com\/HySynth\/HySynth.  2021. HySynth. https:\/\/github.com\/HySynth\/HySynth."},{"key":"e_1_3_2_1_2_1","volume-title":"EMSOFT (New Delhi, India)","author":"Alur Rajeev","unstructured":"Rajeev Alur and Nimit Singhania . 2014. Precise Piecewise Affine Models from Input-Output Data . In EMSOFT (New Delhi, India) . Association for Computing Machinery , Article 3. Rajeev Alur and Nimit Singhania. 2014. Precise Piecewise Affine Models from Input-Output Data. In EMSOFT (New Delhi, India). Association for Computing Machinery, Article 3."},{"key":"e_1_3_2_1_3_1","volume-title":"Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75, 2","author":"Angluin Dana","year":"1987","unstructured":"Dana Angluin . 1987. Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75, 2 ( 1987 ). Dana Angluin. 1987. Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75, 2 (1987)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3012240"},{"key":"e_1_3_2_1_6_1","article-title":"A bounded-error approach to piecewise affine system identification","volume":"50","author":"Bemporad Alberto","year":"2005","unstructured":"Alberto Bemporad , Andrea Garulli , Simone Paoletti , and Antonio Vicino . 2005 . A bounded-error approach to piecewise affine system identification . IEEE Trans. Automat. Contr. 50 , 10 (2005). Alberto Bemporad, Andrea Garulli, Simone Paoletti, and Antonio Vicino. 2005. A bounded-error approach to piecewise affine system identification. IEEE Trans. Automat. Contr. 50, 10 (2005).","journal-title":"IEEE Trans. Automat. Contr."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Sergiy Bogomolov Marcelo Forets Goran Frehse Kostiantyn Potomkin and Christian Schilling. 2019. JuliaReach: a toolbox for set-based reachability. In HSCC. ACM.  Sergiy Bogomolov Marcelo Forets Goran Frehse Kostiantyn Potomkin and Christian Schilling. 2019. JuliaReach: a toolbox for set-based reachability. In HSCC. ACM.","DOI":"10.1145\/3302504.3311804"},{"key":"e_1_3_2_1_8_1","article-title":"An Algorithm with Guaranteed Convergence for Finding a Zero of a","volume":"14","author":"Brent Richard P.","year":"1971","unstructured":"Richard P. Brent . 1971 . An Algorithm with Guaranteed Convergence for Finding a Zero of a Function. Comput. J. 14 , 4 (1971). Richard P. Brent. 1971. An Algorithm with Guaranteed Convergence for Finding a Zero of a Function. Comput. J. 14, 4 (1971).","journal-title":"Function. Comput. J."},{"key":"e_1_3_2_1_9_1","volume-title":"Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression. IFAC Proceedings Volumes 36","author":"Ferrari-Trecate Giancarlo","year":"2003","unstructured":"Giancarlo Ferrari-Trecate and Marco Muselli . 2003 . Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression. IFAC Proceedings Volumes 36 , 6 (2003). Giancarlo Ferrari-Trecate and Marco Muselli. 2003. Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression. IFAC Proceedings Volumes 36, 6 (2003)."},{"key":"e_1_3_2_1_10_1","volume-title":"A Clustering Technique for the Identification of Piecewise Affine systems","author":"Ferrari-Trecate Giancarlo","unstructured":"Giancarlo Ferrari-Trecate , Marco Muselli , Diego Liberati , and Manfred Morari . 2001. A Clustering Technique for the Identification of Piecewise Affine systems . In HSCC. Springer . Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, and Manfred Morari. 2001. A Clustering Technique for the Identification of Piecewise Affine systems. In HSCC. Springer."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.3182\/20120711-3-BE-2027.00332"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1161\/01.CIR.101.23.e215"},{"key":"e_1_3_2_1_13_1","volume-title":"An Thanh Nguyen, and Li Zhang","author":"Guibas Leonidas J.","year":"2003","unstructured":"Leonidas J. Guibas , An Thanh Nguyen, and Li Zhang . 2003 . Zonotopes as bounding volumes. In SODA. ACM\/SIAM. Leonidas J. Guibas, An Thanh Nguyen, and Li Zhang. 2003. Zonotopes as bounding volumes. In SODA. ACM\/SIAM."},{"key":"e_1_3_2_1_14_1","volume-title":"Logic and Theory of Algorithms","author":"Hainry Emmanuel","unstructured":"Emmanuel Hainry . 2008. Reachability in Linear Dynamical Systems . In Logic and Theory of Algorithms . Springer Berlin Heidelberg . Emmanuel Hainry. 2008. Reachability in Linear Dynamical Systems. In Logic and Theory of Algorithms. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_15_1","unstructured":"Yasmin Hashambhoy and Ren\u00e9 Vidal. 2005. Recursive identification of switched ARX models with unknown number of models and unknown orders. In CDC.  Yasmin Hashambhoy and Ren\u00e9 Vidal. 2005. Recursive identification of switched ARX models with unknown number of models and unknown orders. In CDC."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.856649"},{"key":"e_1_3_2_1_18_1","volume-title":"CDC","volume":"3","author":"Huang Kun","year":"2004","unstructured":"Kun Huang , A. Wagner , and Yi Ma . 2004 . Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES) . In CDC , Vol. 3 . Kun Huang, A. Wagner, and Yi Ma. 2004. Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES). In CDC, Vol. 3."},{"key":"e_1_3_2_1_19_1","volume-title":"A continuous optimization framework for hybrid system identification. Automatica 47, 3","author":"Lauer Fabien","year":"2011","unstructured":"Fabien Lauer , G\u00e9rard Bloch , and Ren\u00e9 Vidal . 2011. A continuous optimization framework for hybrid system identification. Automatica 47, 3 ( 2011 ). Fabien Lauer, G\u00e9rard Bloch, and Ren\u00e9 Vidal. 2011. A continuous optimization framework for hybrid system identification. Automatica 47, 3 (2011)."},{"key":"e_1_3_2_1_20_1","volume-title":"A framework for mining hybrid automata from input\/output traces","author":"Medhat Ramy","unstructured":"Ramy Medhat , S. Ramesh , Borzoo Bonakdarpour , and Sebastian Fischmeister . 2015. A framework for mining hybrid automata from input\/output traces . In EMSOFT. IEEE. Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, and Sebastian Fischmeister. 2015. A framework for mining hybrid automata from input\/output traces. In EMSOFT. IEEE."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.21105\/joss.00615"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00342"},{"key":"e_1_3_2_1_23_1","volume-title":"Identification of piecewise affine systems based on statistical clustering technique. Automatica 41, 5","author":"Nakada Hayato","year":"2005","unstructured":"Hayato Nakada , Kiyotsugu Takaba , and Tohru Katayama . 2005. Identification of piecewise affine systems based on statistical clustering technique. Automatica 41, 5 ( 2005 ). Hayato Nakada, Kiyotsugu Takaba, and Tohru Katayama. 2005. Identification of piecewise affine systems based on statistical clustering technique. Automatica 41, 5 (2005)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.1277"},{"key":"e_1_3_2_1_25_1","volume-title":"An exact and efficient algorithm for segmentation of ARX models","author":"Ozay Necmiye","unstructured":"Necmiye Ozay . 2016. An exact and efficient algorithm for segmentation of ARX models . In ACC. IEEE. Necmiye Ozay. 2016. An exact and efficient algorithm for segmentation of ARX models. In ACC. IEEE."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"N. Ozay C. Lagoa and M. Sznaier. 2009. Robust identification of switched affine systems via moments-based convex optimization. In CDC.  N. Ozay C. Lagoa and M. Sznaier. 2009. Robust identification of switched affine systems via moments-based convex optimization. In CDC.","DOI":"10.1109\/CDC.2009.5399962"},{"key":"e_1_3_2_1_27_1","volume-title":"Set membership identification of switched linear systems with known number of subsystems. Automatica 51","author":"Ozay Necmiye","year":"2015","unstructured":"Necmiye Ozay , Constantino M. Lagoa , and Mario Sznaier . 2015. Set membership identification of switched linear systems with known number of subsystems. Automatica 51 ( 2015 ). Necmiye Ozay, Constantino M. Lagoa, and Mario Sznaier. 2015. Set membership identification of switched linear systems with known number of subsystems. Automatica 51 (2015)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.13.242-260"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Pavithra Prabhakar and Miriam Garc\u00eda Soto. 2016. An algorithmic approach to global asymptotic stability verification of hybrid systems. In EMSOFT. ACM.  Pavithra Prabhakar and Miriam Garc\u00eda Soto. 2016. An algorithmic approach to global asymptotic stability verification of hybrid systems. In EMSOFT. ACM.","DOI":"10.1145\/2968478.2968483"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5334\/jors.151"},{"key":"e_1_3_2_1_31_1","volume-title":"Identification of Piecewise Affine Systems via Mixed-Integer Programming. Automatica 40, 1","author":"Roll Jacob","year":"2004","unstructured":"Jacob Roll , Alberto Bemporad , and Lennart Ljung . 2004. Identification of Piecewise Affine Systems via Mixed-Integer Programming. Automatica 40, 1 ( 2004 ). Jacob Roll, Alberto Bemporad, and Lennart Ljung. 2004. Identification of Piecewise Affine Systems via Mixed-Integer Programming. Automatica 40, 1 (2004)."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179208934230"},{"key":"e_1_3_2_1_33_1","volume-title":"CAV","volume":"11561","author":"Soto Miriam Garc\u00eda","year":"2019","unstructured":"Miriam Garc\u00eda Soto , Thomas A. Henzinger , Christian Schilling , and Luka Zeleznik . 2019 . Membership-Based Synthesis of Linear Hybrid Automata . In CAV , Vol. 11561 . Springer. Miriam Garc\u00eda Soto, Thomas A. Henzinger, Christian Schilling, and Luka Zeleznik. 2019. Membership-Based Synthesis of Linear Hybrid Automata. In CAV, Vol. 11561. Springer."},{"key":"e_1_3_2_1_34_1","volume-title":"CDC","volume":"4","author":"Verdult V.","unstructured":"V. Verdult and M. Verhaegen . 2004. Subspace identification of piecewise linear systems . In CDC , Vol. 4 . V. Verdult and M. Verhaegen. 2004. Subspace identification of piecewise linear systems. In CDC, Vol. 4."},{"key":"e_1_3_2_1_35_1","volume-title":"Anderson","author":"Vidal Ren\u00e9","year":"2004","unstructured":"Ren\u00e9 Vidal and Brian D. O . Anderson . 2004 . Recursive identification of switched ARX hybrid models: exponential convergence and persistence of excitation. In CDC , Vol. 1 . Ren\u00e9 Vidal and Brian D. O. Anderson. 2004. Recursive identification of switched ARX hybrid models: exponential convergence and persistence of excitation. In CDC, Vol. 1."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(86)90005-1"}],"event":{"name":"HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control","location":"Nashville Tennessee","acronym":"HSCC '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3447928.3456704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:24Z","timestamp":1750195704000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3447928.3456704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":36,"alternative-id":["10.1145\/3447928.3456704","10.1145\/3447928"],"URL":"https:\/\/doi.org\/10.1145\/3447928.3456704","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}