{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T00:49:56Z","timestamp":1720486196320},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T00:00:00Z","timestamp":1406764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1007\/s11786-014-0205-x","type":"journal-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T04:29:19Z","timestamp":1406694559000},"page":"525-542","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Interval Methods for Real-Time Capable Robust Control of Solid Oxide Fuel Cell Systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Andreas","family":"Rauh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luise","family":"Senkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Auer","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":[[2014,7,31]]},"reference":[{"key":"205_CR1","doi-asserted-by":"crossref","unstructured":"Auer, E., Rauh, A., Hofer, E.P., Luther, W.: 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, Springer, pp. 1\u201327 (2008)","DOI":"10.1007\/978-3-540-85521-7_1"},{"key":"205_CR2","unstructured":"Bendsten, C., Stauning, O.: FADBAD++, Version 2.1 (2007). http:\/\/www.fadbad.com"},{"key":"205_CR3","doi-asserted-by":"crossref","unstructured":"Bove, R., Ubertini, S. (ed.): Modeling Solid Oxide Fuel Cells. Springer, Berlin (2008)","DOI":"10.1007\/978-1-4020-6995-6"},{"issue":"8","key":"205_CR4","doi-asserted-by":"crossref","first-page":"1329","DOI":"10.1007\/s00500-013-1003-0","volume":"17","author":"T. D\u00f6tschel","year":"2013","unstructured":"D\u00f6tschel T., Auer E., Rauh A., Aschemann H.: Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control. Soft Computing 17(8), 1329\u20131343 (2013)","journal-title":"Soft Computing"},{"key":"205_CR5","doi-asserted-by":"crossref","unstructured":"Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia (2008)","DOI":"10.1137\/1.9780898717761"},{"key":"205_CR6","doi-asserted-by":"crossref","unstructured":"Gubner, A.: Non-isothermal and dynamic sofc voltage-current behavior. In: Singhal, S. C., Mizusaki, J. (ed.) Solid Oxide Fuel Cells IX (SOFC-IX)\u2014Cells, Stacks, and Systems, vol. 1, pp. 814\u2013826. The Electrochemical Society, India (2005)","DOI":"10.1149\/200507.0814PV"},{"key":"205_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L. Jaulin","year":"2001","unstructured":"Jaulin L., Kieffer M., Didrit O., Walter \u00c9.: Applied Interval Analysis. Springer, London (2001)"},{"key":"205_CR8","unstructured":"Kr\u00e4mer, W.: XSC Languages (C-XSC, PASCAL-XSC)\u2014Scientific Computing with Validation, Arithmetic Requirements, Hardware Solution and Language Support (2012). http:\/\/www.math.uni-wuppertal.de\/~xsc\/ , C-XSC 2.5.3"},{"issue":"3","key":"205_CR9","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1049\/ip-cta:20040480","volume":"152","author":"D. Limon","year":"2005","unstructured":"Limon D., Bravo J.M., Alamo T., Camacho E.F.: Robust MPC of constrained nonlinear systems based on interval arithmetic. IEE Proc. Control Theory Appl. 152(3), 325\u2013332 (2005)","journal-title":"IEE Proc. Control Theory Appl."},{"key":"205_CR10","unstructured":"Nedialkov, N.S.: Interval tools for ODEs and DAEs. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, (2007). IEEE Computer Society, California"},{"key":"205_CR11","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S.: Implementing a rigorous ODE solver through literate programming. In: Rauh A., Auer E., (eds.) Modeling, Design, and Simulation of Systems with Uncertainties, Mathematical Engineering. Springer, Berlin, pp. 3\u201319 (2011)","DOI":"10.1007\/978-3-642-15956-5_1"},{"key":"205_CR12","volume-title":"Control of Fuel Cell Power Systems: Principles, Modeling, Analysis and Feedback Design","author":"J.T. Pukrushpan","year":"2005","unstructured":"Pukrushpan J.T., Stefanopoulou A.G., Peng H.: Control of Fuel Cell Power Systems: Principles, Modeling, Analysis and Feedback Design, 2nd edn. Springer, Berlin (2005)","edition":"2"},{"key":"205_CR13","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s00607-011-0171-y","volume":"(2\u20134)","author":"A. Rauh","year":"2012","unstructured":"Rauh A., Kersten J., Auer E., Aschemann H.: Sensitivity-based feedforward and feedback control for uncertain systems. Computing (2\u20134), 357\u2013367 (2012)","journal-title":"Computing"},{"issue":"3","key":"205_CR14","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 E.P.: Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties. Spec. Issue Int. J. Appl. Math. Comput. Sci. AMCS Verified Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering 19(3), 425\u2013439 (2009)","journal-title":"Spec. Issue Int. J. Appl. Math. Comput. Sci. AMCS Verified Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering"},{"key":"205_CR15","doi-asserted-by":"crossref","unstructured":"Rauh, A., Senkel, L., Aschemann, H.: Variable structure approaches for temperature control of solid oxide fuel cell stacks. In: Proc. of 2nd Intl. Conference on Vulnerability and Risk Analysis and Management ICVRAM 2014. Liverpool, UK (2014, To appear)","DOI":"10.1061\/9780784413609.031"},{"key":"205_CR16","unstructured":"Rauh, A., Senkel, L., Kersten, J., Aschemann, H.: Interval methods for sensitivity-based model-predictive control of solid oxide fuel cell systems. In: Proc. of the 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2012, vol. 19, pp. 361\u2013384, Novosibirsk, Russia, 2014. Special Issue of Reliable Computing. http:\/\/interval.louisiana.edu\/reliable-computing-journal\/volume-19\/reliable-computing-19-pp-361-384.pdf"},{"key":"205_CR17","doi-asserted-by":"crossref","unstructured":"Rauh, A., Senkel, L., Kersten, J., Aschemann, H.: Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques. IMA J. Math. Control Inf. (2014). Accepted for publication.","DOI":"10.1093\/imamci\/dnu051"},{"key":"205_CR18","doi-asserted-by":"crossref","unstructured":"Senkel, L., Rauh, A., Aschemann, H.: Experimental validation of a sensitivity-based observer for solid oxide fuel cell systems. In: Proc. of IEEE Intl. Conference on Methods and Models in Automation and Robotics MMAR 2013. Miedzyzdroje, Poland (2013)","DOI":"10.1109\/MMAR.2013.6669897"},{"key":"205_CR19","doi-asserted-by":"crossref","unstructured":"Senkel, L., Rauh, A., Aschemann, H.: Robust sliding mode techniques for control and state estimation of dynamic systems with bounded and stochastic uncertainty. In: Proc. of 2nd Intl. Conference on Vulnerability and Risk Analysis and Management ICVRAM 2014. Liverpool, UK (2014, To appear)","DOI":"10.1061\/9780784413609.032"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0205-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-014-0205-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-014-0205-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T10:16:16Z","timestamp":1565691376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-014-0205-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,31]]},"references-count":19,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["205"],"URL":"https:\/\/doi.org\/10.1007\/s11786-014-0205-x","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,31]]}}}