{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:31:31Z","timestamp":1765546291359,"version":"build-2065373602"},"reference-count":36,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T00:00:00Z","timestamp":1513555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>In this paper, we take a look at the analysis and parameter identification for control-oriented, dynamic models for the thermal subsystem of solid oxide fuel cells (SOFC) from the systematized point of view of verification and validation (V&amp;V). First, we give a possible classification of models according to their verification degree which depends, for example, on the kind of arithmetic used for both formulation and simulation. Typical SOFC models, consisting of several coupled differential equations for gas preheaters and the temperature distribution in the stack module, do not have analytical solutions because of spatial nonlinearity. Therefore, in the next part of the paper, we describe in detail two possible ways to simplify such models so that the underlying differential equations can be solved analytically while still being sufficiently accurate to serve as the basis for control synthesis. The simplifying assumption is to approximate the heat capacities of the gases by zero-order polynomials (or first-oder polynomials, respectively) in the temperature. In the last, application-oriented part of the paper, we identify the parameters of these models as well as compare their performance and their ability to reflect the reality with the corresponding characteristics of models in which the heat capacities are represented by quadratic polynomials (the usual case). For this purpose, the framework UniVerMeC (Unified Framework for Verified GeoMetric Computations) is used, which allows us to employ different kinds of arithmetics including the interval one. This latter possibility ensures a high level of reliability of simulations and of the subsequent validation. Besides, it helps to take into account bounded uncertainty in measurements.<\/jats:p>","DOI":"10.3390\/a10040140","type":"journal-article","created":{"date-parts":[[2017,12,19]],"date-time":"2017-12-19T03:54:32Z","timestamp":1513655672000},"page":"140","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Control-Oriented Models for SO Fuel Cells from the Angle of V&amp;V: Analysis, Simplification Possibilities, Performance"],"prefix":"10.3390","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4059-3982","authenticated-orcid":false,"given":"Ekaterina","family":"Auer","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering, Hochschule Wismar, University of Technology, Business and Design, 23966 Wismar, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luise","family":"Senkel","sequence":"additional","affiliation":[{"name":"Chair of Mechatronics, University of Rostock, 18059 Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Kiel","sequence":"additional","affiliation":[{"name":"Chair of Computer Graphics and Scientific Computing, University of Duisburg-Essen, 47048 Duisburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1548-6547","authenticated-orcid":false,"given":"Andreas","family":"Rauh","sequence":"additional","affiliation":[{"name":"Chair of Mechatronics, University of Rostock, 18059 Rostock, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2017,12,18]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/s11786-014-0205-x","article-title":"Interval Methods for the Implementation of Real-Time Capable Robust Controllers for Solid Oxide Fuel Cell Systems","volume":"8","author":"Rauh","year":"2014","journal-title":"Math. Comput. Sci."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"5208","DOI":"10.1109\/TIE.2015.2404811","article-title":"Interval-Based Sliding Mode Control Design for Solid Oxide Fuel Cells with State and Actuator Constraints","volume":"62","author":"Rauh","year":"2015","journal-title":"IEEE Trans. Ind. Electron."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1093\/imamci\/dnu051","article-title":"Reliable Control of High-Temperature Fuel Cell Systems using Interval-Based Sliding Mode Techniques","volume":"33","author":"Rauh","year":"2016","journal-title":"IMA J. Math. Control. Inf."},{"key":"ref_4","unstructured":"Rauh, A., Senkel, L., and Aschemann, H. (2015, January 24\u201326). Reliable Sliding Mode Approaches for the Temperature Control of Solid Oxide Fuel Cells with Input and Input Rate Constraints. Proceedings of the 1st IFAC Conference on Modelling, Identification and Control of Nonlinear Systems, Saint Petersburg, Russia."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1115\/1.1767847","article-title":"Verification, Validation, and Predictive Capability in Computational Engineering and Physics","volume":"57","author":"Oberkampf","year":"2004","journal-title":"Appl. Mech. Rev."},{"key":"ref_6","first-page":"145","article-title":"Numerical Verification Assessment in Computational Biomechanics","volume":"Volume 5492","author":"Auer","year":"2009","journal-title":"Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures \u2014 From Embedded Systems to High-End Computational Grids"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"558","DOI":"10.3182\/20130904-3-FR-2041.00169","article-title":"Uses of GPU Powered Interval Optimization for Parameter Identificationin the Context of SO Fuel Cells","volume":"46","author":"Kiel","year":"2013","journal-title":"IFAC Proc. Vol."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Moore, R.E., Kearfott, R.B., and Cloud, M.J. (2009). Introduction to Interval Analysis, Society for Industrial and Applied Mathematics.","DOI":"10.1137\/1.9780898717716"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Lohner, R. (2001). On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds, Springer. Perspectives on Enclosure Methods.","DOI":"10.1007\/978-3-7091-6282-8_12"},{"key":"ref_10","unstructured":"Tsompanakis, Y., Kruis, J., and Topping, B.H.V. Performance of Simplified Interval Models for Simulation and Control of Solid Oxide Fuel Cells. Proceedings of the Fourth International Conference on Soft Computing Technology in Civil, Structural and Environmental Engineering."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Huang, B., Qi, Y., and Murshed, A. (2013). Dynamic Modeling and Predictive Control in Solid Oxide Fuel Cells, John Wiley & Sons, Inc.","DOI":"10.1002\/9781118501054"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Bove, R., and Ubertini, S. (2008). Modeling Solid Oxide Fuel Cells, Springer.","DOI":"10.1007\/978-1-4020-6995-6"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1109\/TII.2016.2593654","article-title":"A Comparison Study for the Estimation of SOFC Internal Dynamic States in Complex Power Systems Using Filtering Algorithms","volume":"13","author":"Yu","year":"2017","journal-title":"IEEE Trans. Ind. Inform."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Ma, R., Gao, F., Breaz, E., Huangfu, Y., and Pascal, B. (2017). Multi-Dimensional Reversible Solid Oxide Fuel Cell Modeling for Embedded Applications. IEEE Trans. Energy Convers.","DOI":"10.1109\/TEC.2017.2762962"},{"key":"ref_15","unstructured":"Auer, E., Cuypers, R., and Luther, W. (2012, January 28\u201331). Process-oriented approach to verification in engineering. Proceedings of the ICINCO 2012, Rome, Italy."},{"key":"ref_16","unstructured":"Auer, E. (2014). Result Verification and Uncertainty Management in Engineering Applications, Habilitation.Verlag Dr. Hut."},{"key":"ref_17","first-page":"801","article-title":"Validation of Computational Models in Biomechanics. Proceedings of the Institution of Mechanical Engineers, Part H: Journal of Engineering in Medicine","volume":"224","author":"Henninger","year":"2010","journal-title":"SAGE J."},{"key":"ref_18","first-page":"147","article-title":"Affine Arithmetic: Concepts and Applications","volume":"34","author":"Stolfi","year":"2004","journal-title":"Numer. Algorithm"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/0168-9002(95)00361-4","article-title":"Modern Map Methods for Charged Particle Optics","volume":"363","author":"Berz","year":"1995","journal-title":"Nucl. Instrum. Methods"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Zepper, J., Aragon, K., Ellis, M., Byle, K., and Eaton, D. (2002). ASCI Applications Software Quality Engineering Practices.","DOI":"10.2172\/793310"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","article-title":"Literate Programming","volume":"27","author":"Knuth","year":"1984","journal-title":"Comput. J."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1587\/nolta.7.362","article-title":"Interval arithmetic with fixed rounding mode","volume":"7","author":"Rump","year":"2016","journal-title":"Nonlinear Theory Appl. (IEICE)"},{"key":"ref_23","first-page":"68","article-title":"C-XSC and Closely Related Software Packages","volume":"Volume 5492","author":"Cuyt","year":"2008","journal-title":"Numerical Validation in Current Hardware Architectures LNCS 5492"},{"key":"ref_24","unstructured":"Nedialkov, N.S. (2002). The Design and Implementation of an Object-Oriented Validated ODE Solver, Kluwer Academic Publishers."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Pyzdek, T., and Keller, P. (2003). Quality Engineering Handbook, Marcel Dekker.","DOI":"10.1201\/9781482276350"},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Auer, E., Kiel, S., Pusch, T., and Luther, W. (2014, January 13\u201316). A Flexible Environment for Accurate Simulation, Optimization, and Verification of SOFC Models. Proceedings of the Second International Conference on Vulnerability and Risk Analysis and Management (ICVRAM) and the Sixth International Symposium on Uncertainty, Modeling, and Analysis (ISUMA), Liverpool, UK.","DOI":"10.1061\/9780784413609.036"},{"key":"ref_27","unstructured":"Rauh, A., Senkel, L., and Aschemann, H. (2012, January 20\u201322). Sensitivity-Based State and Parameter Estimation for Fuel Cell Systems. Proceedings of the 7th IFAC Symposium on Robust Control Design, Aalborg, Denmark."},{"key":"ref_28","unstructured":"Auer, E., Kiel, S., and Rauh, A. (2012, January 13\u201315). Verified Parameter Identification for Solid Oxide Fuel Cells. Proceedings of the 5th International Conference on Reliable Engineering Computing, Brno, Czech Republic."},{"key":"ref_29","unstructured":"Pusch, T. (2013). Umsetzung einer Verifizierten Parameteridentifikation mit GUI Realisierung f\u00fcr Festoxidbrennstoffzellen. [Master\u2019s Thesis, Universit\u00e4t Duisburg-Essen]."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10107-004-0559-y","article-title":"On the Implementation of an Interior-Point Filter Line-search Algorithm for Large-scale Nonlinear Programming","volume":"106","author":"Biegler","year":"2006","journal-title":"Math. Program."},{"key":"ref_31","unstructured":"Auer, E., and Kiel, S. (2016, January 15\u201317). Uses of Methods with Result Verification for Simplified Control-Oriented Solid Oxide Fuel Cell Models. Proceedings of the 7th International Workshop on Reliable Engineering Computing, Bochum, Germany."},{"key":"ref_32","unstructured":"Kiel, S. (2014). UniVerMec \u2013 A Framework for Development, Assessment, Interoperable Use of Verfied Techniques; with Applications in Distance Computation, Global Optimization, and Comparison Systematics. [Ph.D. Thesis, University of Duisburg-Essen]."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Hansen, E., and Walster, G.W. (2004). Global Optimization Using Interval Analysis, Marcel Dekker.","DOI":"10.1201\/9780203026922"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1137\/0910062","article-title":"VODE: A Variable-Coefficient ODE Solver","volume":"10","author":"Brown","year":"1989","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"ref_35","first-page":"370","article-title":"Verified Simulation of ODEs and DAEs in ValEncIA-IVP","volume":"5","author":"Rauh","year":"2011","journal-title":"Reliab. Comput."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1137\/S1052623496303470","article-title":"Convergence Properties of the Nelder-Mead Simplex Method in Low Dimensions","volume":"9","author":"Lagarias","year":"1998","journal-title":"SIAM J. Optim."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/10\/4\/140\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T18:54:28Z","timestamp":1760208868000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/10\/4\/140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,18]]},"references-count":36,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2017,12]]}},"alternative-id":["a10040140"],"URL":"https:\/\/doi.org\/10.3390\/a10040140","relation":{},"ISSN":["1999-4893"],"issn-type":[{"type":"electronic","value":"1999-4893"}],"subject":[],"published":{"date-parts":[[2017,12,18]]}}}