{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:31:46Z","timestamp":1761489106256},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T00:00:00Z","timestamp":1363651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00500-013-1003-0","type":"journal-article","created":{"date-parts":[[2013,3,18]],"date-time":"2013-03-18T03:31:58Z","timestamp":1363577518000},"page":"1329-1343","source":"Crossref","is-referenced-by-count":12,"title":["Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control"],"prefix":"10.1007","volume":"17","author":[{"given":"Thomas","family":"D\u00f6tschel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Rauh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Aschemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,19]]},"reference":[{"key":"1003_CR1","doi-asserted-by":"crossref","unstructured":"Auer E, Rauh A, Hofer EP, Luther W (2008) Validated modeling of mechanical systems with SmartMOBILE: improvement of performance by ValEncIA-IVP. In: Proceedings of Dagstuhl Seminar 06021: reliable implementation of real number algorithms: theory and practice. Lecture Notes in Computer Science, pp 1\u201327","DOI":"10.1007\/978-3-540-85521-7_1"},{"key":"1003_CR2","unstructured":"Bendsten C, Stauning O (2007) FADBAD++, Version 2.1. http:\/\/www.fadbad.com"},{"key":"1003_CR3","doi-asserted-by":"crossref","unstructured":"Bove R, Ubertini S (eds) (2008) Modeling solid oxide fuel cells. Springer, Berlin","DOI":"10.1007\/978-1-4020-6995-6"},{"key":"1003_CR4","doi-asserted-by":"crossref","unstructured":"D\u00f6tschel T, Rauh A, Aschemann H (2012) Reliable control and disturbance rejection for the thermal behavior of solid oxide fuel cell systems. In: Proceedings of MATHMOD 2012, Vienna. http:\/\/ifac-papersonline.net","DOI":"10.3182\/20120215-3-AT-3016.00093"},{"key":"1003_CR5","unstructured":"Eble I (2007) \u00dcber Taylor-Modelle. PhD thesis, University of Karlsruhe"},{"key":"1003_CR6","unstructured":"Eggers A, Fr\u00e4nzle M, Herde C (2009) Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems. In: Numerical analysis and applied mathematics 2009. American Institute of Physics, vol 1168, pp 1326\u20131330"},{"key":"1003_CR7","doi-asserted-by":"crossref","unstructured":"Filippov A (1988) Differential equations with discontinuous righthand sides. Kluwer Academic Publishers, Dordrecht","DOI":"10.1007\/978-94-015-7793-9"},{"key":"1003_CR8","unstructured":"Goldsztejn A, Ishii D (2011) A parallelotope method for the simulation of nonlinear hybrid systems, abstract of a talk at SWIM 2011 workshop in Bourges"},{"key":"1003_CR9","doi-asserted-by":"crossref","unstructured":"Kearfott RB (1996) Rigorous global search: continuous problems. Kluwer, Boston","DOI":"10.1007\/978-1-4757-2495-0"},{"key":"1003_CR10","unstructured":"Keil C (2008) Profil\/BIAS, Version 2.0.8. http:\/\/www.ti3.tu-harburg.de\/keil\/profil\/"},{"key":"1003_CR11","doi-asserted-by":"crossref","unstructured":"Kieffer M, Csaba M, Schichl H, Walter E (2011) Verified global optimization for estimating the parameters of nonlinear models. In: Rauh A, Auer E (eds) Modeling, design and simulation of systems with uncertainties, mathematical engineering. Springer, Berlin","DOI":"10.1007\/978-3-642-15956-5_7"},{"key":"1003_CR12","unstructured":"Lohner R (1988) Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universit\u00e4t Karlsruhe"},{"key":"1003_CR13","doi-asserted-by":"crossref","unstructured":"Mahmoud S, Chen X (2008) A verified inexact implicit Runge-Kutta method for nonsmooth ODEs. Numer Algorithms (47):275\u2013290","DOI":"10.1007\/s11075-008-9180-0"},{"key":"1003_CR14","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1023\/B:REOM.0000032107.85627.45","volume":"10","author":"H Munoz","year":"2004","unstructured":"Munoz H, Kearfott RB (2004) Slope intervals, generalized gradients, semigradients, slant derivatives, and Csets. Reliable Comput 10:163\u2013193","journal-title":"Reliable Comput"},{"key":"1003_CR15","unstructured":"Nedialkov N, von Mohrenschildt M (2002) Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. In: Proceedings of the American Control Conference, ACC, Anchorage"},{"key":"1003_CR16","unstructured":"Nedialkov NS (2002) The design and implementation of an object-oriented validated ODE solver. Kluwer Academic Publishers, Dordrecht"},{"issue":"4","key":"1003_CR17","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1080\/13873954.2011.642384","volume":"18","author":"A Rauh","year":"2012","unstructured":"Rauh A, Aschemann H (2012) Parameter identification and observer-based control for distributed heating systems\u2014the basis for temperature control of solid oxide fuel cells. Math Comput Model Dyn Syst 18(4):329\u2013353","journal-title":"Math Comput Model Dyn Syst"},{"key":"1003_CR18","unstructured":"Rauh A, Kletting M, Aschemann H, Hofer EP (2006) Interval methods for simulation of dynamical systems with state-dependent switching characteristics. In: Proceedings of the IEEE CCA 2006, pp 355\u2013360"},{"issue":"3","key":"1003_CR19","doi-asserted-by":"crossref","first-page":"425","DOI":"10.2478\/v10006-009-0035-1","volume":"19","author":"A Rauh","year":"2009","unstructured":"Rauh A, Minisini J, Hofer EP (2009) Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties. Int J Appl Math Comput Sci 19(3):425\u2013439","journal-title":"Int J Appl Math Comput Sci"},{"key":"1003_CR20","doi-asserted-by":"crossref","unstructured":"Rauh A, D\u00f6tschel T, Aschemann H (2011) Experimental parameter identification for a control-oriented model of the thermal behavior of high-temperature fuel cells. In: CD-Proceedings of IEEE International Conference on Methods and Models in Automation and Robotics MMAR, Miedzyzdroje","DOI":"10.1109\/MMAR.2011.6031306"},{"key":"1003_CR21","doi-asserted-by":"crossref","unstructured":"Rauh A, D\u00f6tschel T, Auer E, Aschemann H (2012a) Interval methods for control-oriented modeling of the thermal behavior of high-temperature fuel cell stacks. In: Proceedings of 16th IFAC Symposium on System Identification SysID 2012, Brussels","DOI":"10.3182\/20120711-3-BE-2027.00374"},{"key":"1003_CR22","unstructured":"Rauh A, Senkel L, Aschemann H (2012b) Sensitivity-based state and parameter estimation for fuel cell systems. In: Proceedings of 7th IFAC Symposium on Robust Control Design, ROCOND'12, Aalborg"},{"key":"1003_CR23","unstructured":"Rihm R (1992) Enclosing solutions with switching points in ordinary differential equations. In: Computer arithmetic and enclosure methods. Proceedings of SCAN 91. North-Holland, Amsterdam, pp 419\u2013425"},{"key":"1003_CR24","unstructured":"Schnurr M (2007) Steigungen h\u00f6herer Ordnung zur verifizierten globalen Optimierung. PhD thesis, Universit\u00e4t Karlsruhe"},{"key":"1003_CR25","unstructured":"Stauning O (1997) Automatic validation of numerical solutions. PhD thesis, Technical University of Denmark, Lyngby"},{"key":"1003_CR26","doi-asserted-by":"crossref","unstructured":"Veres SM (ed) (2011) Special issue: bounding methods for state and parameter estimation. International Journal of Adaptive Control and Signal Processing, vol 25. Wiley, Malden","DOI":"10.1002\/acs.1232"},{"key":"1003_CR27","doi-asserted-by":"crossref","unstructured":"Walter W (1972) Gew\u00f6hnliche Differentialgleichungen. Springer, Berlin","DOI":"10.1007\/978-3-642-96104-5"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1003-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-013-1003-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-013-1003-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T22:40:33Z","timestamp":1562798433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-013-1003-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,19]]},"references-count":27,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["1003"],"URL":"https:\/\/doi.org\/10.1007\/s00500-013-1003-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,19]]}}}