{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:53:40Z","timestamp":1791219220348,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548611","type":"print"},{"value":"9783642548628","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54862-8_19","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:33:34Z","timestamp":1395394414000},"page":"279-294","source":"Crossref","is-referenced-by-count":36,"title":["Characterizing Algebraic Invariants by Differential Radical Invariants"],"prefix":"10.1007","author":[{"given":"Khalil","family":"Ghorbal","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Bochnak, J., Coste, M., Roy, M.F.: Real Algebraic Geometry. A series of modern surveys in mathematics. Springer (2010)"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1006\/jcss.1998.1608","volume":"58","author":"J.F. Buss","year":"1999","unstructured":"Buss, J.F., Frandsen, G.S., Shallit, J.: The computational complexity of some problems of linear algebra. J. Comput. Syst. Sci.\u00a058(3), 572\u2013596 (1999)","journal-title":"J. Comput. Syst. Sci."},{"key":"19_CR3","unstructured":"Cox, D.A., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer (2007)"},{"issue":"3","key":"19_CR4","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/2372560","volume":"79","author":"L.E. Dubins","year":"1957","unstructured":"Dubins, L.E.: On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents. American Journal of Mathematics\u00a079(3), 497\u2013516 (1957)","journal-title":"American Journal of Mathematics"},{"key":"19_CR5","unstructured":"Ghorbal, K., Platzer, A.: Characterizing algebraic invariants by differential radical invariants. Tech. Rep. CMU-CS-13-129, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, 15213 (November 2013), http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/2013\/abstracts\/13-129.html"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics. Springer (1977)","DOI":"10.1007\/978-1-4757-3849-0"},{"issue":"4","key":"19_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01208503","volume":"36","author":"D. Hilbert","year":"1890","unstructured":"Hilbert, D.: \u00dcber die Theorie der algebraischen Formen. Mathematische Annalen\u00a036(4), 473\u2013534 (1890)","journal-title":"Mathematische Annalen"},{"issue":"6","key":"19_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/2512329","volume":"60","author":"C.J. Hillar","year":"2013","unstructured":"Hillar, C.J., Lim, L.H.: Most tensor problems are NP-hard. J. ACM\u00a060(6), 45 (2013)","journal-title":"J. ACM"},{"issue":"3","key":"19_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/jsco.2001.0472","volume":"32","author":"G. Lafferriere","year":"2001","unstructured":"Lafferriere, G., Pappas, G.J., Yovine, S.: Symbolic reachability computation for families of linear vector fields. J. Symb. Comput.\u00a032(3), 231\u2013253 (2001)","journal-title":"J. Symb. Comput."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Lanotte, R., Tini, S.: Taylor approximation for hybrid systems. In: Morari, Thiele (eds.) [13], pp. 402\u2013416","DOI":"10.1007\/978-3-540-31954-2_26"},{"key":"19_CR11","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":"19_CR12","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.\u00a06337, pp. 373\u2013389. Springer, Heidelberg (2010)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","year":"2005","unstructured":"Morari, M., Thiele, L. (eds.): HSCC 2005. LNCS, vol.\u00a03414. Springer, Heidelberg (2005)"},{"issue":"13","key":"19_CR14","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0022-4049(96)00103-X","volume":"124","author":"R. Neuhaus","year":"1998","unstructured":"Neuhaus, R.: Computation of real radicals of polynomial ideals II. Journal of Pure and Applied Algebra\u00a0124(13), 261\u2013280 (1998)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"19_CR15","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. Reasoning\u00a041(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reasoning"},{"key":"19_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"A. Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-32347-8_3","volume-title":"Interactive Theorem Proving","author":"A. Platzer","year":"2012","unstructured":"Platzer, A.: A differential operator approach to equational differential invariants - (invited paper). In: Beringer, L., Felty, A.P. (eds.) ITP. LNCS, vol. 7406, pp. 28\u201348. Springer (2012)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Platzer, A.: Logics of dynamical systems. In: LICS, pp. 13\u201324. IEEE (2012)","DOI":"10.1109\/LICS.2012.13"},{"issue":"4","key":"19_CR19","first-page":"1","volume":"8","author":"A. Platzer","year":"2012","unstructured":"Platzer, A.: The structure of differential invariants and differential cut elimination. Logical Methods in Computer Science\u00a08(4), 1\u201338 (2012)","journal-title":"Logical Methods in Computer Science"},{"key":"19_CR20","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.\u00a05123, pp. 176\u2013189. Springer, Heidelberg (2008)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-27864-1_21","volume-title":"Static Analysis","author":"E. Rodr\u00edguez-Carbonell","year":"2004","unstructured":"Rodr\u00edguez-Carbonell, E., Kapur, D.: An abstract interpretation approach for automatic generation of polynomial invariants. In: Giacobazzi, R. (ed.) SAS 2004. LNCS, vol.\u00a03148, pp. 280\u2013295. Springer, Heidelberg (2004)"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez-Carbonell, E., Tiwari, A.: Generating polynomial invariants for hybrid systems. In: Morari, Thiele (eds.) [13], pp. 590\u2013605","DOI":"10.1007\/978-3-540-31954-2_38"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S.: Automatic invariant generation for hybrid systems using ideal fixed points. In: Johansson, K.H., Yi, W. (eds.) HSCC, pp. 221\u2013230. ACM (2010)","DOI":"10.1145\/1755952.1755984"},{"issue":"1","key":"19_CR24","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10703-007-0046-1","volume":"32","author":"S. Sankaranarayanan","year":"2008","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Constructing invariants for hybrid systems. Formal Methods in System Design\u00a032(1), 25\u201355 (2008)","journal-title":"Formal Methods in System Design"},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Stengel, R.F.: Flight Dynamics. Princeton University Press (2004)","DOI":"10.1515\/9781400866816"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-36580-X_37","volume-title":"Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2003","unstructured":"Tiwari, A.: Approximate reachability for linear systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 514\u2013525. Springer, Heidelberg (2003)"},{"issue":"1","key":"19_CR27","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A. Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. Formal Methods in System Design\u00a032(1), 57\u201383 (2008)","journal-title":"Formal Methods in System Design"},{"key":"19_CR28","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.\u00a02993, pp. 600\u2013614. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54862-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,16]],"date-time":"2020-08-16T12:35:04Z","timestamp":1597581304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54862-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548611","9783642548628"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54862-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}