Control-Oriented Models for SO Fuel Cells from the Angle of V&V: Analysis, Simplification Possibilities, Performance

Algorithms

Stefan Kiel¹  Luise Senkel²  Andreas Rauh²  Ekaterina Auer³ 

[1] Chair of Computer Graphics and Scientific Computing, University of Duisburg-Essen, 47048 Duisburg, Germany;Chair of Mechatronics, University of Rostock, 18059 Rostock, Germany;Department of Electrical Engineering, Hochschule Wismar, University of Technology, Business and Design, 23966 Wismar, Germany;

关键词: interval arithmetic;    solid oxide fuel cells;    UniVerMeC;    global optimisation;    verification;    validation;   

DOI  :  10.3390/a10040140

来源: DOAJ

【 摘 要 】

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&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.

【 授权许可】

Unknown