{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T20:51:27Z","timestamp":1768337487114,"version":"3.49.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030576271","type":"print"},{"value":"9783030576288","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57628-8_16","type":"book-chapter","created":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T23:19:22Z","timestamp":1598311162000},"page":"265-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling"],"prefix":"10.1007","author":[{"given":"Dongxu","family":"Li","sequence":"first","affiliation":[]},{"given":"Stanley","family":"Bak","sequence":"additional","affiliation":[]},{"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,25]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, pp. 173\u2013182. ACM (2013)","DOI":"10.1145\/2461328.2461358"},{"key":"16_CR2","unstructured":"Althoff, M., et al.: Arch-comp18 category report: continuous and hybrid systems with linear continuous dynamics. In: Proceedings of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 23\u201352 (2018)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Althoff, M., Le Guernic, C., Krogh, B.H.: Reachable set computation for uncertain time-varying linear systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, pp. 93\u2013102. ACM (2011)","DOI":"10.1145\/1967701.1967717"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of the 47th IEEE Conference on Decision and Control (2008)","DOI":"10.1109\/CDC.2008.4738704"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-36580-X_5","volume-title":"Hybrid Systems: Computation and Control","author":"E Asarin","year":"2003","unstructured":"Asarin, E., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 20\u201335. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36580-X_5"},{"issue":"7","key":"16_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s00236-006-0035-7","volume":"43","author":"E Asarin","year":"2007","unstructured":"Asarin, E., Dang, T., Girard, A.: Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7), 451\u2013476 (2007)","journal-title":"Acta Informatica"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.nahs.2009.08.003","volume":"4","author":"S Azuma","year":"2010","unstructured":"Azuma, S., Imura, J., Sugie, T.: Lebesgue piecewise affine approximation of nonlinear systems. Nonlinear Anal. Hybrid Syst. 4(1), 92\u2013102 (2010)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-319-65765-3_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S Bak","year":"2017","unstructured":"Bak, S., Bogomolov, S., Althoff, M.: Time-triggered conversion of guards for reachability analysis of hybrid automata. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 133\u2013150. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65765-3_8"},{"key":"16_CR9","unstructured":"Bak, S., Bogomolov, S., Schilling, C.: High-level hybrid systems analysis with Hypy. In: ARCH@ CPSWeek, pp. 80\u201390 (2016)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Bak, S., Duggirala, P.S.: Hylaa: a tool for computing simulation-equivalent reachability for linear systems. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp. 173\u2013178. ACM (2017)","DOI":"10.1145\/3049797.3049808"},{"key":"16_CR11","unstructured":"Bak, S., Tran, H.D., Johnson, T.T.: Numerical verification of affine systems with up to a billion dimensions (2018). arXiv preprint arXiv:1804.01583"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Podelski, A., Schilling, C., Viry, F.: Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices. In: 21th International Conference on Hybrid Systems: Computation and Control, HSCC 2018, pp. 41\u201350. ACM (2018)","DOI":"10.1145\/3178126.3178128"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Bogomolov, S., Forets, M., Frehse, G., Potomkin, K., Schilling, C.: JuliaReach: a toolbox for set-based reachability. In: 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, pp. 39\u201344. ACM (2019)","DOI":"10.1145\/3302504.3311804"},{"key":"16_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-31256-9","volume-title":"Convex Analysis and Nonlinear Optimization Theory and Examples","author":"J Borwein","year":"2010","unstructured":"Borwein, J., Lewis, A.S.: Convex Analysis and Nonlinear Optimization Theory and Examples. Springer, New York (2010). https:\/\/doi.org\/10.1007\/978-0-387-31256-9"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-39799-8_18","volume-title":"Computer Aided Verification","author":"X Chen","year":"2013","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 258\u2013263. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_18"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: 2016 IEEE Real-Time Systems Symposium (RTSS), pp. 13\u201324. IEEE (2016)","DOI":"10.1109\/RTSS.2016.011"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-03845-7_9","volume-title":"Computational Methods in Systems Biology","author":"T Dang","year":"2009","unstructured":"Dang, T., Le Guernic, C., Maler, O.: Computing reachable states for nonlinear biological models. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 126\u2013141. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_9"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Dang, T., Maler, O., Testylier, R.: Accurate hybridization of nonlinear systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pp. 11\u201320. ACM (2010)","DOI":"10.1145\/1755952.1755956"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-14295-6_17","volume-title":"Computer Aided Verification","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167\u2013170. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_17"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-662-46681-0_5","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"PS Duggirala","year":"2015","unstructured":"Duggirala, P.S., Mitra, S., Viswanathan, M., Potok, M.: C2E2: a verification tool for stateflow models. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 68\u201382. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_5"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.3233\/SAT190012","volume":"1","author":"M Franzle","year":"2007","unstructured":"Franzle, M., Herde, C., Teige, T., Ratschan, S., Schubert, T.: Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure. J. Satisfiability Boolean Model. Comput. 1, 209\u2013236 (2007)","journal-title":"J. Satisfiability Boolean Model. Comput."},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","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"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"A Girard","year":"2005","unstructured":"Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291\u2013305. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31954-2_19"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Gurung, A., Deka, A.K., Bartocci, E., Bogomolov, S., Grosu, R., Ray, R.: Parallel reachability analysis for hybrid systems. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016, pp. 12\u201322. ACM-IEEE (2016)","DOI":"10.1109\/MEMCOD.2016.7797741"},{"key":"16_CR25","unstructured":"Han, Z., Krogh, B.H.: Reachability analysis of nonlinear systems using trajectory piecewise linearized models. In: 2006 American Control Conference, p. 6. IEEE (2006)"},{"issue":"4","key":"16_CR26","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1109\/9.664156","volume":"43","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control 43(4), 540\u2013554 (1998)","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-642-32759-9_22","volume-title":"FM 2012: Formal Methods","author":"TT Johnson","year":"2012","unstructured":"Johnson, T.T., Green, J., Mitra, S., Dudley, R., Erwin, R.S.: Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 252\u2013266. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_22"},{"key":"16_CR28","volume-title":"Systems Biology in Practice: Concepts, Implementation and Application","author":"E Klipp","year":"2008","unstructured":"Klipp, E., Herwig, R., Kowald, A., Wierling, C., Lehrach, H.: Systems Biology in Practice: Concepts, Implementation and Application. Wiley, Hoboken (2008)"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-662-46681-0_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kong","year":"2015","unstructured":"Kong, S., Gao, S., Chen, W., Clarke, E.: dReach: $${\\delta }$$-reachability analysis for hybrid systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 200\u2013205. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_15"},{"key":"16_CR30","unstructured":"Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. Ph.D. thesis, Universit\u00e9 Joseph-Fourier-Grenoble I (2009)"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/978-3-642-02658-4_40","volume-title":"Computer Aided Verification","author":"C Le Guernic","year":"2009","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of hybrid systems using support functions. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 540\u2013554. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_40"},{"issue":"2","key":"16_CR32","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.nahs.2009.03.002","volume":"4","author":"C Le Guernic","year":"2010","unstructured":"Le Guernic, C., Girard, A.: Reachability analysis of linear systems using support functions. Nonlinear Anal. Hybrid Syst. 4(2), 250\u2013262 (2010)","journal-title":"Nonlinear Anal. Hybrid Syst."},{"issue":"1","key":"16_CR33","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1088\/1478-3975\/3\/1\/004","volume":"3","author":"C Li","year":"2006","unstructured":"Li, C., Chen, L., Aihara, K.: Synchronization of coupled nonidentical genetic oscillators. Phys. Biol. 3(1), 37 (2006)","journal-title":"Phys. Biol."},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Li, D., Bak, S., Bogomolov, S.: Reachability analysis of nonlinear systems using hybridization and dynamics scaling: Proofs. Technical report CS-TR-1534, Newcastle University (2020)","DOI":"10.1007\/978-3-030-57628-8_16"},{"key":"16_CR35","unstructured":"Matthias, A., Ahmed, E.G., Bastian, S., Goran, F.: Report on reachability analysis of nonlinear systems and compositional verification. https:\/\/cps-vo.org\/node\/24199"},{"key":"16_CR36","first-page":"256","volume":"42","author":"I Prigogine","year":"1956","unstructured":"Prigogine, I., Balescu, R.: Ph\u00e9nom\u00e8nes cycliques dans la thermodynamique des processus irr\u00e9versibles. Bull. Cl. Sci. Acad. R. Belg 42, 256\u2013265 (1956)","journal-title":"Bull. Cl. Sci. Acad. R. Belg"},{"issue":"4\u20135","key":"16_CR37","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1016\/0020-7462(80)90024-4","volume":"15","author":"R Rand","year":"1980","unstructured":"Rand, R., Holmes, P.: Bifurcation of periodic motions in two weakly coupled van der pol oscillators. Int. J. Non-Linear Mech. 15(4\u20135), 387\u2013399 (1980)","journal-title":"Int. J. Non-Linear Mech."},{"key":"16_CR38","unstructured":"Smith, A.P., Mu\u00f1oz, C.A., Narkawicz, A.J., Markevicius, M.: Kodiak: an implementation framework for branch and bound algorithms (2015)"},{"issue":"2","key":"16_CR39","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MCSE.2011.37","volume":"13","author":"S van der Walt","year":"2011","unstructured":"van der Walt, S., Colbert, S.C., Varoquaux, G.: The NumPY array: a structure for efficient numerical computation. Comput. Sci. Eng. 13(2), 22\u201330 (2011)","journal-title":"Comput. Sci. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57628-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,6]],"date-time":"2021-04-06T11:07:01Z","timestamp":1617707221000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57628-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030576271","9783030576288"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57628-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"25 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formats-2020.cs.ru.nl\/","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":"36","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":"16","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":"44% - 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":"3","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":"Due to the Corona pandemic FORMATS 2020 was held as a virtual event.","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)"}}]}}