MPE Mathematical Problems in Engineering 1563-5147 1024-123X Hindawi Publishing Corporation 10.1155/2015/793216 793216 Research Article Validation of Simulation Models without Knowledge of Parameters Using Differential Algebra Haffke Björn 1 Möller Riccardo 1 Melz Tobias 1 Strackeljan Jens 2 Mikhlin Yuri Vladimirovich 1 Fraunhofer Institute for Structural Durability and System Reliability LBF 64289 Darmstadt Germany fraunhofer.de 2 Institute for Mechanics Otto-von-Guericke University 39106 Magdeburg Germany uni-magdeburg.de 2015 382015 2015 05 03 2015 29 06 2015 01 07 2015 382015 2015 Copyright © 2015 Björn Haffke et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This study deals with the external validation of simulation models using methods from differential algebra. Without any system identification or iterative numerical methods, this approach provides evidence that the equations of a model can represent measured and simulated sets of data. This is very useful to check if a model is, in general, suitable. In addition, the application of this approach to verification of the similarity between the identifiable parameters of two models with different sets of input and output measurements is demonstrated. We present a discussion on how the method can be used to find parameter deviations between any two models. The advantage of this method is its applicability to nonlinear systems as well as its algorithmic nature, which makes it easy to automate.

1. Introduction

The external validation of simulation models is an important topic in many engineering problems. Some methods are known to support this process, but there is no general method which can deal with a broad class of systems. In this study, a method based on differential algebra is shown to be an efficient solution to the external validation problem. Differential algebra can be used to prove that a set of nonlinear polynomial differential equations are able to represent the input and output behaviour of a set of measurement or simulation data. Estimating any parameters of the system for this proof is not necessary. The advantage of this method is the decoupling of the validation of the mathematical model structure from the validation of the numerical, maybe physical, parameters of the system. This decoupling makes the external validation process much simpler. In addition, differential algebra can be used to show that different sets of measurement data were generated by the same system with the same identifiable set of parameters. In other words, the proposed solution can prove that the system structure and its numerical parameters did not change during several measurements.

2. Problem Formulation

The external validation of mathematical models is one of the major challenges in simulation technology. Model validation is substantiating that the model, within its domain of applicability, behaves with satisfactory accuracy consistent with the study objectives. Model validation deals with building the right model . After the equations have been created, the model is simulated. The first simulation is almost always unsatisfactory. The equations are then modified and the simulations repeated until time runs out or satisfactory behaviour is achieved . This statement from practical applications is an example for the importance and the need for efficient methods for the validation of simulation models.

A large number of model validation methods are known, as well addressed by Balci  and Banks  in their work, with a listing of 77 different methods. A majority of these methods are related to the field of software development and cannot be used for the validation of models of dynamic technical systems. For continuous dynamic systems, Murray-Smith  presented a comprehensive review on the available methods. He mentioned that strong links between system identification, fault detection, fault diagnosis, and model validation exist. In particular, the concept of structural identifiability is shown to be important for validity determination of models.

Forrester and Senge proposed to conduct a model on the basis of the model-builder’s personal knowledge and then extend the structural verification test by including criticisms from others with direct experience of the real system . This empirical test can also be performed as a theoretical structure test by comparing the model equations with general knowledge in the literature . These definitions of structural correctness of a model are directly addressing the complete internal structure of the system. The method which is proposed in this publication also deals with the structural correctness of a model, from a perspective from which the model structure is able to represent the input and output behaviour of a system.

Currently, it can be concluded from a thorough review of the literature that no general automatic method for the model validation problem is available. The reasons for this may be attributed to the fact that several promising methods available for use are only applicable to systems with special properties such as linear systems or to academic examples. Other broad ranges of methods have only limited benefits compared with the well-known and simple methods, including the direct comparison of simulation results with measurement data.

Given the importance of validation methods, it is surprising how only few model validation methods are implemented in standard software packages. One example of a successful implementation is the “Reality Check” in the simulation software “Vensim.” The idea is based on the definition of cases the model has to fulfil and the automatic check, if the model behaves as suggested. Each “Reality Check” test consists of a test input coupled to an expected behaviour. It is important to notice that these tests refer only to the behaviour and not to the structure .

In this study, an interesting method from the field of differential algebra is introduced, which has the potential to overcome some of the current model validation problems.

2.1. Outline of the Paper

Section 3 contains a short introduction to the basic concepts of differential algebra which are necessary to understand the proposed model validation methods. For a more detailed description of these concepts, the reader is referred to [7, 8]. Section 4 is focused on the structural validation of models, which is a known application of differential algebra. With this structural validation, it can be proven that the structure of a model is capable enough of representing the measured input and output signals of a system. In Section 5, new methods are proposed which enable not only the validation of the model structure but also the measurement data used for these validations. With this method, it is possible to decide if two or more sets of measurement data were obtained from the same system with the same structure and the same numerical parameters. To accomplish this task, it is not necessary to know any of these numerical parameters. In addition, Section 5 shows how different parameters belonging to different sets of measurement data can be isolated. The fact that this is only possible for identifiable parameters is also shown at the end of Section 5. Sections 3 to 5 of this paper provide extensive coverage of the successful and unsuccessful validation of the models by using differential algebra.

3. Model Validation by Utilizing Differential Algebra

A promising approach to model validation was shown by Ljung and Glad . It is based on differential algebra and has several advantages over the methods which are currently widely used. For a better understanding of these methods, some basic concepts and definitions from differential algebra are first described in the next section.

3.1. Background on Differential Algebra

Differential algebra originated in 1950 based on the work of mathematician Ritt [7, 8]. The main idea behind differential algebra was to extend the well-known concepts of classical algebra to systems of differential equations . In addition to classical algebra, differential algebra defines a differential ring K as an algebraic ring endowed with a derivation : (1) a + b = a + b , a b = a b + b a . A subset of the differential ring K is an ideal I if it satisfies the following three conditions. The first condition is that 0 I . The second condition is that if f , g I , then f + g I . The last condition is that if f I and h K , then h f I . The variables f , g , and h are all differential polynomials.

Starting from a set of differential polynomials, (2) Φ = ϕ 1 , , ϕ n , the differential ideal generated by Φ is denoted by Φ . It consists of all differential polynomials which could be formed from the elements of Φ by multiplication with arbitrary polynomials, addition, and differentiation. A differential ideal I is called prime, when h f I implies that either h I or f I . It is called radical or perfect if h a I implies h I . The smallest radical ideal including a given set Φ of differential polynomials is denoted by Φ . Since the differential polynomials in the radical ideal Φ are vanishing to zero, if the zeros or solutions of the original system Φ are inserted, this ideal could be used to study the solution sets of the original system .

A key concept of differential algebra is the algorithmic reduction of the differential equations . The main idea is to transform the original system of differential polynomials into a new form wherein the analysis of the system is much simpler than the analysis of the original system. One algorithm which is able to perform such a transformation is Ritt’s algorithm of differential algebra . Ritt’s algorithm constructs a finite number of autoreduced sets : (3) A i , i = 1 , , n A , where each A i is a characteristic set of prime differential ideals I i such that (4) Φ = Π 1 Π n A . Ritt’s algorithm takes a set of differential polynomials and reduces each one by a pseudo-division which is very similar to the well-known division of polynomials with multiple variables.

Two sets of differential polynomials which are reduced with respect to each other are called autoreduced sets, where the sets with the lowest possible rank are called the characteristic sets . This approach is very interesting for model validation problems because the reduced sets form some kind of a triangular representation of the original system. This implies that some of these reduced sets have fewer parameters than the original system, but they vanish if the solutions of the original systems are inserted into them. For a detailed mathematical description of the abstract concepts of differential algebra, the reader is referred to Ritt  and Kolchin .

On the basis of these concepts, Ljung and Glad  showed that the characteristic set can be used to prove the uniqueness of model parameters as well as the general usefulness of these models.

3.2. Applications of Differential Algebra for Model Validation

In particular, in large and complex models with a high number of degrees of freedom, probing the reason for deviations between the simulations and measurements is very difficult. Moreover, proving that two or more sets of measurement data were generated by the same system with the same parameterization is advantageous. In general, the deviations may be due to structural or parametric problems of the simulation model. Structural problems are problems with the mathematical structure of the equations. Parametric problems are problems with the numerical values of the (possibly physical) parameters of the model. In other words, structural problems are those where the equations of the simulation model are not able to represent the dynamics of the system under measurement. This is the case if the model assumptions are not correct, for example, due to unmodelled dynamics. In contrast to structural problems, parametric problems are caused by insufficient numerical values of the model parameters. In the case of mechanical systems, these values might be the mass or spring constants.

To improve the simulation model, it is advantageous to distinguish between structural and parametric errors, which is difficult in practice. One widely accepted method for the improvement of models is the identification of the parameters of the system. The identified parameters may differ from the real system parameters, for example, due to unmodelled dynamic effects or measurement noise. Unfortunately, the parameter identification algorithms may not determine perfect parameter values. Furthermore, the reason can be a structural problem of the model, which implies that no optimal set of parameters exists for this model. Moreover, other reasons for failure in parameter identification could be, for example, numerical problems or inappropriate start values for the iterative parameter identification. If the parameter identification succeeds and the numerical parameters are close to the expected and physically meaningful parameters, it is possible to conclude that there are no structural problems inside the simulation model. However, unsuccessful parameter identification is not a helpful indicator to find the reason for model deviations, because no conclusion as to the source of the deviation can be derived. If the model has a unique set of parameters and the parameter identification is initiated with meaningful values close to the real values, then this could serve as a useful method for the improvement of the model.

One general requirement for the estimation of a unique set of parameters is the global identifiability of the parameters. Following the work of Ljung and Glad , a linear parameterized transfer function G s , θ is globally identifiable at θ , if the equations in θ that arise from the equivalence (5) G s , θ G s , θ s have the only solution at (6) θ = θ . There are two phenomena which could account for the parameters to be nonidentifiable: structural nonidentifiability and practical nonidentifiability . The structural identifiability is related to the structure of the equations in the model and is independent of the measurement data. It was first considered by Bellman and Åström  for linear systems. Structural identifiable parameters can also be practically nonidentifiable because of low quality of the measurement data. This is the case if, for example, the measurement noise is too high, the excitation provided to the nonlinear system is insufficient or when the length of the measures is too short.

Since structural identifiability is only a property of the system structure and independent of the measurement data, it is a very important property for a guaranteed validation of the model. It is known that the parameters of structural unidentifiable models can only be estimated in combination with other parameters. For example, if the product of two parameters is the only identifiable one, a perfect accordance of the input and output behaviour with the estimated parameters can mask significant errors in the individual parameters. A high value of one parameter can be compensated by a low value of the second parameter which leads to an inconclusive result of the validation exercise . Several methods for structural identifiability analysis are known . Unfortunately, all of them present limitations related to the nonlinearity and the size of the system under consideration. By size, we refer to the number of state variables, the number of parameters, and the number of observables .

One elegant algorithmic method for identifiability analysis based on differential algebra was presented by Ljung and Glad . Ljung and Glad showed that the parameters of a nonlinear system are structural identifiable ones if the system can be rewritten as a linear regression in its parameters. This can be achieved through the use of Ritt’s algorithm .

Starting from a very general description, the system (7) g i u , y , x , θ , p = 0 , i = 1,2 , , r , can be transformed into a triangular form. The word triangular here refers to the (physical) parameters of the system where every set of polynomials A to C has more parameters and states than the previous sets (8) A 1 u , y , , A p u , y , B 1 u , y , θ 1 , B 2 u , y , θ 1 , θ 2 B d u , y , θ 1 , θ 2 , , θ d , C 1 u , y , θ , x C n u , y , θ , x . The variables u and y represent the inputs and outputs of the system, x is a time variant variable representing, for example, the state of the system, and θ is the set of constant parameters of the system. The characteristic set A includes only the input and output variables u and y and their derivatives. It can therefore be used for testing the usefulness of models without identifying any parameter .

To compute the characteristic set, it is necessary to define a ranking for the variables and the inputs and outputs of the system. A ranking is a total ordering of variables, which determines the sequence of variables to be eliminated. To obtain a parameter-free characteristic set A , the ranking (9) u μ < y j ν < θ 1 < θ ˙ 1 < < θ d < θ ˙ d < x k σ is used , where μ , ν , and σ are the derivative orders of the inputs, outputs, and the states of the system (if they exist).

It was shown by different authors in [20, 21] that the elimination of variables to obtain an input and output description of a system can be successfully used in fault detection. Therefore, it is obvious to consider its applicability for the external validation of simulation models.

A characteristic set generates the same differential ideal as generated by the differential polynomials of the model to be validated but in a special form, which is easier to validate. With the knowledge of a characteristic set in the base ring of the model, finding an input and output relation without any states and without any parameters of the model is possible .

It is to be mentioned that the differential algebraic elimination algorithm requires equations which are polynomial in u , y , x , θ , and their derivatives. This is not as restrictive as it may seem. For example, the equation (10) x = sin y can also been written as (11) x ˙ 2 = y ˙ 2 1 - x 2 , which fulfils the requirements for applying the elimination algorithm .

A general algorithm for transforming nonlinear systems with linear control inputs (12) into systems of differential polynomials is shown in  (12) x ˙ = a x + B x u , x R n , u R m , y = c x , y R p .

4. State-of-the-Art Applications in External Validation

The characteristic set A (8) consists only of functions of the inputs and outputs of the model and their derivatives; therefore, it is possible to check if a model is able to represent the measured or simulated dynamics of a system. The interesting property of this solution is that it is not necessary to estimate any parameter or to numerically solve complex equations. After the numerical calculation of the derivatives of the input and output signals of the system, the equations in A have to be evaluated only at discrete time steps, which is a simple task. This approach represents a structural validation of the model equations. To demonstrate the advantages of the proposed method, a linear quarter car model was considered (Figure 1). The road for the model was generated by a power spectral density model  in accordance with ISO 8606. For the examples section, the Rosenfeld-Gröbner algorithm  has been used to generate the characteristic set.

Quarter car model.

4.1. Example 1: Structural Validation of Models

The first example shows the application of the characteristic set for the structural validation of a model. All parameters of the model are shown in Table 1.

Parameters of the quarter car model.

Parameter Value
m C 362.5 kg
c S 35000 N/m
d S 4000 Ns/m
m W 48 kg
c W 239333 N/m
d W 0.1 Ns/m
Road roughness “Very poor” according to ISO 8606

The displacement of the wheel relative to the chassis can be measured and denoted as (13) Δ x S = x W - x C . It is also assumed that the acceleration of the chassis x ¨ C can be measured. The complete equation of motion for the chassis is then (14) m C x ¨ C = c S Δ x S + d S Δ x ˙ S . Applying the elimination ranking approach presented in (9) for the structural validation, (15) Δ x S < Δ x ˙ S < Δ x ¨ S < < x C < x ˙ C < x ¨ C < < m C < m ˙ C < < d S < d ˙ S < < c S < c ˙ S , the following characteristic set, consisting of an equation, (16) x C 4 Δ x ¨ S Δ x S - x C 4 Δ x ˙ S 2 - x C Δ x S Δ x S + x C Δ x ¨ S Δ x ˙ S + x ¨ C Δ x S Δ x ˙ S - x ¨ C Δ x ¨ S 2 = 0 , and an inequality, (17) Δ x ¨ S Δ x S - Δ x ˙ S 2 0 , is obtained.

After the discretization of (16) by approximating the derivatives using difference quotients, the left-hand side of the equation can be evaluated, which represents the residual of the structural accordance. The residual in Figure 2 is very small compared with the excitation signals, which reflects the functionality of this approach.

Quarter car model with exact structural accordance.

4.2. Example 2

To show that the proposed approach is able to detect deviations in the structure of the model, the linear system equation, (14), is extended by a nonlinear spring: (18) m C x ¨ C = c S Δ x S + c S N L Δ x S 3 + d S Δ x ˙ S , where the nonlinear spring stiffness c S N L is set to a value of 1 0 8  Nm−3. Equation (18) is then used to generate the input and output signals for the validation equation, (16). Since the structure of the system in (18), which generates the signals, differs significantly from the structure of the equation from which the validation equation is derived in (14), the validation equation results in a considerable residual (Figure 3).

Quarter car model with nonlinearity and unaccomplishable structural accordance.

Quarter car models with different input and output signals.

5. New Approaches for External Validation

Due to the high potential of the structural validation of models, this approach is extended and further developed in the current section. We will show how differential algebra can be used to prove that two sets of measurement data can only be generated by a model with the same structure and the same parameters. For this proof, the knowledge of these numerical parameters is again not necessary.

5.1. An Automatic Proof of Equal System Parametrization by Using Different Measurement Data Sets

The question on whether two measures are related to only one system becomes interesting when we want to know whether the parameters change during one or several tests. This is very useful to prove, for example, if a system is time-invariant or if the different sets of data belong truly to one and the same system. This becomes all the more important if the simulation model answers perfectly to one excitation signal and poorly to another excitation signal.

By assuming for simplicity a single-input single-output system (SISO) and two sets of measurement data, the following ranking can be obtained: (19) u 1 μ < u 2 ς < y 1 ν < y 2 τ < θ 1 < θ ˙ 1 < < θ d < θ ˙ d < x 1 σ < x 2 υ , where the variables μ , ς , ν , τ , σ , and υ are different orders of derivative.

The main idea behind this new ranking is to assume that two systems with the same structure of the underlying differential equations have the same physical parameters but different input and output signals. After the elimination of these equal and constant parameters, by using differential algebra, the resulting characteristic set would vanish, if the correct input and output signals are inserted into the characteristic set. The phrase “correct signals” here implies that the assumption of equal equations and equal parameters of both systems is correct.

5.1.1. Example 3

The third example below shows how the characteristic set can be used to prove the equality of the parameters of one model and the different sets of measurement data. Again, the quarter car model with the same parameters as in Example 1 is used for the generation of two different input and output signals. The only difference is another street profile for the second set of data, all parameters being equal. The characteristic set is generated by modelling the same model of (14) twice with the same parameters but with different inputs and outputs.

The equations of the system are therefore equal, except for the variables of the inputs and outputs: (20) m C x ¨ C 1 = c S Δ x S 1 + d S Δ x ˙ S 1 , (21) m C x ¨ C 2 = c S Δ x S 2 + d S Δ x ˙ S 2 . With the elimination ranking for the equality test of both parameterizations from (19), (22) Δ x S 1 < Δ x ˙ S 1 < Δ x ¨ S 1 < Δ x S 2 < Δ x ˙ S 2 < Δ x ¨ S 2 < < x C 1 < x ˙ C 1 < x ¨ C 1 < < x C 2 < x ˙ C 2 < x ¨ C 2 < < m C < m ˙ C < < d S < d ˙ S < < c S < c ˙ S , the following validation equation and inequality are obtained: (23) x ¨ C 2 Δ x ¨ S 1 Δ x S 1 - x ¨ C 2 Δ x ˙ S 1 2 - x C 1 Δ x ˙ S 2 Δ x S 1 + x C 1 Δ x S 2 Δ x S 1 + x ¨ C 1 Δ x ˙ S 2 Δ x ˙ S 1 - x ¨ C 1 Δ x S 2 Δ x ¨ S 1 = 0 , (24) Δ x ¨ S 1 Δ x S 1 - Δ x ˙ S 1 2 0 . With exactly the same parameters in both models, the residual in Figure 5 is very small, which again proves the functionality of this approach.

Structural accordance of the quarter car models corresponding to the system in Figure 4.

5.1.2. Example 4

As a counterexample, the chassis mass m C in (20) is now increased by 5 kg for the generation of the first set of input and output signals, Δ x S 1 , Δ x ˙ S 1 , and x ¨ C 1 . The residual with this wrong parameterization is much higher (as shown in Figure 6).

Quarter car models with different chassis mass.

This simulation shows that the approach is very useful to detect changes in parameters between different sets of measurement data, without any knowledge of their numerical values.

5.2. Isolation of Changed Parameters

If the structural validation shows a perfect accordance of the structure with all signals and additionally a change of the parameters has been detected with the proposed method, inferring which parameters have changed is possible. In order to accomplish this, the elimination ranking from (19) is extended by an explicit modelling of parameters which can change during different data sets. The idea is to generate a characteristic set which will vanish if the inserted input and output data were generated by the same system with mainly the same parameters, except for those parameters which were modelled as variable parameters. The phrase “variable parameters” means that the parameters are constant within each data set, but these constant values might change in each measurement data set.

Suppose that the first parameter of the system is the only one that has changed; the following ranking can be used to generate such a characteristic set: (25) u 1 μ < u 2 ς < y 1 ν < y 2 τ < θ 11 < θ ˙ 11 < θ 12 < θ ˙ 12 < < θ d < θ ˙ d < x 1 σ < x 2 υ , where θ 11 denotes the first parameter of the model for the first set of measurement data and θ 12 is the first parameter of the model for the second set of measurement data. It is to be noted that proving the equality of parameters only holds for identifiable parameters. Unidentifiable parameters can compensate deviations within the other unidentifiable parameters. This is shown in more detail later.

5.2.1. Example 5

If a test of the equality of parameters shows changes between different sets of measurement data, as in Example 4, it is necessary to isolate the changed parameters. The isolation can be performed by introducing different variables for the parameters of the two models.

In this example, the chassis mass m C is assumed to have changed between two sets of measurement data, which is shown in Figure 7.

Quarter car model with different input and output signals and different chassis mass.

Equations (20) and (21) are extended here with the different chassis mass parameters m C 1 and m C 2 : (26) m C 1 x ¨ C 1 = c S Δ x S 1 + d S Δ x ˙ S 1 , (27) m C 2 x ¨ C 2 = c S Δ x S 2 + d S Δ x ˙ S 2 , as well as the elimination ranking, which can now be expressed as follows: (28) Δ x S 1 < Δ x ˙ S 1 < Δ x ¨ S 1 < Δ x S 2 < Δ x ˙ S 2 < Δ x ¨ S 2 < < x C 1 < x ˙ C 1 < x ¨ C 1 < < x C 2 < x ˙ C 2 < x ¨ C 2 < < m C 1 < m ˙ C 1 < < m C 2 < m ˙ C 2 < < d S < d ˙ S < c S < c ˙ S . The following characteristic set with one equation and three inequalities can then be obtained: (29) x C 2 x C 1 Δ x ˙ S 2 Δ x S 1 - x C 2 x C 1 Δ x S 2 Δ x ˙ S 1 - x C 2 x ¨ C 1 Δ x ˙ S 2 Δ x ˙ S 1 + x C 2 x ¨ C 1 Δ x S 2 Δ x ¨ S 1 - x ¨ C 2 x C 1 Δ x ¨ S 2 Δ x S 1 + x ¨ C 2 x C 1 Δ x ˙ S 2 Δ x ˙ S 1 + x ¨ C 2 x ¨ C 1 Δ x ¨ S 2 Δ x ˙ S 1 - x ¨ C 2 x ¨ C 1 Δ x ˙ S 2 Δ x ¨ S 1 = 0 , (30) x ¨ C 2 Δ x ¨ S 1 Δ x S 1 - x ¨ C 2 Δ x ˙ S 1 2 0 , (31) Δ x ¨ S 1 Δ x S 1 - Δ x ˙ S 1 2 0 , (32) x C 1 Δ x ˙ S 2 Δ x S 1 - x C 1 Δ x S 2 Δ x ˙ S 1 - x ¨ C 1 Δ x ˙ S 2 Δ x ˙ S 1 + x ¨ C 1 Δ x S 2 Δ x ¨ S 1 0 . In Figure 8, both models (26) and (27) are excited with the same street profile as in Example 3 and the chassis mass of the second quarter car model m C 2 is increased by 5 kg.

Quarter car models with different input and output signals and different chassis mass.

As expected, the residual is very small compared with the input and output signals of the model. This shows that the residual of the validation equation, that is, (29), is not sensitive against any change of the chassis mass because a derivation of this parameter is explicitly modelled. The proposed procedure can now be repeated for all parameters and parameter combinations until the parameter(s), which had changed between the two sets of measurement data, are found. It will be shown later that this is only possible for identifiable parameters.

5.2.2. Example 6

As a counterexample, the damping d S in (27) is increased by 10%, in addition to the increased mass of 5 kg of the parameter m C 2 . The residual in Figure 9 is now much higher than without any change in the damping. It can be concluded that the residual of validation equation (29) is sensitive to the unmodelled change of the damping constant as it should rightly be.

Quarter car models with different input and output signals as well as different chassis mass and different damping.

5.2.3. Example 7

It was already mentioned earlier that unambiguous conclusions about changed parameters are only possible for identifiable parameters or identifiable parameter combinations. The reason is the possible equality of the input and output behaviour of the systems with different unidentifiable parameters.

By deriving the transfer function from (27) using the Laplace transform, it is easy to see that any change of the mass leads to the same input and output behaviour as a common change of the spring stiffness and damping constant by the same factor would cause (33) G s , θ = x ¨ C 2 Δ x S 2 = c S m C 2 + d S m C 2 s . As a numerical example, let us consider the chassis mass m C 2 of (27) to increase by 5 kg and the spring and damping constants c S and d S to increase by 10%. As expected, the amplitude of the residual in Figure 10 is similar to the residual in Figure 8, where only the chassis mass was increased.

Quarter car models with different input and output signals as well as different chassis mass, damping, and spring constant.

The previous example showed that for a clear assessment about changed parameters it is necessary only to consider the identifiable parameters of the system or to substitute the nonidentifiable parameters by parameter combinations which are identifiable. This result is only restrictive if it is assumed that a few parameters may change because different combinations of parameters can be nonidentifiable. In the last example, in the event of an error in the displacement sensor, with which the relative velocity is also obtained by numerical differentiation, a multiplicative fault of this sensor cannot be distinguished from a changed chassis mass. Both changes can lead to the same input and output behaviour. If it is only necessary to check whether any of the parameters are equal, like in Example 3, this problem is not as restrictive as it seems to be. The reason is that a change of one parameter has to be compensated exactly by another parameter which is improbable. For example, a multiplicative fault of the sensor, like in Example 7, can be detected with our proposed approach in this study.

6. Conclusion

We have demonstrated that methods from differential algebra can be very useful for external validation of simulation models. Because the examples presented were linear in their parameters, the validation problem with a common parameterization could have been solved by simple linear algebra as well. However, the advantage of the proposed differential algebraic approach is that it can also handle nonlinear systems. In addition, these methods have an algorithmic nature, which allows for ease of automation. With algorithms from differential algebra, the complex external validation problem can be divided into much simpler problems and we can test whether the equations of a model are generally able to fulfil a set of measurement data. Our study has shown examples to prove that two or more sets of data are generated by the same model parameterized by the same set of identifiable combinations of parameters. It was also shown that if two or more sets of data were generated by the same structure of a model, differential algebra can answer which parameters changed between different sets of measurement data. However, for usage with industrial relevant systems, a residual which is less sensitive against measurement noise and ideally linear in terms of the structural accordance has to be defined. Moreover, there is a need to enhance the efficiency of the algorithms for the computation of the characteristic sets. Nevertheless, to conclude, differential algebra shows great potential for the external validation of simulation models.

It has to be mentioned here that there are several other applications for this method, which have to be considered further in future. This method may be used to check the exact approximability of systems over time and to prove that requirements of systems can be fulfilled by at least one parameterization of the considered system, during a technical development process. As an example, this might be used to prove that there is at least one set of parameters for a selected controller with which the system has exactly the desired input and output behaviour.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Banks J. Handbook of Simulation. Principles, Methodology, Advances, Applications, and Practice 1998 New York, NY, USA Wiley, Engineering & Management Press Peterson D. W. Eberlein R. L. Reality check: a bridge between systems thinking and system dynamics System Dynamics Review 1994 10 2-3 159 174 Balci O. Andradóttir S. N. Verification, validation and accreditation of simulation models Proceedings of the 29th Winter Simulation Conference 1997 Atlanta, Ga, USA IEEE Computer Society Murray-Smith D. J. Methods for the external validation of continuous system simulation models: a review Mathematical and Computer Modelling of Dynamical Systems 1998 4 1 5 31 10.1080/13873959808837066 2-s2.0-3643128589 Forrester J. W. Senge P. M. Tests for building confidence in system dynamics models System Dynamics 1980 14 209 228 TIMS Studies in the Management Sciences Barlas Y. Formal aspects of model validity and validation in system dynamics System Dynamics Review 1996 12 3 183 210 10.1002/(SICI)1099-1727(199623)12:3<183::AID-SDR103>3.0.CO;2-4 2-s2.0-0001022016 Ritt J. F. Differential Algebra 1950 Providence, RI, USA American Mathematical Society Fliess M. Byrnes C. Kurzhanski A. Nonlinear control theory and differential algebra Modelling and Adaptive Control 1988 Berlin, Germany Springer 134 145 Ljung L. Glad T. On global identifiability for arbitrary model parametrizations Automatica 1994 30 2 265 276 10.1016/0005-1098(94)90029-9 ZBL0795.93026 2-s2.0-0028375708 Wey T. Einführung in die Differentialalgebra und ihre Anwendung auf nichtlineare Systeme 1992 Essen, Germany Universität Duisburg-Essen Forschungsbericht Boulier F. Rosenkranz M. Wang D. Differential elimination and biological modelling Gröbner Bases in Symbolic Analysis 2007 New York, NY, USA Walter De Gruyter 111 139 Pico-Marco E. Differential algebra for control systems design: constructive computation of canonical forms IEEE Control Systems Magazine 2013 33 2 52 62 10.1109/mcs.2012.2234965 MR3036276 Glad T. Implementing Ritt's algorithm of differential algebra Proceedings of the 2nd IFAC Symposium on Nonlinear Control Systems Design (NOLCOS '92) 1992 Bordeaux, France Bellu G. Saccomani M. P. Audoly S. D'Angiò L. DAISY: a new software tool to test global identifiability of biological and physiological systems Computer Methods and Programs in Biomedicine 2007 88 1 52 61 10.1016/j.cmpb.2007.07.002 2-s2.0-34548200846 Kolchin E. R. Differential Algebra and Algebraic Groups 1973 New York, NY, USA Academic Press MR0568864 Raue A. Kreutz C. Maiwald T. Bachmann J. Schilling M. Klingmüller U. Timmer J. Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood Bioinformatics 2009 25 15 1923 1929 10.1093/bioinformatics/btp358 2-s2.0-67650760503 Bellman R. Åström K. J. On structural identifiability Mathematical Biosciences 1970 7 3-4 329 339 10.1016/0025-5564(70)90132-X 2-s2.0-0000025874 Chapman M. J. Godfrey K. R. Chappell M. J. Evans N. D. Structural identifiability for a class of non-linear compartmental systems using linear/non-linear splitting and symbolic computation Mathematical Biosciences 2003 183 1 1 14 10.1016/S0025-5564(02)00223-7 ZBL1011.92001 2-s2.0-0037401140 Balsa-Canto E. Alonso A. A. Banga J. R. An iterative identification procedure for dynamic modeling of biochemical networks BMC Systems Biology 2010 4, article 11 10.1186/1752-0509-4-11 2-s2.0-77949475400 Zhang Q. Basseville M. Benveniste A. Fault detection and isolation in nonlinear dynamic systems: a combined input-output and local approach Automatica 1998 34 11 1359 1373 10.1016/s0005-1098(98)00085-5 2-s2.0-0032202684 Frisk E. Residual generation for fault diagnosis [Dissertation] 2001 Linköpings Universitet Polzer J. Erweiterte Anwendbarkeit Differentialalgebraischer Analysemethoden durch die Nutzung von Ersatzsystemen 1998 Essen, Germany Universität Duisburg-Essen, Forschungsbericht Tyan F. Hong Y.-F. Tu S.-H. Jent W. S. Generation of random road profiles Journal of Advanced Engineering 2009 4 2 1373 1378 Boulier F. Lazard D. Ollivier F. Petitot M. Computing representations for radicals of finitely generated differential ideals Applicable Algebra in Engineering, Communications and Computing 2009 20 1 73 121 10.1007/s00200-009-0091-7 2-s2.0-65049090438