{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:12:45Z","timestamp":1742919165513,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031199912"},{"type":"electronic","value":"9783031199929"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19992-9_22","type":"book-chapter","created":{"date-parts":[[2022,10,22]],"date-time":"2022-10-22T09:12:06Z","timestamp":1666429926000},"page":"337-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of\u00a0Parametric Hybrid Automata from\u00a0Time Series"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2936-5719","authenticated-orcid":false,"given":"Miriam","family":"Garc\u00eda Soto","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2985-7724","authenticated-orcid":false,"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3658-1065","authenticated-orcid":false,"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,21]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Ann. Rev. Control Robot. Auton. Syst. 4 (2020)","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57318-6_30"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-78929-1_4","volume-title":"Hybrid Systems: Computation and Control","author":"L Bako","year":"2008","unstructured":"Bako, L., Vidal, R.: Algebraic identification of MIMO SARX models. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 43\u201357. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78929-1_4"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., Qin, X.: Mining shape expressions from positive examples. Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), 3809\u20133820 (2020)","DOI":"10.1109\/TCAD.2020.3012240"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Bemporad, A., Garulli, A., Paoletti, S., Vicino, A.: A bounded-error approach to piecewise affine system identification. Trans. Automat. Contr. 50(10) (2005)","DOI":"10.1109\/TAC.2005.856667"},{"key":"22_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","year":"2018","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Douglas, D.H., Peucker, T.K.: Algorithms for the reduction of the number of points required to represent a digitized line or its caricature. Cartographica 10(2) (1973)","DOI":"10.3138\/FM57-6770-U75U-7727"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Ferrari-Trecate, G., Muselli, M.: Single-linkage clustering for optimal classification in piecewise affine regression. In: ADHS, vol. 36, pp. 33\u201338. Elsevier (2003)","DOI":"10.1016\/S1474-6670(17)36403-0"},{"key":"22_CR9","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010855","volume-title":"Handbook of Dynamic System Modeling","author":"PA Fishwick","year":"2007","unstructured":"Fishwick, P.A.: Handbook of Dynamic System Modeling. CRC Press, Boca Raton (2007)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Forets, M., Schilling, C.: LazySets.jl: scalable symbolic-numeric set computations. In: Proceedings of the JuliaCon Conferences, vol. 1, no. 1, p. 11 (2021)","DOI":"10.21105\/jcon.00097"},{"key":"22_CR11","unstructured":"Frigg, R., Hartmann, S.: Models in science. In: The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2020)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Garc\u00eda Soto, M., Henzinger, T.A., Schilling, C.: Synthesis of hybrid automata with affine dynamics from time-series data. In: HSCC, pp. 2:1\u20132:11 (2021)","DOI":"10.1145\/3447928.3456704"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-030-25540-4_16","volume-title":"Computer Aided Verification","author":"M Garc\u00eda Soto","year":"2019","unstructured":"Garc\u00eda Soto, M., Henzinger, T.A., Schilling, C., Zeleznik, L.: Membership-based synthesis of linear hybrid automata. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 297\u2013314. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_16"},{"issue":"16","key":"22_CR14","doi-asserted-by":"publisher","first-page":"344","DOI":"10.3182\/20120711-3-BE-2027.00332","volume":"45","author":"A Garulli","year":"2012","unstructured":"Garulli, A., Paoletti, S., Vicino, A.: A survey on switched and piecewise affine system identification. IFAC Proc. Vol. 45(16), 344\u2013355 (2012)","journal-title":"IFAC Proc. Vol."},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-71493-4_21","volume-title":"Hybrid Systems: Computation and Control","author":"R Grosu","year":"2007","unstructured":"Grosu, R., Mitra, S., Ye, P., Entcheva, E., Ramakrishnan, I.V., Smolka, S.A.: Learning cycle-linear hybrid automata for excitable cells. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 245\u2013258. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71493-4_21"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Hashambhoy, Y., Vidal, R.: Recursive identification of switched ARX models with unknown number of models and unknown orders. In: CDC, pp. 6115\u20136121 (2005)","DOI":"10.1109\/CDC.2005.1583140"},{"key":"22_CR17","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"Verification of Digital and Hybrid Systems","author":"TA Henzinger","year":"2000","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 265\u2013292. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-642-59615-5_13"},{"key":"22_CR18","unstructured":"Huang, K., Wagner, A., Ma, Y.: Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES). In: CDC (2004)"},{"issue":"10","key":"22_CR19","doi-asserted-by":"publisher","first-page":"1520","DOI":"10.1109\/TAC.2005.856649","volume":"50","author":"AL Juloski","year":"2005","unstructured":"Juloski, A.L., Weiland, S., Heemels, W.P.M.H.: A Bayesian approach to identification of hybrid systems. Trans. Autom. Control. 50(10), 1520\u20131533 (2005)","journal-title":"Trans. Autom. Control."},{"key":"22_CR20","unstructured":"Khachiyan, L.G.: A polynomial algorithm in linear programming. In: Doklady Akademii Nauk, vol. 244, pp. 1093\u20131096. Russian Academy of Sciences (1979)"},{"issue":"2","key":"22_CR21","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1109\/JSYST.2014.2322503","volume":"9","author":"SK Khaitan","year":"2015","unstructured":"Khaitan, S.K., McCalley, J.D.: Design techniques and applications of cyberphysical systems: a survey. IEEE Syst. J. 9(2), 350\u2013365 (2015)","journal-title":"IEEE Syst. J."},{"key":"22_CR22","unstructured":"Klee, H., Raimondi, A.: Simulation of dynamic systems with Matlab and Simulink. J. Artif. Soc. Soc. Simul. 11(2) (2008)"},{"key":"22_CR23","volume-title":"Systems Biology: A Textbook","author":"E Klipp","year":"2016","unstructured":"Klipp, E., Liebermeister, W., Wierling, C., Kowald, A.: Systems Biology: A Textbook. Wiley, Hoboken (2016)"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Lamrani, I., Banerjee, A., Gupta, S.K.S.: HyMn: mining linear hybrid automata from input output traces of cyber-physical systems. In: ICPS, pp. 264\u2013269 (2018)","DOI":"10.1109\/ICPHYS.2018.8387670"},{"key":"22_CR25","volume-title":"Introduction to Embedded Systems: A Cyber-Physical Systems Approach","author":"EA Lee","year":"2017","unstructured":"Lee, E.A., Seshia, S.A.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach. MIT Press, Cambridge (2017)"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Liberzon, D.: Switching in Systems and Control. Birkh\u00e4user Boston (2003)","DOI":"10.1007\/978-1-4612-0017-8"},{"issue":"1","key":"22_CR27","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10441-019-09354-y","volume":"68","author":"L Liu","year":"2020","unstructured":"Liu, L., Bockmayr, A.: Formalizing metabolic-regulatory networks by hybrid automata. Acta. Biotheor. 68(1), 73\u201385 (2020)","journal-title":"Acta. Biotheor."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Lloyd, S.P.: Least squares quantization in PCM. Trans. Inf. Theory 28(2) (1982)","DOI":"10.1109\/TIT.1982.1056489"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Medhat, R., Ramesh, S., Bonakdarpour, B., Fischmeister, S.: A framework for mining hybrid automata from input\/output traces. In: EMSOFT (2015)","DOI":"10.1109\/EMSOFT.2015.7318273"},{"issue":"5","key":"22_CR30","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1016\/j.automatica.2004.12.005","volume":"41","author":"H Nakada","year":"2005","unstructured":"Nakada, H., Takaba, K., Katayama, T.: Identification of piecewise affine systems based on statistical clustering technique. Automatica 41(5), 905\u2013913 (2005)","journal-title":"Automatica"},{"key":"22_CR31","unstructured":"Niggemann, O., Stein, B., Vodencarevic, A., Maier, A., Kleine B\u00fcning, H.: Learning behavior models for hybrid timed systems. In: AAAI (2012)"},{"key":"22_CR32","doi-asserted-by":"crossref","unstructured":"Ozay, N.: An exact and efficient algorithm for segmentation of ARX models. In: ACC, pp. 38\u201341 (2016)","DOI":"10.1109\/ACC.2016.7524888"},{"issue":"2\u20133","key":"22_CR33","doi-asserted-by":"publisher","first-page":"242","DOI":"10.3166\/ejc.13.242-260","volume":"13","author":"S Paoletti","year":"2007","unstructured":"Paoletti, S., Juloski, A.L., Ferrari-Trecate, G., Vidal, R.: Identification of hybrid systems: a tutorial. Eur. J. Control 13(2\u20133), 242\u2013260 (2007)","journal-title":"Eur. J. Control"},{"key":"22_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Rackauckas, C., Nie, Q.: DifferentialEquations.jl - a performant and feature-rich ecosystem for solving differential equations in Julia. JORS 5(1) (2017)","DOI":"10.5334\/jors.151"},{"issue":"3","key":"22_CR36","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1016\/S0146-664X(72)80017-0","volume":"1","author":"U Ramer","year":"1972","unstructured":"Ramer, U.: An iterative procedure for the polygonal approximation of plane curves. Comput. Graph. Image Process. 1(3), 244\u2013256 (1972)","journal-title":"Comput. Graph. Image Process."},{"issue":"1","key":"22_CR37","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.automatica.2003.08.006","volume":"40","author":"J Roll","year":"2004","unstructured":"Roll, J., Bemporad, A., Ljung, L.: Identification of piecewise affine systems via mixed-integer programming. Automatica 40(1), 37\u201350 (2004)","journal-title":"Automatica"},{"key":"22_CR38","doi-asserted-by":"crossref","unstructured":"Silvert, W.: Modelling as a discipline. Int. J. General Syst. 30(3) (2001)","DOI":"10.1080\/03081070108960709"},{"key":"22_CR39","doi-asserted-by":"crossref","unstructured":"Singhania, R., Sramkoski, R.M., Jacobberger, J.W., Tyson, J.J.: A hybrid model of mammalian cell cycle regulation. PLoS Comput. Biol. 7(2) (2011)","DOI":"10.1371\/journal.pcbi.1001077"},{"key":"22_CR40","doi-asserted-by":"crossref","unstructured":"Summerville, A., Osborn, J.C., Mateas, M.: CHARDA: causal hybrid automata recovery via dynamic analysis. In: IJCAI, pp. 2800\u20132806 (2017)","DOI":"10.24963\/ijcai.2017\/390"},{"key":"22_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-030-29662-9_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M Tappler","year":"2019","unstructured":"Tappler, M., Aichernig, B.K., Larsen, K.G., Lorber, F.: Time to learn \u2013 learning timed automata from tests. In: Andr\u00e9, \u00c9., Stoelinga, M. (eds.) FORMATS 2019. LNCS, vol. 11750, pp. 216\u2013235. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29662-9_13"},{"key":"22_CR42","doi-asserted-by":"crossref","unstructured":"Verdult, V., Verhaegen, M.: Subspace identification of piecewise linear systems. In: CDC, pp. 3838\u20133843 (2004)","DOI":"10.1109\/CDC.2004.1429336"},{"key":"22_CR43","unstructured":"Vynnycky, E., White, R.: An Introduction to Infectious Disease Modelling. OUP Oxford (2010)"},{"key":"22_CR44","doi-asserted-by":"crossref","unstructured":"Yang, X., Beg, O.A., Kenigsberg, M., Johnson, T.T.: A framework for identification and validation of affine hybrid automata from input-output traces. Trans. Cyber-Phys. Syst. 6(2) (2022)","DOI":"10.1145\/3470455"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19992-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T10:01:01Z","timestamp":1728208861000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19992-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031199912","9783031199929"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19992-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"21 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/atva-conference.org\/2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"81","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the COVID-19 pandemic, the conference was held virtually. Additional to the 26 papers, 1 invited talk is included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}