{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:54:06Z","timestamp":1791219246482,"version":"4.1.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319245362","type":"print"},{"value":"9783319245379","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24537-9_7","type":"book-chapter","created":{"date-parts":[[2015,9,30]],"date-time":"2015-09-30T09:37:02Z","timestamp":1443605822000},"page":"63-75","source":"Crossref","is-referenced-by-count":4,"title":["A Topological Method for Finding Invariant Sets of Continuous Systems"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Fribourg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sameh","family":"Mohamed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marian","family":"Mrozek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,10,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Adams, W.W., Loustaunau, P.: American mathematical society. An introduction to Grobner bases, Graduate studies in mathematics (1994)","DOI":"10.1090\/gsm\/003"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-662-46081-8_6","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Adj\u00e9","year":"2015","unstructured":"Adj\u00e9, A., Garoche, P.-L.: Automatic synthesis of piecewise linear quadratic invariants for programs. In: D\u2019Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 99\u2013116. Springer, Heidelberg (2015)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bacciotti, A., Mazzi, L.: Stability of dynamical polysystems via families of Lyapunov functions. Jour. Nonlin. Analysis (2007)","DOI":"10.1016\/j.na.2006.09.021"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer (2006)","DOI":"10.1007\/3-540-33099-2"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Bhatia, N.P., H\u00e1jek, O.: Local Semi-dynamical Systems, vol. 90. Lecture Notes in Mathematics. Springer (1969)","DOI":"10.1007\/BFb0079585"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Boczko, E., Kalies, W.D., Mischaikow, K.: Polygonal approximation of flows. Topology and its Applications 154 (2007)","DOI":"10.1016\/j.topol.2006.04.033"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Bouissou, O., Chapoutot, A., Djaballah, A., Kieffer, M.: Computation of parametric barrier functions for dynamical systems using interval analysis. In: IEEE CDC 2014 (2014)","DOI":"10.1109\/CDC.2014.7039472"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Conley, C.: Isolated invariant sets and the Morse index. Amer. Math. Soc., CBMS Regional Conf. Series Math. 38 (1978)","DOI":"10.1090\/cbms\/038"},{"key":"7_CR9","first-page":"128","volume":"17","author":"T Dang","year":"2012","unstructured":"Dang, T., Testylier, R.: Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Reliable Computing 17, 128\u2013152 (2012)","journal-title":"Reliable Computing"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-54862-8_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Ghorbal","year":"2014","unstructured":"Ghorbal, K., Platzer, A.: Characterizing algebraic invariants by differential radical invariants. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014 (ETAPS). LNCS, vol. 8413, pp. 279\u2013294. Springer, Heidelberg (2014)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Goubault, E., Jourdan, J.-H., Putot, S., Sankaranarayanan, S.: Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials. In: American Control Conference (2014)","DOI":"10.1109\/ACC.2014.6859330"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Goubault, E., Mullier, O., Putot, S., Kieffer, M.: Inner approximated reachability analysis. In: HSCC, pp. 163\u2013172 (2014)","DOI":"10.1145\/2562059.2562113"},{"key":"7_CR13","unstructured":"Hazewinkel, M.: Alexander duality. Encyclopaedia of Mathematics (2002)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Wesley Wilson Jr., F., Yorke, J.A.: Lyapunov functions and isolating blocks. Journal of Differential Equations (1973)","DOI":"10.1016\/0022-0396(73)90034-X"},{"key":"7_CR15","unstructured":"Khali, H.K.: Nonlinear Systems. Prentice Hall (2002)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Lang, S.: Algebra. Graduate Texts in Mathematics. Springer, New York (2002)","DOI":"10.1007\/978-1-4613-0041-0"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lasserre, J.-B.: Moments, positive polynomials and their applications, vol. 1. World Scientific (2009)","DOI":"10.1142\/p665"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lombardi, H.: Une borne sur les degr\u00e9s pour le theor\u00e8me des z\u00e9ros r\u00e9\u00e9ls effectifs. In Real Algebraic Geometry, vol. 1524. Lecture Notes in Mathematics, pp. 323\u2013345. Springer (1992)","DOI":"10.1007\/BFb0084631"},{"key":"7_CR19","unstructured":"Lombardi, H., Perrucci, D., Roy, M.-F.: An elementary recursive bound for effective positivstellensatz and Hilbert 17th problem (2014)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Mischaikow, K., Mrozek, M.: Conley index theory. In: Fiedler, B. (ed.) Handbook of Dynamical Systems II: Towards Applications, North-Holland (2002)","DOI":"10.1016\/S1874-575X(02)80030-3"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10208-005-0182-1","volume":"6","author":"M Mrozek","year":"2006","unstructured":"Mrozek, M.: Index pairs algorithms. Foundations of Computational Mathematics 6(4), 457\u2013493 (2006)","journal-title":"Foundations of Computational Mathematics"},{"issue":"3","key":"7_CR22","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1512\/iumj.1993.42.42045","volume":"42","author":"M Putinar","year":"1993","unstructured":"Putinar, M.: Positive polynomials on compact semi-algebraic sets. Indiana University Mathematics Journal 42(3), 969\u2013984 (1993)","journal-title":"Indiana University Mathematics Journal"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Srzednicki, R.: Wa\u017cewski Method and Conley Index (2004)","DOI":"10.1016\/S1874-5725(00)80009-7"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/978-3-540-78929-1_57","volume-title":"Hybrid Systems: Computation and Control","author":"S Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Dang, T., Ivan\u010di\u0107, F.: A policy iteration technique for time elapse over template polyhedra. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 654\u2013657. Springer, Heidelberg (2008)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-30579-8_2","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Sankaranarayanan","year":"2005","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 25\u201341. Springer, Heidelberg (2005)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Shorten, R., Wirth, F., Mason, O., Wulff, K., King, C.: Stability criteria for switched and hybrid systems. SIAM Rev. 49(4), 545\u2013592","DOI":"10.1137\/05063516X"},{"key":"7_CR27","first-page":"181","volume":"71","author":"Guillermo Moreno Soc\u00edas","year":"1992","unstructured":"Guillermo Moreno Soc\u00edas: Length of polynomial ascending chains and primitive recursiveness. 71, 181\u2013205 (1992)","journal-title":"Length of polynomial ascending chains and primitive recursiveness."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Stephens, T., Wanner, T.: Rigorous validation of isolating blocks for flows and their Conley indices. Technical report, IMA Preprint Series #2424 (May 2014)","DOI":"10.1137\/140971075"},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1017\/S0308210500026901","volume":"127","author":"A Szymczak","year":"1997","unstructured":"Szymczak, A.: A combinatorial procedure for finding isolating neighbourhoods and index pairs. Proceedings of the Royal Society of Edinburgh: Section A Mathematics 127, 1075\u20131088 (1997)","journal-title":"Proceedings of the Royal Society of Edinburgh: Section A Mathematics"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Vidyasagar, M.: Nonlinear Systems Analysis, Networks Series. Prentice-Hall (1978)","DOI":"10.1115\/1.3426360"},{"issue":"25","key":"7_CR31","first-page":"279","volume":"10","author":"T Wa\u017cewski","year":"1947","unstructured":"Wa\u017cewski, T.: Sur un principe topologique de l\u2019examen de l\u2019allure asymptotique des int\u00e9grales des \u00e9quations diff\u00e9rentielles ordinaires. Ann. Soc. Polon. Math. 10(25), 279\u2013313 (1947)","journal-title":"Ann. Soc. Polon. Math."},{"key":"7_CR32","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1515\/crll.1999.035","volume":"509","author":"V Welker","year":"1999","unstructured":"Welker, V., Ziegler, G.M., \u017divaljevi\u0107, R.T.: Homotopy colimits - comparison lemmas for combinatorial applications. J. Reine Angew. Math. 509, 117\u2013149 (1999)","journal-title":"J. Reine Angew. Math."}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24537-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:44:44Z","timestamp":1559270684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24537-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319245362","9783319245379"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24537-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}