{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,8]],"date-time":"2026-08-08T18:42:05Z","timestamp":1786214525299,"version":"3.56.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031453281","type":"print"},{"value":"9783031453298","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45329-8_2","type":"book-chapter","created":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T18:02:40Z","timestamp":1697911360000},"page":"33-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Learning Nonlinear Hybrid Automata from\u00a0Input\u2013Output Time-Series Data"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9823-710X","authenticated-orcid":false,"given":"Amit","family":"Gurung","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9360-7490","authenticated-orcid":false,"given":"Masaki","family":"Waga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7466-8789","authenticated-orcid":false,"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"2_CR1","unstructured":"MathWorks: Engine Timing Model with Closed Loop Control. https:\/\/in.mathworks.com\/help\/simulink\/slref\/engine-timing-model-with-closed-loop-control.html. Accessed 29 Dec 2022"},{"key":"2_CR2","unstructured":"MathWorks: Simulation of Bouncing Ball. https:\/\/in.mathworks.com\/help\/simulink\/slref\/simulation-of-a-bouncing-ball.html. Accessed 29 Dec 2022"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TAC.1959.1104847","volume":"4","author":"R Bellman","year":"1959","unstructured":"Bellman, R., Kalaba, R.: On adaptive control processes. IRE Trans. Autom. Control. 4(2), 1\u20139 (1959)","journal-title":"IRE Trans. Autom. Control."},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-540-68894-5_12","volume-title":"Formal Methods for Computational Systems Biology","author":"L Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Hybrid systems and biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 424\u2013448. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68894-5_12"},{"key":"2_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9781119121534","volume-title":"Numerical Methods for Ordinary Differential Equations","author":"JC Butcher","year":"2016","unstructured":"Butcher, J.C.: Numerical Methods for Ordinary Differential Equations. Wiley, Hoboken (2016)"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Filippidis, I., Dathathri, S., Livingston, S.C., Ozay, N., Murray, R.M.: Control design for hybrid systems with tulip: the temporal logic planning toolbox. In: 2016 IEEE Conference on Control Applications (CCA) (2016). https:\/\/doi.org\/10.1109\/cca.2016.7587949","DOI":"10.1109\/cca.2016.7587949"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30, http:\/\/spaceex.imag.fr","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Garulli, A., Paoletti, S., Vicino, A.: A survey on switched and piecewise affine system identification. IFAC Proc. Vol. 45(16), 344\u2013355 (2012). https:\/\/doi.org\/10.3182\/20120711-3-be-2027.00332","DOI":"10.3182\/20120711-3-be-2027.00332"},{"key":"2_CR10","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":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hiskens, I.A.: Stability of limit cycles in hybrid systems. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, pp. 6\u2013pp. IEEE (2001)","DOI":"10.1109\/HICSS.2001.926280"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s00165-021-00542-7","volume":"33","author":"X Jin","year":"2021","unstructured":"Jin, X., An, J., Zhan, B., Zhan, N., Zhang, M.: Inferring switched nonlinear dynamical systems. Formal Aspects Comput. 33(3), 385\u2013406 (2021)","journal-title":"Formal Aspects Comput."},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1137\/19M130981X","volume":"59","author":"RT Keller","year":"2021","unstructured":"Keller, R.T., Du, Q.: Discovery of dynamics using linear multistep methods. SIAM J. Numer. Anal. 59(1), 429\u2013455 (2021)","journal-title":"SIAM J. Numer. Anal."},{"key":"2_CR14","unstructured":"Lygeros, J., Tomlin, C., Sastry, S.: Hybrid systems: modeling, analysis and control. Electronic Research Laboratory, University of California, Berkeley, CA, Technical report. UCB\/ERL M, vol. 99, p. 6 (2008)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Peled, D.A., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII\/PSTV XIX 1999, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), 5\u20138 October 1999, Beijing, China. IFIP Conference Proceedings, vol. 156, pp. 225\u2013240. Kluwer (1999)","DOI":"10.1007\/978-0-387-35578-8_13"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3556543","volume":"22","author":"I Saberi","year":"2022","unstructured":"Saberi, I., Faghih, F., Bavil, F.S.: A passive online technique for learning hybrid automata from input\/output traces. ACM Trans. Embed. Comput. Syst. 22(1), 1\u201324 (2022). https:\/\/doi.org\/10.1145\/3556543","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Saoud, A., Jagtap, P., Zamani, M., Girard, A.: Compositional abstraction-based synthesis for cascade discrete-time control systems. In: Abate, A., Girard, A., Heemels, M. (eds.) 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, 11\u201313 July 2018. IFAC-PapersOnLine, vol. 51, pp. 13\u201318. Elsevier (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.08.003","DOI":"10.1016\/j.ifacol.2018.08.003"},{"issue":"1\u201323","key":"2_CR18","first-page":"40","volume":"855","author":"P Senin","year":"2008","unstructured":"Senin, P.: Dynamic time warping algorithm review. Inf. Comput. Sci. Dept. Univ. Hawaii Manoa Honolulu USA 855(1\u201323), 40 (2008)","journal-title":"Inf. Comput. Sci. Dept. Univ. Hawaii Manoa Honolulu USA"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-88494-9_6","volume-title":"Runtime Verification","author":"J Shijubo","year":"2021","unstructured":"Shijubo, J., Waga, M., Suenaga, K.: Efficient black-box checking via model checking with strengthened specifications. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 100\u2013120. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_6"},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"Soto, M.G., Henzinger, T.A., Schilling, C.: Synthesis of hybrid automata with affine dynamics from time-series data. In: Bogomolov, S., Jungers, R.M. (eds.) HSCC 2021: 24th ACM International Conference on Hybrid Systems: Computation and Control, Nashville, Tennessee, 19\u201321 May 2021, pp. 2:1\u20132:11. ACM (2021). https:\/\/doi.org\/10.1145\/3447928.3456704","DOI":"10.1145\/3447928.3456704"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-031-19992-9_22","volume-title":"Automated Technology for Verification and Analysis","author":"MG Soto","year":"2022","unstructured":"Soto, M.G., Henzinger, T.A., Schilling, C.: Synthesis of parametric hybrid automata from time series. In: Bouajjani, A., Hol\u00edk, L., Wu, Z. (eds.) ATVA 2022. LNCS, vol. 13505, pp. 337\u2013353. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_22"},{"key":"2_CR22","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"},{"key":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801181","volume-title":"An Introduction to Numerical Analysis","author":"E S\u00fcli","year":"2003","unstructured":"S\u00fcli, E., Mayers, D.F.: An Introduction to Numerical Analysis. Cambridge University Press, Cambridge (2003)"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Waga, M.: Falsification of cyber-physical systems with robustness-guided black-box checking. In: Ames, A.D., Seshia, S.A., Deshmukh, J. (eds.) HSCC 2020: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, 21\u201324 April 2020, pp. 11:1\u201311:13. ACM (2020). https:\/\/doi.org\/10.1145\/3365365.3382193","DOI":"10.1145\/3365365.3382193"},{"issue":"4","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3529095","volume":"6","author":"M Waga","year":"2022","unstructured":"Waga, M., Andr\u00e9, E., Hasuo, I.: Model-bounded monitoring of hybrid systems. ACM Trans. Cyber-Phys. Syst. 6(4), 1\u201326 (2022). https:\/\/doi.org\/10.1145\/3529095","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"2_CR26","doi-asserted-by":"publisher","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. ACM Trans. Cyber Phys. Syst. 6(2), 13:1\u201313:24 (2022). https:\/\/doi.org\/10.1145\/3470455","DOI":"10.1145\/3470455"},{"key":"2_CR27","unstructured":"Ye, P., Entcheva, E., Grosu, R., Smolka, S.A.: Efficient modeling of excitable cells using hybrid automata. In: Proceedings of CMSB, vol. 5, pp. 216\u2013227 (2005)"}],"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-45329-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T15:55:34Z","timestamp":1730390134000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45329-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031453281","9783031453298"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45329-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 October 2023","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":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/atva-conference.org\/2023\/","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":"115","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":"30","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":"0","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.05","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":"9","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","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":"7 tool papers","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)"}}]}}