{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:07:22Z","timestamp":1743142042837,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":34,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819986637"},{"type":"electronic","value":"9789819986644"}],"license":[{"start":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T00:00:00Z","timestamp":1702598400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T00:00:00Z","timestamp":1702598400000},"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":[[2024]]},"DOI":"10.1007\/978-981-99-8664-4_2","type":"book-chapter","created":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T06:05:13Z","timestamp":1702533913000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reachability Based Uniform Controllability to\u00a0Target Set with\u00a0Evolution Function"],"prefix":"10.1007","author":[{"given":"Jia","family":"Geng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruiqi","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kairong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhihui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhikun","family":"She","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,15]]},"reference":[{"issue":"48105","key":"2_CR1","first-page":"18","volume":"1001","author":"D Dolgov","year":"2008","unstructured":"Dolgov, D., Thrun, S., Montemerlo, M., Diebel, J.: Practical search techniques in path planning for autonomous driving. Ann Arbor 1001(48105), 18\u201380 (2008)","journal-title":"Ann Arbor"},{"issue":"3","key":"2_CR2","first-page":"976","volume":"64","author":"J Stefanovski","year":"2019","unstructured":"Stefanovski, J.: Fault tolerant control of descriptor systems with disturbances. IEEE TAC 64(3), 976\u2013988 (2019)","journal-title":"IEEE TAC"},{"issue":"18","key":"2_CR3","first-page":"570","volume":"49","author":"AB Kurzhanski","year":"2016","unstructured":"Kurzhanski, A.B., Mesyats, A.I.: The Hamiltonian formalism for problems of group control under obstacles. IEEE TAC 49(18), 570\u2013575 (2016)","journal-title":"IEEE TAC"},{"issue":"7","key":"2_CR4","first-page":"2737","volume":"64","author":"JF Fisac","year":"2018","unstructured":"Fisac, J.F., Akametalu, A.K., et al.: A general safety framework for learning-based control in uncertain robotic systems. IEEE TAC 64(7), 2737\u20132752 (2018)","journal-title":"IEEE TAC"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.automatica.2017.11.008","volume":"89","author":"M Ornik","year":"2018","unstructured":"Ornik, M., Broucke, M.E.: Chattering in the reach control problem. Automatica 89(1), 201\u2013211 (2018)","journal-title":"Automatica"},{"issue":"5","key":"2_CR6","doi-asserted-by":"publisher","first-page":"3482","DOI":"10.1137\/080735874","volume":"48","author":"ME Broucke","year":"2010","unstructured":"Broucke, M.E.: Reach control on simplices by continuous state feedback. SIAM J. Control. Optim. 48(5), 3482\u20133500 (2010)","journal-title":"SIAM J. Control. Optim."},{"issue":"4","key":"2_CR7","first-page":"566","volume":"12","author":"LE Kavralu","year":"1994","unstructured":"Kavralu, L.E., Svestka, P., Latombe, J.C., Overmars, M.H.: Probabilistic roadmaps for path planning in high-dimensional configuration spaces. IEEE Trans. Robot. Autom. 12(4), 566\u2013580 (1994)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"2_CR8","unstructured":"Nevistic, V., Primbs, J.A.: Constrained nonlinear optimal control: a converse HJB approach. Technical Memorandum, No. CIT-CDS 96-021 (1996)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bekris, K.E., Chen, B.Y., Ladd, A.M., Plaku, E., Kavraki, L.E.: Multiple query probabilistic roadmap planning using single query planning primitives. In: IEEE IROS, pp. 656\u2013661 (2003)","DOI":"10.1109\/IROS.2003.1250704"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3108-8","volume-title":"Nonlinear Systems Analysis, Stability and Control","author":"J Xu","year":"1999","unstructured":"Xu, J., Duindam, V., Alterovitz, R., Goldberg, K.: Nonlinear Systems Analysis, Stability and Control. Springer, New York (1999). https:\/\/doi.org\/10.1007\/978-1-4757-3108-8"},{"issue":"2","key":"2_CR11","first-page":"335","volume":"61","author":"J Klamka","year":"2013","unstructured":"Klamka, J.: Controllability of dynamical systems. A survey. Bull. Pol. Acad. Sci.: Tech. Sci. 61(2), 335\u2013342 (2013)","journal-title":"Bull. Pol. Acad. Sci.: Tech. Sci."},{"issue":"5","key":"2_CR12","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1016\/j.automatica.2004.11.034","volume":"41","author":"MA Khalaf","year":"2005","unstructured":"Khalaf, M.A., Lewis, F.L.: Nearly optimal control laws for nonlinear systems with saturating actuators using a neural network HJB approach. Automatica 41(5), 779\u2013791 (2005)","journal-title":"Automatica"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1109\/TRO.2017.2659727","volume":"33","author":"L Wang","year":"2017","unstructured":"Wang, L., Ames, A.D., Egerstedt, M.: Safety barrier certificates for collisions-free multirobot systems. IEEE Trans. Robot. 33(3), 661\u2013674 (2017)","journal-title":"IEEE Trans. Robot."},{"issue":"7","key":"2_CR14","first-page":"2737","volume":"64","author":"JF Fisac","year":"2019","unstructured":"Fisac, J.F., Akametalu, A.K., Zeilinger, M.N., Kaynama, S., Gillula, J., Tomlin, C.J.: A general safety framework for learning-based control in uncertain robotic systems. IEEE TAC 64(7), 2737\u20132752 (2019)","journal-title":"IEEE TAC"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Bansal, S., Chen, M., Herbert, S., et al.: Hamilton-Jacobi reachability: a brief overview and recent advance. In: IEEE CDC, pp. 2242\u20132253 (2017)","DOI":"10.1109\/CDC.2017.8263977"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Chen, M., Tomlin, C.J.: Exact and efficient Hamilton-Jacobi reachability for decoupled systems. In: IEEE CDC, pp. 1297\u20131303 (2015)","DOI":"10.1109\/CDC.2015.7402390"},{"issue":"2","key":"2_CR17","doi-asserted-by":"publisher","first-page":"15339","DOI":"10.3182\/20080706-5-KR-1001.02594","volume":"41","author":"N Dmitruk","year":"2008","unstructured":"Dmitruk, N., Findeisen, R., Allgower, F.: Optimal measurement feedback control of finite-time continuous linear systems. IFAC Proc. Vol. 41(2), 15339\u201315344 (2008)","journal-title":"IFAC Proc. Vol."},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/s10957-011-9861-z","volume":"151","author":"AB Kurzhanski","year":"2011","unstructured":"Kurzhanski, A.B., Varaiya, P.: Optimization of output feedback control under set-membership uncertainty. J. Optim. Theory Appl. 151(1), 11\u201332 (2011)","journal-title":"J. Optim. Theory Appl."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Schurmann, B., Althoff, M.: Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems. In: American Control Conference, pp. 2522\u20132529 (2017)","DOI":"10.23919\/ACC.2017.7963332"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Kochdumper, N., Gruber, F., Sch\u00fcrmann, B., et al.: AROC: a toolbox for automated reachset optimal controller synthesis. In: HSCC, pp. 1\u20136 (2021)","DOI":"10.1145\/3447928.3456703"},{"issue":"4","key":"2_CR21","first-page":"509","volume":"43","author":"CJ Tomlin","year":"2002","unstructured":"Tomlin, C.J., Pappas, G.J., Sastry, S.S.: Conflict resolution for air traffic management: a study in multiagent hybrid systems. IEEE TAC 43(4), 509\u2013521 (2002)","journal-title":"IEEE TAC"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Koo, T.J., Pappas, G.J., Sastry, S.: Mode switching synthesis for reachability specifications. In: HSCC, pp. 333\u2013346 (2004)","DOI":"10.1007\/3-540-45351-2_28"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Lincoln, P., Tiwari, A.: Symbolic systems biology: hybrid modeling and analysis of biological networks. In: HSCC, pp. 660\u2013672 (2004)","DOI":"10.1007\/978-3-540-24743-2_44"},{"issue":"3","key":"2_CR24","first-page":"1414","volume":"66","author":"M Li","year":"2021","unstructured":"Li, M., She, Z.: Over- and under-approximations of reachable sets with series representations of evolution functions. IEEE TAC 66(3), 1414\u20131421 (2021)","journal-title":"IEEE TAC"},{"issue":"10","key":"2_CR25","first-page":"2508","volume":"58","author":"TC Wang","year":"2013","unstructured":"Wang, T.C., Lall, S., West, M.: Polynomial level-set method for polynomial system reachable set estimation. IEEE TAC 58(10), 2508\u20132521 (2013)","journal-title":"IEEE TAC"},{"key":"2_CR26","doi-asserted-by":"publisher","DOI":"10.1145\/3626099","author":"R Hu","year":"2023","unstructured":"Hu, R., Liu, K., She, Z.: Evolution function based reach-avoid verification for time-varying systems with disturbances. ACM Trans. Embed. Comput. Syst. (2023). https:\/\/doi.org\/10.1145\/3626099","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"102580","DOI":"10.1016\/j.sysarc.2022.102580","volume":"128","author":"R Hu","year":"2022","unstructured":"Hu, R., She, Z.: OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations. J. Syst. Architect. 128, 102580 (2022)","journal-title":"J. Syst. Architect."},{"issue":"1","key":"2_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1142\/S0218195920500028","volume":"30","author":"D Kraft","year":"2020","unstructured":"Kraft, D.: Computing the Hausdorff distance of two sets from their distance functions. J. Comput. Geom. Appl. 30(1), 19\u201349 (2020)","journal-title":"J. Comput. Geom. Appl."},{"key":"2_CR29","unstructured":"https:\/\/tumcps.github.io\/CORA\/"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1145\/1183278.1183282","volume":"7","author":"S Ratschan","year":"2006","unstructured":"Ratschan, S.: Efficient solving of quantified inequality constraints over the real numbers. ACM Trans. Comput. Log. 7, 723\u2013748 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1002\/oca.939","volume":"32","author":"B Houska","year":"2011","unstructured":"Houska, B., Ferreau, H., Diehl, M.: ACADO toolkit - an open source framework for automatic control and dynamic optimization. Optimal Control Appl. Methods 32(3), 298\u2013312 (2011)","journal-title":"Optimal Control Appl. Methods"},{"key":"2_CR32","volume-title":"Applied Nonlinear Control","author":"JE Slotine","year":"1991","unstructured":"Slotine, J.E., Li, W.: Applied Nonlinear Control. Prentice-Hall, Englewood Cliffs (1991)"},{"issue":"11","key":"2_CR33","first-page":"3675","volume":"63","author":"M Chen","year":"2018","unstructured":"Chen, M., Herbert, S.L., Vashishtha, M.S., Bansal, S., Tomlin, C.J.: Decomposition of reachable sets and tubes for a class of nonlinear systems. IEEE TAC 63(11), 3675\u20133688 (2018)","journal-title":"IEEE TAC"},{"key":"2_CR34","unstructured":"https:\/\/tumcps.github.io\/AROC\/"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-8664-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T22:44:51Z","timestamp":1730846691000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-8664-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,15]]},"ISBN":["9789819986637","9789819986644"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-8664-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,12,15]]},"assertion":[{"value":"15 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanjing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","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":"27 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lcs.ios.ac.cn\/setta2023\/","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":"78","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":"24","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":"31% - 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":"7","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)"}}]}}