{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:42:44Z","timestamp":1759333364191,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031210891"},{"type":"electronic","value":"9783031210907"}],"license":[{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,15]],"date-time":"2022-12-15T00:00:00Z","timestamp":1671062400000},"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-21090-7_26","type":"book-chapter","created":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:11:35Z","timestamp":1671041495000},"page":"436-453","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers"],"prefix":"10.1007","author":[{"given":"Ewerton R.","family":"Vieira","sequence":"first","affiliation":[]},{"given":"Edgar","family":"Granados","sequence":"additional","affiliation":[]},{"given":"Aravind","family":"Sivaramakrishnan","sequence":"additional","affiliation":[]},{"given":"Marcio","family":"Gameiro","sequence":"additional","affiliation":[]},{"given":"Konstantin","family":"Mischaikow","sequence":"additional","affiliation":[]},{"given":"Kostas E.","family":"Bekris","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,15]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Abate, A., Ahmed, D., Edwards, A., Giacobbe, M., Peruffo, A.: Fossil: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. In: HSCC, pp. 1\u201311 (2021)","DOI":"10.1145\/3447928.3456646"},{"issue":"4","key":"26_CR2","first-page":"331","volume":"21","author":"EU Acar","year":"2002","unstructured":"Acar, E.U., Choset, H., Rizzi, A.A., Atkar, P.N., Hull, D.: Morse decompositions for coverage tasks. IJRR 21(4), 331\u2013344 (2002)","journal-title":"IJRR"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Akametalu, A.K., Fisac, J.F., Gillula, J.H., Kaynama, S., Zeilinger, M.N., Tomlin, C.J.: Reachability-based safe learning with gaussian processes. In: CDC (2014)","DOI":"10.1109\/CDC.2014.7039601"},{"key":"26_CR4","unstructured":"Antonova, R., Varava, A., Shi, P., Carvalho, J.F., Kragic, D.: Sequential topological representations for predictive models of deformable objects. In: L4DC (2021)"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Bansal, S., Chen, M., Herbert, S., Tomlin, C.J.: Hamilton-jacobi reachability: a brief overview and recent advances. In: CDC (2017)","DOI":"10.1109\/CDC.2017.8263977"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Berkenkamp, F., Moriconi, R., Schoellig, A.P., Krause, A.: Safe learning of RoAs for uncertain, nonlinear systems with Gaussian Processes. In: CDC (2016)","DOI":"10.1109\/CDC.2016.7798979"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Berkenkamp, F., Schoellig, A.P.: Safe and robust learning control with Gaussian Processes. In: ECC (2015)","DOI":"10.1109\/ECC.2015.7330913"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Bhattacharya, S., Kim, S., Heidarsson, H., Sukhatme, G.S., Kumar, V.: A topological approach to using cables to manipulate sets of objects. IJRR 34(6) (2015)","DOI":"10.1177\/0278364914562236"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Bobiti, R., Lazar, M.: A sampling approach to constructing lyapunov functions for nonlinear continuous-time systems. In: CDC (2016)","DOI":"10.1109\/ECC.2016.7810344"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Bush, J., Gameiro, M., Harker, S., Kokubu, H., Mischaikow, K., Obayashi, I., Pilarczyk, P.: Combinatorial-topological framework for the analysis of global dynamics. Chaos: An Interdiscip. J. Nonlinear Sci. 22(4) (2012)","DOI":"10.1063\/1.4767672"},{"key":"26_CR11","unstructured":"Carvalho, J.F., Vejdemo-Johansson, M., Pokorny, F.T., Kragic, D.: Long-term prediction of motion trajectories using path homology clusters. In: IROS (2019)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Chen, S., Fazlyab, M., Morari, M., Pappas, G.J., Preciado, V.M.: Learning lyapunov functions for hybrid systems. In: HSCC, pp. 1\u201311 (2021)","DOI":"10.1145\/3447928.3456644"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Chen, S., Fazlyab, M., Morari, M., Pappas, G.J., Preciado, V.M.: Learning region of attraction for nonlinear systems (2021). arXiv:2110.00731","DOI":"10.1109\/CDC45484.2021.9682880"},{"key":"26_CR14","unstructured":"Choi, J.J., Agrawal, A., Sreenath, K., Tomlin, C.J., Bansal, S.: Computation of RoAs for Hybrid Limit Cycles Using Reachability (2022). arXiv:2201.08538"},{"key":"26_CR15","doi-asserted-by":"publisher","DOI":"10.1090\/cbms\/038","volume-title":"Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series in Mathematics","author":"C Conley","year":"1978","unstructured":"Conley, C.: Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series in Mathematics, vol. 38. American Mathematical Society, RI (1978)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Corke, P.I., Khatib, O.: Robotics, Vision and Control: Fundamental Algorithms in MATLAB, vol. 73. Springer (2011)","DOI":"10.1007\/978-3-642-20144-8"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Dai, H., Landry, B., Pavone, M., Tedrake, R.: Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems. In: CDC (2020)","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Dai, H., Landry, B., Yang, L., Pavone, M., Tedrake, R.: Lyapunov-stable neural-network control (2021). arXiv:2109.14152","DOI":"10.15607\/RSS.2021.XVII.063"},{"key":"26_CR19","unstructured":"Gameiro, M., Harker, S.: CMGDB: Conley Morse Graph Database (2022). https:\/\/github.com\/marciogameiro\/CMGDB"},{"issue":"5","key":"26_CR20","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/s10514-020-09950-9","volume":"45","author":"Q Ge","year":"2021","unstructured":"Ge, Q., Richmond, T., Zhong, B., Marchitto, T.M., Lobaton, E.J.: Enhancing the morphological segmentation of microscopic fossils through localized topology-aware edge detection. Auton. Robot. 45(5), 709\u2013723 (2021)","journal-title":"Auton. Robot."},{"issue":"8","key":"26_CR21","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.3934\/dcdsb.2015.20.2291","volume":"20","author":"P Giesl","year":"2015","unstructured":"Giesl, P., Hafstein, S.: Review on computational methods for lyapunov functions. Disc. Cont. Dyn. Syst.-B 20(8), 2291 (2015)","journal-title":"Disc. Cont. Dyn. Syst.-B"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Gillen, S., Molnar, M., Byl, K.: Combining deep reinforcement learning and local control for the acrobot swing-up and balance task. In: CDC (2020)","DOI":"10.1109\/CDC42340.2020.9303878"},{"key":"26_CR23","doi-asserted-by":"crossref","unstructured":"Gillulay, J.H., Tomlin, C.J.: Guaranteed safe online learning of a bounded system. In: IROS (2011)","DOI":"10.1109\/IROS.2011.6095101"},{"key":"26_CR24","unstructured":"Granados, E., Sivaramakrishnan, A., McMahon, T., Littlefield, Z., Bekris, K.E.: Machine learning for kinodynamic planning (ml4kp) software (2021)"},{"key":"26_CR25","unstructured":"Haarnoja, T., Zhou, A., Abbeel, P., Levine, S.: Soft actor-critic: off-policy maximum entropy deep reinforcement learning with a stochastic actor. In: ICML (2018)"},{"issue":"2","key":"26_CR26","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1109\/TAC.2013.2283095","volume":"59","author":"D Henrion","year":"2013","unstructured":"Henrion, D., Korda, M.: Convex computation of the RoA of polynomial control systems. IEEE Trans. Autom. Control 59(2), 297\u2013312 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"26_CR27","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/s10208-004-0163-9","volume":"5","author":"WD Kalies","year":"2005","unstructured":"Kalies, W.D., Mischaikow, K., Vandervorst, R.: An algorithmic approach to chain recurrence. Found. Comput. Math. 5(4), 409\u2013449 (2005)","journal-title":"Found. Comput. Math."},{"issue":"2","key":"26_CR28","doi-asserted-by":"publisher","first-page":"307","DOI":"10.3934\/jcd.2014.1.307","volume":"1","author":"WD Kalies","year":"2014","unstructured":"Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors I. J. Comput. Dyn. 1(2), 307\u2013338 (2014)","journal-title":"J. Comput. Dyn."},{"issue":"2","key":"26_CR29","first-page":"1","volume":"1","author":"WD Kalies","year":"2015","unstructured":"Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors II. Found. Comput. Math. 1(2), 1\u201341 (2015)","journal-title":"Found. Comput. Math."},{"key":"26_CR30","doi-asserted-by":"crossref","unstructured":"Kalies, W.D., Mischaikow, K., Vandervorst, R.: Lattice structures for attractors III. J. Dyn. Diff. Equ. 1572\u20139222 (2021)","DOI":"10.1007\/s10884-021-10056-8"},{"key":"26_CR31","doi-asserted-by":"crossref","unstructured":"Lederer, A., Hirche, S.: Local asymptotic stability analysis and region of attraction estimation with gaussian processes. In: CDC (2019)","DOI":"10.1109\/CDC40024.2019.9029489"},{"issue":"8","key":"26_CR32","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1177\/0278364917712421","volume":"36","author":"A Majumdar","year":"2017","unstructured":"Majumdar, A., Tedrake, R.: Funnel libraries for real-time robust feedback motion planning. Int. J. Robot. Res. 36(8), 947\u2013982 (2017)","journal-title":"Int. J. Robot. Res."},{"key":"26_CR33","unstructured":"Mamakoukas, G., Abraham, I., Murphey, T.D.: Learning stable models for prediction and control. IEEE Trans. Robot. (2020)"},{"key":"26_CR34","doi-asserted-by":"crossref","unstructured":"Orthey, A., Toussaint, M.: Visualizing local minima in multi-robot motion planning using multilevel morse theory. In: International Workshop on the Algorithmic Foundations of Robotics, pp. 502\u2013517. Springer (2020)","DOI":"10.1007\/978-3-030-66723-8_30"},{"key":"26_CR35","doi-asserted-by":"crossref","unstructured":"Pandita, R., Chakraborty, A., Seiler, P., Balas, G.: Reachability and RoA analysis applied to GTM dynamic flight envelope assessment. In: AIAA CNC (2009)","DOI":"10.2514\/6.2009-6258"},{"key":"26_CR36","unstructured":"Parrilo, P.A.: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. California Institute of Technology (2000)"},{"key":"26_CR37","unstructured":"Perkins, T.J., Barto, A.G.: Lyapunov design for safe reinforcement learning. JMLR 3(Dec), 803\u2013832 (2002)"},{"issue":"4","key":"26_CR38","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1134\/S0005117917040014","volume":"78","author":"AV Pesterev","year":"2017","unstructured":"Pesterev, A.V.: Attraction domain estimate for single-input affine systems with constrained control. Autom. Remote Control 78(4), 581\u2013594 (2017)","journal-title":"Autom. Remote Control"},{"key":"26_CR39","doi-asserted-by":"crossref","unstructured":"Pesterev, A.V.: Attraction domain for affine systems with constrained vector control closed by linearized feedback. Autom. Remote Control 80(5) (2019)","DOI":"10.1134\/S0005117919050047"},{"key":"26_CR40","doi-asserted-by":"crossref","unstructured":"Pokorny, F.T., Kragic, D., Kavraki, L.E., Goldberg, K.: High-dimensional winding-augmented motion planning with 2D topological task projections & persistent homology. In: ICRA (2016)","DOI":"10.1109\/ICRA.2016.7487113"},{"key":"26_CR41","doi-asserted-by":"crossref","unstructured":"Posa, M., Tobenkin, M., Tedrake, R.: Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares. In: HSCC, pp. 63\u201372 (2013)","DOI":"10.1145\/2461328.2461340"},{"key":"26_CR42","unstructured":"Prajna, S., Papachristodoulou, A., Parrilo, P.A.: Introducing SOSTOOLS: a general purpose sum of squares programming solver. In: CDC (2002)"},{"issue":"2","key":"26_CR43","first-page":"5903","volume":"41","author":"LB Rapoport","year":"2008","unstructured":"Rapoport, L.B., Morozov, Y.V.: Estimation of attraction domains in wheeled robot control using absolute stability approach. IFAC 41(2), 5903\u20135908 (2008)","journal-title":"IFAC"},{"key":"26_CR44","unstructured":"Richards, S.M., Berkenkamp, F., Krause, A.: Lyapunov Neural Network: adaptive stability certification for safe learning of dynamical systems. In: CoRL (2018)"},{"issue":"1","key":"26_CR45","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1109\/37.341864","volume":"15","author":"M Spong","year":"1995","unstructured":"Spong, M.: The swing up control problem for the acrobot. IEEE Control Syst. Mag. 15(1), 49\u201355 (1995)","journal-title":"IEEE Control Syst. Mag."},{"key":"26_CR46","doi-asserted-by":"crossref","unstructured":"Sturm, J.F.: Using sedumi 1.02, a matlab toolbox for optimization over symmetric cones. Optim. Methods Soft. 11(1\u20134), 625\u2013653 (1999)","DOI":"10.1080\/10556789908805766"},{"key":"26_CR47","doi-asserted-by":"crossref","unstructured":"Tedrake, R., Manchester, I.R., Tobenkin, M., Roberts, J.W.: LQR-trees: feedback motion planning via sums-of-squares verification. IJRR 29(8) (2010)","DOI":"10.1177\/0278364910369189"},{"issue":"1","key":"26_CR48","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0005-1098(85)90099-8","volume":"21","author":"A Vannelli","year":"1985","unstructured":"Vannelli, A., Vidyasagar, M.: Maximal lyapunov functions and domains of attraction for autonomous nonlinear systems. Automatica 21(1), 69\u201380 (1985)","journal-title":"Automatica"},{"key":"26_CR49","doi-asserted-by":"crossref","unstructured":"Varava, A., Hang, K., Kragic, D., Pokorny, F.T.: Herding by caging: a topological approach towards guiding moving agents via mobile robots. In: R:SS (2017)","DOI":"10.15607\/RSS.2017.XIII.074"},{"key":"26_CR50","unstructured":"Vieira, E.R.: RoA: Region of Attraction (2022). https:\/\/github.com\/Ewerton-Vieira\/RoA"},{"key":"26_CR51","doi-asserted-by":"crossref","unstructured":"Wang, L., Theodorou, E.A., Egerstedt, M.: Safe learning of quadrotor dynamics using barrier certificates. In: ICRA (2018)","DOI":"10.1109\/ICRA.2018.8460471"}],"container-title":["Springer Proceedings in Advanced Robotics","Algorithmic Foundations of Robotics XV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21090-7_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,14]],"date-time":"2022-12-14T18:19:14Z","timestamp":1671041954000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21090-7_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,15]]},"ISBN":["9783031210891","9783031210907"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21090-7_26","relation":{},"ISSN":["2511-1256","2511-1264"],"issn-type":[{"type":"print","value":"2511-1256"},{"type":"electronic","value":"2511-1264"}],"subject":[],"published":{"date-parts":[[2022,12,15]]},"assertion":[{"value":"15 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAFR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on the Algorithmic Foundations of Robotics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":", MD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wafr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wafr2022.github.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}