{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:59:39Z","timestamp":1760061579704,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662491218"},{"type":"electronic","value":"9783662491225"}],"license":[{"start":{"date-parts":[[2015,12,25]],"date-time":"2015-12-25T00:00:00Z","timestamp":1451001600000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-662-49122-5_13","type":"book-chapter","created":{"date-parts":[[2015,12,24]],"date-time":"2015-12-24T05:01:36Z","timestamp":1450933296000},"page":"268-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["A Method for Invariant Generation for Polynomial Continuous Systems"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Sogokon","sequence":"first","affiliation":[]},{"given":"Khalil","family":"Ghorbal","sequence":"additional","affiliation":[]},{"given":"Paul B.","family":"Jackson","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) HS 1991 and HS 1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36580-X_4","volume-title":"Hybrid Systems: Computation and Control","author":"R Alur","year":"2003","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Progress on reachability analysis of hybrid systems using predicate abstraction. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 4\u201319. Springer, Heidelberg (2003)"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/1132357.1132363","volume":"5","author":"R Alur","year":"2006","unstructured":"Alur, R., Dang, T., Ivan\u010di\u0107, F.: Predicate abstraction for reachability analysis of hybrid systems. ACM Trans. Embed. Comput. Syst. 5(1), 152\u2013199 (2006)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"13_CR4","volume-title":"Dynamical Systems. Differential Equations, Maps and Chaotic Behaviour.","author":"D Arrowsmith","year":"1992","unstructured":"Arrowsmith, D., Place, C.: Dynamical Systems. Differential Equations, Maps and Chaotic Behaviour. Chapman & Hall, London (1992)"},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-62006-5","volume-title":"Stability Theory of Dynamical Systems","author":"NP Bhatia","year":"1970","unstructured":"Bhatia, N.P., Szeg\u0151, G.P.: Stability Theory of Dynamical Systems. Springer, Heidelberg (1970)"},{"issue":"11","key":"13_CR6","doi-asserted-by":"publisher","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","volume":"35","author":"F Blanchini","year":"1999","unstructured":"Blanchini, F.: Set invariance in control. Automatica 35(11), 1747\u20131767 (1999)","journal-title":"Automatica"},{"key":"13_CR7","volume-title":"Qualitative Theory of Planar Differential Systems","author":"F Dumortier","year":"2006","unstructured":"Dumortier, F., Llibre, J., Art\u00e9s, J.C.: Qualitative Theory of Planar Differential Systems. Springer, Berlin (2006)"},{"key":"13_CR8","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":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/978-3-662-46081-8_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"K Ghorbal","year":"2015","unstructured":"Ghorbal, K., Sogokon, A., Platzer, A.: A hierarchy of proof rules for checking differential invariance of algebraic sets. In: D\u2019Souza, D., Lal, A., Larsen, K.G. (eds.) VMCAI 2015. LNCS, vol. 8931, pp. 431\u2013448. Springer, Heidelberg (2015)"},{"key":"13_CR10","series-title":"Advanced series in nonlinear dynamics","doi-asserted-by":"crossref","DOI":"10.1142\/3846","volume-title":"Integrability and Nonintegrability of Dynamical Systems","author":"A Goriely","year":"2001","unstructured":"Goriely, A.: Integrability and Nonintegrability of Dynamical Systems. Advanced series in nonlinear dynamics. World Scientific, Singapore (2001)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-540-70545-1_18","volume-title":"Computer Aided Verification","author":"S Gulwani","year":"2008","unstructured":"Gulwani, S., Tiwari, A.: Constraint-based approach for analysis of hybrid systems. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 190\u2013203. Springer, Heidelberg (2008)"},{"issue":"3","key":"13_CR12","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1137\/1005068","volume":"5","author":"JK Hale","year":"1963","unstructured":"Hale, J.K., LaSalle, J.P.: Differential equations: linearity vs. nonlinearity. SIAM Rev. 5(3), 249\u2013272 (1963)","journal-title":"SIAM Rev."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: LICS, pp. 278\u2013292. IEEE Computer Society Press (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Liu, J., Zhan, N., Zhao, H.: Computing semi-algebraic invariants for polynomial dynamical systems. In: Chakraborty, S., Jerraya, A., Baruah, S.K., Fischmeister, S. (eds.) EMSOFT, pp. 97\u2013106. ACM (2011)","DOI":"10.1145\/2038642.2038659"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-319-19249-9_23","volume-title":"FM 2015: Formal Methods","author":"J Liu","year":"2015","unstructured":"Liu, J., Zhan, N., Zhao, H., Zou, L.: Abstraction of elementary hybrid systems by variable transformation. In: Bj\u00f8rner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 360\u2013377. Springer, Heidelberg (2015)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/978-3-642-15769-1_23","volume-title":"Static Analysis","author":"N Matringe","year":"2010","unstructured":"Matringe, N., Moura, A.V., Rebiha, R.: Generating invariants for non-linear hybrid systems by linear algebraic methods. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol. 6337, pp. 373\u2013389. Springer, Heidelberg (2010)"},{"key":"13_CR17","series-title":"Lecture Notes in Control and Information Science","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/10997703_2","volume-title":"Positive Polynomials in Control","author":"A Papachristodoulou","year":"2005","unstructured":"Papachristodoulou, A., Prajna, S.: Analysis of non-polynomial systems using the sum of squares decomposition. In: Henrion, D., Garulli, A. (eds.) Positive Polynomials in Control. Lecture Notes in Control and Information Science, vol. 312, pp. 23\u201343. Springer, Berlin (2005)"},{"issue":"2","key":"13_CR18","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"13_CR19","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/logcom\/exn070","volume":"20","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Differential-algebraic dynamic logic for differential-algebraic programs. J. Log. Comput. 20(1), 309\u2013352 (2010)","journal-title":"J. Log. Comput."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The complete proof theory of hybrid systems. In: LICS, pp. 541\u2013550. IEEE (2012)","DOI":"10.1109\/LICS.2012.64"},{"issue":"4","key":"13_CR21","first-page":"1","volume":"8","author":"A Platzer","year":"2012","unstructured":"Platzer, A.: The structure of differential invariants and differential cut elimination. LMCS 8(4), 1\u201338 (2012)","journal-title":"LMCS"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-70545-1_17","volume-title":"Computer Aided Verification","author":"A Platzer","year":"2008","unstructured":"Platzer, A., Clarke, E.M.: Computing differential invariants of hybrid systems as fixedpoints. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 176\u2013189. Springer, Heidelberg (2008)"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/368300.368308","volume":"2","author":"JE Powers","year":"1959","unstructured":"Powers, J.E.: Elimination of special functions from differential equations. Commun. ACM 2(3), 3\u20134 (1959)","journal-title":"Commun. ACM"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","volume-title":"Hybrid Systems: Computation and Control","author":"S Prajna","year":"2004","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477\u2013492. Springer, Heidelberg (2004)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Ratschan, S., She, Z.: Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Trans. Embed. Comput. Syst., vol. 6(1), Febuary 2007","DOI":"10.1145\/1210268.1210276"},{"issue":"4","key":"13_CR26","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2271358","volume":"33","author":"D Richardson","year":"1968","unstructured":"Richardson, D.: Some undecidable problems involving elementary functions of a real variable. J. Symb. Log. 33(4), 514\u2013520 (1968)","journal-title":"J. Symb. Log."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S.: Automatic invariant generation for hybrid systems using ideal fixed points. In: HSCC, pp. 221\u2013230 (2010)","DOI":"10.1145\/1755952.1755984"},{"issue":"1","key":"13_CR28","first-page":"25","volume":"32","author":"S Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. FMSD 32(1), 25\u201355 (2008)","journal-title":"FMSD"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-642-22110-1_56","volume-title":"Computer Aided Verification","author":"S Sankaranarayanan","year":"2011","unstructured":"Sankaranarayanan, S., Tiwari, A.: Relational abstractions for continuous and hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 686\u2013702. Springer, Heidelberg (2011)"},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0025-5564(87)90035-6","volume":"87","author":"MA Savageau","year":"1987","unstructured":"Savageau, M.A., Voit, E.O.: Recasting nonlinear differential equations as S-systems: a canonical nonlinear form. Math. Biosci. 87(1), 83\u2013115 (1987)","journal-title":"Math. Biosci."},{"key":"13_CR31","series-title":"NATO ASI Series","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/978-94-015-8238-4_10","volume-title":"Bifurcations and Periodic Orbits of Vector Fields","author":"D Schlomiuk","year":"1993","unstructured":"Schlomiuk, D.: Algebraic and geometric aspects of the theory of polynomial vector fields. In: Schlomiuk, D. (ed.) Bifurcations and Periodic Orbits of Vector Fields. NATO ASI Series, vol. 408, pp. 429\u2013467. Springer, Heidelberg (1993)"},{"issue":"2","key":"13_CR32","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1090\/S0002-9947-1993-1106193-6","volume":"338","author":"D Schlomiuk","year":"1993","unstructured":"Schlomiuk, D.: Algebraic particular integrals, integrability and the problem of the center. Trans. Am. Math. Soci. 338(2), 799\u2013841 (1993)","journal-title":"Trans. Am. Math. Soci."},{"key":"13_CR33","volume-title":"Nonlinear Dynamics and Chaos","author":"SH Strogatz","year":"1994","unstructured":"Strogatz, S.H.: Nonlinear Dynamics and Chaos. Westview Press, New York (1994)"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031569","volume-title":"Hybrid Systems IV","author":"O Stursberg","year":"1997","unstructured":"Stursberg, O., Kowalewski, S., Hoffmann, I., Preu\u00dfig, J.: Comparing timed and hybrid automata as approximations of continuous systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1996. LNCS, vol. 1273. Springer, Heidelberg (1997)"},{"key":"13_CR35","first-page":"91","volume":"59","author":"A Tarski","year":"1951","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Bull. Am. Math. Soci. 59, 91\u201393 (1951)","journal-title":"Bull. Am. Math. Soci."},{"key":"13_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"Hybrid Systems: Computation and Control","author":"A Tiwari","year":"2002","unstructured":"Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, p. 465. Springer, Heidelberg (2002)"},{"issue":"1","key":"13_CR37","first-page":"57","volume":"32","author":"A Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. FMSD 32(1), 57\u201383 (2008)","journal-title":"FMSD"},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1007\/978-3-540-78929-1_58","volume-title":"Hybrid Systems: Computation and Control","author":"A Tiwari","year":"2008","unstructured":"Tiwari, A.: Generating box invariants. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 658\u2013661. Springer, Heidelberg (2008)"},{"key":"13_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1007\/978-3-540-24743-2_40","volume-title":"Hybrid Systems: Computation and Control","author":"A Tiwari","year":"2004","unstructured":"Tiwari, A., Khanna, G.: Nonlinear systems: approximating reach sets. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 600\u2013614. Springer, Heidelberg (2004)"},{"issue":"10","key":"13_CR40","doi-asserted-by":"publisher","first-page":"2508","DOI":"10.1109\/TAC.2013.2263916","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 Trans. Autom. Control 58(10), 2508\u20132521 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"key":"13_CR41","series-title":"Texts in Applied Mathematics","volume-title":"Introduction to Applied Nonlinear Dynamical Systems and Chaos","author":"S Wiggins","year":"2003","unstructured":"Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Texts in Applied Mathematics, 2nd edn. Springer, New York (2003)","edition":"2"},{"issue":"5","key":"13_CR42","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1016\/j.na.2010.04.042","volume":"73","author":"Z Wu","year":"2010","unstructured":"Wu, Z.: Tangent cone and contingent cone to the intersection of two closed sets. Nonlinear Anal.: Theor., Methods Appl. 73(5), 1203\u20131220 (2010)","journal-title":"Nonlinear Anal.: Theor., Methods Appl."},{"key":"13_CR43","unstructured":"Zaki, M.H., Tahar, S., Bois, G.: A symbolic approach for the safety verification of continuous systems. In: Proceedings of the International Conference on Computational Sciences, pp. 93\u2013100 (2007)"},{"key":"13_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-39698-4_22","volume-title":"Theories of Programming and Formal Methods","author":"H Zhao","year":"2013","unstructured":"Zhao, H., Zhan, N., Kapur, D.: Synthesizing switching controllers for hybrid systems by generating invariants. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 354\u2013373. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49122-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T22:49:41Z","timestamp":1748731781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49122-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,25]]},"ISBN":["9783662491218","9783662491225"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49122-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015,12,25]]},"assertion":[{"value":"25 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}