{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T09:26:08Z","timestamp":1790933168709,"version":"4.1.0"},"reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540347712","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-34774-7_18","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T19:48:26Z","timestamp":1156535306000},"page":"137-144","source":"Crossref","is-referenced-by-count":3,"title":["Guaranteed Optimization of the Parameters of Continuous-Time Knowledge-Based Models"],"prefix":"10.1007","author":[{"given":"Eric","family":"Walter","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Kieffer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"M. Gennat and B. Tibken. Simulation of uncertain systems with guaranteed bounds. In 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Fukuoka, Japan, October 4\u20138 2004."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3800(00)00279-9","volume":"133","author":"J. L. Gouz\u00e9","year":"2000","unstructured":"J. L. Gouz\u00e9, A. Rapaport, and Z. M. Hadj-Sadok. Interval observers for uncertain biological systems. Journal of Ecological Modelling, (133):45\u201356, 2000.","journal-title":"Journal of Ecological Modelling"},{"key":"18_CR3","volume-title":"Global Optimization Using Interval Analysis","author":"E. R. Hansen","year":"1992","unstructured":"E. R. Hansen. Global Optimization Using Interval Analysis. Marcel Dekker, New York, NY, 1992."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"J. Hoefkens, M. Berz, and K. Makino. Efficient high-order methods for ODEs and DAEs. In G. Corliss, C. Faure, and A. Griewank, editors, Automatic Differentiation: From Simulation to Optimization, pages 341\u2013351, New-York, NY, 2001. Springer-Verlag.","DOI":"10.1007\/978-1-4613-0075-5_41"},{"key":"18_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis. Springer-Verlag, London, 2001."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"M. Kieffer and E. Walter. Guaranteed parameter estimation for cooperative systems. In L. Benvenuti, A. De Santis, and L. Farina, editors, Positive Systems, Proceedings of First Multidisciplany International Symposium on Positive Systems: Theory and Applications (POSTA 2003), pages 103\u2013110. Springer, 2003.","DOI":"10.1007\/978-3-540-44928-7_15"},{"issue":"2","key":"18_CR7","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1080\/13873950500068807","volume":"11","author":"M. Kieffer","year":"2005","unstructured":"M. Kieffer and E. Walter. Interval analysis for guaranteed nonlinear parameter and state estimation. Mathematical and Computer Modelling of Dynamic Systems, 11(2):171\u2013181, 2005.","journal-title":"Mathematical and Computer Modelling of Dynamic Systems"},{"key":"18_CR8","unstructured":"R. Lohner. Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem. In J. R. Cash and I. Gladwell, editors, Computational Ordinary Differential Equations, pages 425\u2013435, Oxford, 1992. Clarendon Press."},{"key":"18_CR9","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. E. Moore","year":"1979","unstructured":"R. E. Moore. Methods and Applications of Interval Analysis. SIAM, Philadelphia, PA, 1979."},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/BF01475477","volume":"26","author":"M. M\u00fcller","year":"1926","unstructured":"M. M\u00fcller. \u00dcber das Fundamentaltheorem in der Theorie der gew\u00f6hnlichen Differentialgleichungen. Math. Z., 26:619\u2013645, 1926.","journal-title":"Math. Z."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"N. S. Nedialkov and K. R. Jackson. Methods for initial value problems for ordinary differential equations. In U. Kulisch, R. Lohner, and A. Facius, editors, Perspectives on Enclosure Methods, pages 219\u2013264, Vienna, 2001. Springer-Verlag.","DOI":"10.1007\/978-3-7091-6282-8_13"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"E. Walter and M. Kieffer. Interval analysis for guaranteed nonlinear estimation. In Proceedings of the 13th IFAC Symposium on System Identification (SYSID), pages 259\u2013270, 2003.","DOI":"10.1016\/S1474-6670(17)34770-5"},{"key":"18_CR13","volume-title":"Identification of Parametric Models from Experimental Data","author":"E. Walter","year":"1997","unstructured":"E. Walter and L. Pronzato. Identification of Parametric Models from Experimental Data. Springer-Verlag, London, 1997."}],"container-title":["Lecture Notes in Control and Information Sciences","Positive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-34774-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:04Z","timestamp":1605646744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-34774-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540347712"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-34774-7_18","relation":{},"subject":[]}}