{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:10:56Z","timestamp":1737349856753,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540708803"},{"type":"electronic","value":"9783540708810"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70881-0_23","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:07:32Z","timestamp":1186171652000},"page":"260-269","source":"Crossref","is-referenced-by-count":0,"title":["Satisfiability of Viability Constraints for Pfaffian Dynamics"],"prefix":"10.1007","author":[{"given":"Margarita","family":"Korovina","sequence":"first","affiliation":[]},{"given":"Nicolai","family":"Vorobjov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Viability Analysis","author":"J.-P. Aubin","year":"1991","unstructured":"Aubin, J.-P.: Viability Analysis. Birkhauser, Boston (1991)"},{"key":"23_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in Real Algebraic Geometry","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Heidelberg (2003)"},{"key":"23_CR3","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1997","unstructured":"Blum, L., et al.: Complexity and Real Computation. Springer, New York (1997)"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-24743-2_15","volume-title":"Hybrid Systems: Computation and Control","author":"T. Brihaye","year":"2004","unstructured":"Brihaye, T., et al.: On o-minimal hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 219\u2013233. Springer, Heidelberg (2004)"},{"key":"23_CR5","series-title":"NATO Science Series","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-94-007-1025-2_5","volume-title":"Normal Forms, Bifurcations and Finiteness Problems in Differential Equations","author":"A. Gabrielov","year":"2004","unstructured":"Gabrielov, A., Vorobjov, N.: Complexity of computations with Pfaffian and Noetherian functions. In: Ilyashenko, Y., et al. (eds.) Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. NATO Science Series, vol.\u00a0II, pp. 211\u2013250. Kluwer Academic Publishers, Dordrecht (2004)"},{"issue":"1-2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0022-4049(00)00149-3","volume":"164","author":"A. Gabrielov","year":"2001","unstructured":"Gabrielov, A., Vorobjov, N.: Complexity of cylindrical decompositions of sub-Pfaffian sets. J. Pure and Appl. Algebra\u00a0164(1-2), 179\u2013197 (2001)","journal-title":"J. Pure and Appl. Algebra"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Gabrielov, A., Vorobjov, N.: Betti numbers of semialgebraic sets defined by quantifier-free formulae. To appear in: Discrete and Computational Geometry (2004)","DOI":"10.1007\/s00454-004-1105-7"},{"key":"23_CR8","series-title":"Translations of Mathematical Monographs","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/088","volume-title":"Fewnomials","author":"A. Khovanskii","year":"1991","unstructured":"Khovanskii, A.: Fewnomials. Translations of Mathematical Monographs, vol.\u00a088. American Mathematical Society, Providence (1991)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1007\/978-3-540-30124-0_33","volume-title":"Computer Science Logic","author":"M. Korovina","year":"2004","unstructured":"Korovina, M., Vorobjov, N.: Pfaffian hybrid systems. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol.\u00a03210, pp. 430\u2013441. Springer, Heidelberg (2004)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11780342_28","volume-title":"Logical Approaches to Computational Barriers","author":"M. Korovina","year":"2006","unstructured":"Korovina, M., Vorobjov, N.: Upper and lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. In: Beckmann, A., et al. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 235\u2013241. Springer, Heidelberg (2006)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Math. Control Signals Systems\u00a013, 1\u201321 (2000)","journal-title":"Math. Control Signals Systems"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/978-3-642-55566-4_31","volume-title":"Discrete and Computational Geometry. Goodman-Pollack Festschrift","author":"S. Pericleous","year":"2003","unstructured":"Pericleous, S., Vorobjov, N.: New complexity bounds for cylindrical decompositions of sub-Pfaffian sets. In: Aronov, B., et al. (eds.) Discrete and Computational Geometry. Goodman-Pollack Festschrift, pp. 673\u2013694. Springer, Heidelberg (2003)"},{"key":"23_CR13","series-title":"London Mathematical Society Lecture Notes Series","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525919","volume-title":"Tame Topology and O-minimal Structures","author":"L. Dries van den","year":"1998","unstructured":"van den Dries, L.: Tame Topology and O-minimal Structures. London Mathematical Society Lecture Notes Series, vol.\u00a0248. Cambridge University Press, Cambridge (1998)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70881-0_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T03:45:25Z","timestamp":1737344725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70881-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540708803","9783540708810"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70881-0_23","relation":{},"subject":[]}}