{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:40:17Z","timestamp":1730248817239,"version":"3.28.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031452857"},{"type":"electronic","value":"9783031452864"}],"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"},{"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-45286-4_9","type":"book-chapter","created":{"date-parts":[[2023,10,4]],"date-time":"2023-10-04T09:02:28Z","timestamp":1696410148000},"page":"113-126","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adaptive Directions for\u00a0Bernstein-Based Polynomial Set Evolution"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-8681-1482","authenticated-orcid":false,"given":"Alberto","family":"Casagrande","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2072-1628","authenticated-orcid":false,"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,5]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","volume":"4","author":"M Althoff","year":"2021","unstructured":"Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Ann. Rev. Control Rob. Auton. Syst. 4, 369\u2013395 (2021)","journal-title":"Ann. Rev. Control Rob. Auton. Syst."},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/978-3-319-63387-9_20","volume-title":"Computer Aided Verification","author":"S Bak","year":"2017","unstructured":"Bak, S., Duggirala, P.S.: Simulation-equivalent reachability of large linear systems with inputs. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 401\u2013420. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_20"},{"key":"9_CR3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111107","volume":"154","author":"TJ Bird","year":"2023","unstructured":"Bird, T.J., Pangborn, H.C., Jain, N., Koeln, J.P.: Hybrid zonotopes: a new set representation for reachability analysis of mixed logical dynamical systems. Automatica 154, 111107 (2023)","journal-title":"Automatica"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511755316","volume-title":"Introduction to Dynamical Systems","author":"M Brin","year":"2002","unstructured":"Brin, M., Stuck, G.: Introduction to Dynamical Systems. Cambridge University Press, Cambridge (2002)"},{"key":"9_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104941","volume":"289","author":"A Casagrande","year":"2022","unstructured":"Casagrande, A., Dang, T., Dorigo, L., Dreossi, T., Piazza, C., Pippia, E.: Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289, 104941 (2022)","journal-title":"Inf. Comput."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Chen, X., \u00c1brah\u00e1m, E., Sankaranarayanan, S.: Flow*: an analyzer for non-linear hybrid systems. In: Computer Aided Verification, CAV, pp. 258\u2013263 (2013)","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"9_CR7","series-title":"Computational Biology","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-030-17297-8_6","volume-title":"Automated Reasoning for Systems Biology and Medicine","author":"T Dang","year":"2019","unstructured":"Dang, T., Dreossi, T., Fanchon, E., Maler, O., Piazza, C., Rocca, A.: Set-based analysis for biological modeling. In: Li\u00f2, P., Zuliani, P. (eds.) Automated Reasoning for Systems Biology and Medicine. CB, vol. 30, pp. 157\u2013189. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17297-8_6"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Dang, T., Dreossi, T., Piazza, C.: Parameter synthesis using parallelotopic enclosure and applications to epidemic models. In: Hybrid Systems and Biology, HSB, pp. 67\u201382 (2014)","DOI":"10.1007\/978-3-319-27656-4_4"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Dang, T., Dreossi, T., Piazza, C.: Parameter synthesis through temporal logic specifications. In: Formal Methods, FM, pp. 213\u2013230 (2015)","DOI":"10.1007\/978-3-319-19249-9_14"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Dreossi, T.: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems. In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp. 29\u201334 (2017)","DOI":"10.1145\/3049797.3049824"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-016-0266-3","volume":"50","author":"T Dreossi","year":"2017","unstructured":"Dreossi, T., Dang, T., Piazza, C.: Reachability computation for polynomial dynamical systems. Formal Methods Syst. Des. 50(1), 1\u201338 (2017). https:\/\/doi.org\/10.1007\/s10703-016-0266-3","journal-title":"Formal Methods Syst. Des."},{"key":"9_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36776-4","volume-title":"Discrete Dynamical Systems","author":"O Galor","year":"2007","unstructured":"Galor, O.: Discrete Dynamical Systems. Springer, Heidelberg (2007)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Geretti, L., et al.: ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics. In: Frehse, G., Althoff, M. (eds.) ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), vol. 74 of EPiC Series in Computing, pp. 49\u201375. EasyChair (2020)","DOI":"10.29007\/zkf6"},{"key":"9_CR14","unstructured":"Geretti, L., et al.: Arch-comp21 category report: continuous and hybrid systems with nonlinear dynamics. In: Frehse, G., Althoff, M. (eds.) 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), vol. 80 of EPiC Series in Computing, pp. 32\u201354. EasyChair (2021)"},{"key":"9_CR15","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":"9_CR16","doi-asserted-by":"crossref","unstructured":"Kurzhanski, A.B., Varaiya, P.: Ellipsoidal techniques for reachability analysis. In Hybrid Systems: Computation and Control, HSCC, pp. 202\u2013214 (2000)","DOI":"10.1007\/3-540-46430-1_19"},{"key":"9_CR17","unstructured":"Le Guernic, C.: Reachability analysis of hybrid systems with linear continuous dynamics. PhD thesis, Universit\u00e9 Joseph-Fourier-Grenoble I (2009)"},{"issue":"11","key":"9_CR18","doi-asserted-by":"publisher","first-page":"2104","DOI":"10.1109\/JPROC.2015.2453253","volume":"103","author":"P Nuzzo","year":"2015","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A.L., Bresolin, D., Geretti, L., Villa, T.: A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proc. IEEE 103(11), 2104\u20132132 (2015)","journal-title":"Proc. IEEE"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Sassi, M.A.B., Testylier, R., Dang, T., Girard, A.: Reachability analysis of polynomial systems using linear programming relaxations. In Automated Technology for Verification and Analysis, ATVA, pp. 137\u2013151 (2012)","DOI":"10.1007\/978-3-642-33386-6_12"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-319-57288-8_20","volume-title":"NASA Formal Methods","author":"S Schupp","year":"2017","unstructured":"Schupp, S., \u00c1brah\u00e1m, E., Makhlouf, I.B., Kowalewski, S.: HyPro: a C++\u00a0library of state set representations for hybrid systems reachability Analysis. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 288\u2013294. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_20"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Shisha, O.: The Bernstein form of a polynomial. J. Res. Natl. Bureau Stand. Math. Math. Phys. B 70, 79 (1966)","DOI":"10.6028\/jres.070B.005"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Siefert, J.A., Bird, T.J., Koeln, J.P., Jain, N., Pangborn, H.C.: Successor sets of discrete-time nonlinear systems using hybrid zonotopes (2023)","DOI":"10.23919\/ACC55779.2023.10156300"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45286-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:05:28Z","timestamp":1730246728000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45286-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031452857","9783031452864"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45286-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"5 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reachability Problems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nice","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"11 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.lix.polytechnique.fr\/Labo\/Olivier.Bournez\/RP2023\/i.php?n=Main.Home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","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":"13","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":"68% - 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":"4","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)"}}]}}