pmic
pmic
ISSN: 2229-8649 (Print); ISSN: 2180-1606 (Online); Volume 7, pp. 940-954, January-June 2013
©Universiti Malaysia Pahang
DOI: [Link]
M.F. Abd Samad1, H. Jamaluddin2, R. Ahmad2, M.S. Yaacob2 and A.K.M. Azad3
1
Department of Structure and Materials, Faculty of Mechanical Engineering
Universiti Teknikal Malaysia Melaka, Hang Tuah Jaya
76100 Durian Tunggal, Malacca, Malaysia
Phone: +(60)6 2346708, Fax: +(60)6 2346884
E-mail: mdfahmi@[Link]
2
Faculty of Mechanical Engineering, Universiti Teknologi Malaysia
81310 UTM Skudai, Johore, Malaysia
Phone: +(60)7 5537782, Fax: +(60)7 5537800
3
College of Engineering and Engineering Technology
Northern Illinois University, Illinois 60115, USA
ABSTRACT
The evaluation of an objective function for a particular model allows one to determine
the optimality of a model structure with the aim of selecting an adequate model in
system identification. Recently, an objective function was introduced that, besides
evaluating predictive accuracy, includes a logarithmic penalty function to achieve a
suitable balance between the former model’s characteristics and model parsimony.
However, the parameter value in the penalty function was made arbitrarily. This paper
presents a study on the effect of the penalty function parameter in model structure
selection in system identification on a number of simulated models. The search was
done using genetic algorithms. A representation of the sensitivity of the penalty function
parameter value in model structure selection is given, along with a proposed
mathematical function that defines it. A recommendation is made regarding how a
suitable penalty function parameter value can be determined.
INTRODUCTION
940
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
OBJECTIVE FUNCTION
N N
OF ε 2 (t ) ( y(t ) yˆ (t )) 2 (1)
t k t k
where ε(t) is the residual; ŷ t and y(t) are the k-step-ahead predicted output and actual
output value at time t, respectively; and N is the number of data. The k-step-ahead
prediction is used when the value of k depends on the output’s smallest lag order in the
941
Effect of penalty function parameter in objective function of system identification
selected model structure, which in turn depends on the variables selected by the search
method.
To cater for the balance between predictive accuracy and model parsimony,
common objective functions are defined based on bias and variance contributions such
as (Ljung, 1999):
J ( D) J P ( D) J B ( D) (2)
where D is the design variable of a certain structure, JP is the variance contribution, and
increases as the number of estimated terms (L), hence the parameters, increases. JB is the
bias contribution and the value decreases as L increases.
In accordance with Equation (1), Jamaluddin et al. (2007) and Ahmad et al.
(2004b) define an objective function that evaluates the bias contribution by the sum of
squared residuals while the variance contribution is calculated by a penalty function.
This is written as follows:
N 2
OF yi t yˆi t PF (3a)
i
PF ln(n) (3b)
and
where | aj | represents the absolute value of the parameter for term j and penalty is a
fixed value termed penalty function parameter. The penalty function penalises terms
with the absolute values of the estimated parameter less than the penalty. This is applied
so that models that are more parsimonious may be selected over the those that are more
accurate but contain many terms.
In Jamaluddin et al. (2007), a trial-and-error approach was adopted in the
selection of the penalty function parameter value based on the knowledge that as the
value increases, model structures with fewer terms have lower OF. This is true as model
structures with more terms, given that ill-conditioning does not occur, have lower
residual values but many parameters that are small and considered insignificant to the
model’s predictive accuracy, as based on the parameter in Equation (3c).
NARX MODEL
There are many choices of linear and nonlinear models to represent input-output
relationships (Ljung, 1999). A common model structure representation for linear
discrete-time system is the ARX (AutoRegressive with eXogenous input) model written
as:
942
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
where y(t), u(t) and e(t) are the output, input and noise, respectively, at time t; ny and nu
are the maximum orders of lag for the output and input, respectively, and
a1 ,..., any , b0 , b1 ,..., bnu are coefficients, also known as the parameters of the model.
Nonlinear models give much richer possibilities in describing systems and have better
flexibility when inferring from a finite data set. The nonlinear version of the ARX
model is the NARX (Nonlinear ARX) model. When a time delay exists, it is written as:
y(t ) F*l [ y(t 1), y(t 2),... y(t ny ), u(t d ),..., u(t d nu 1), e(t )] (5)
This is also a generalisation of the linear difference equation. In the above equation,
F*l [] is a nonlinear polynomial function of u and y, d is the time delay, and l is the
degree of non-linearity, while the other notations are the same as in Equation (4). By
allowing d = 1, the nonlinear function for a single-input-single-output NARX model can
be expanded into its deterministic form as follows:
l m n y , nu p m
y(t ) c p ,m p (n1 ,..., nm ) y (t ni ) u (t ni ) (6a)
m 1 p 0 n1 , nm i 1 i p 1
where
n y , nu ny nu
n1 , nm
n1 1
nm 1
(6b)
For a discrete time model, model structure selection refers to the process of
determining the lags of input, nu, output, ny and time delay, d, from the information of
input, u, and output, y, sequences (Veres, 1991). The aim in model structure selection is
mainly to determine the significant terms to be included in a system’s model.
Before the parameters of the model can be estimated using the least-squares
method, the model has to be transformed into a linear regression model as follows:
where is the parameter vector, [1 2 ... L ]T is the regressor vector, e is the value
of noise or disturbance, L is the number of terms, which also determines the size of the
parameter vector, and N is the number of data. From here onward, the terms of a model
structure may be referred to as regressors.
Given that the model structure, and consequently the vector of regressors, has
already been defined, the estimation of the parameters can be made using least-
squares estimation methods (Johansson, 1993, Ljung, 1999).
943
Effect of penalty function parameter in objective function of system identification
L=M+1 (8a)
where
l
M ni where l = degree of non-linearity (8b)
i 1
and
ni 1 (ny nu i 1)
ni where no = 1 (8c)
i
944
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
y (t ) a1 a2 y (t 1) a3 y (t 2) a4u (t 1) a5u (t 2) a6 y 2 (t 1)
a7 y (t 1) y (t 2) a8 y (t 1)u (t 1) a9 y (t 1)u (t 2)
(9)
a10 y 2 (t 2) a11 y(t 2)u (t 1) a12 y (t 2)u (t 2) a13u 2 (t 1)
In a binary-represented GA, the variables and terms are represented by the genes
of the chromosome as bit 1 for existence and bit 0 for omission (Ahmad et al., 2004a,
2004b, Jamaluddin et al., 2007). Based on the number of variables and terms in
Equation (9), a binary chromosome representation of length lchrom = 15 is generated.
The first bit represents the first variable or term and so on, such that chromosome [110
100 001 000 100] represents the following model:
The model is completed by the estimation of the parameters a1, a2, a4, a9 and a13.
SIMULATION SETUP
A simple GA (SGA) is used in the simulation. The notion ‘simple’ emphasises that only
common characteristics such as those described in Holland (1992) and Eshelman (2000)
are applied. To be precise, the operators are roulette-wheel selection, one-point
crossover and bit-flipping mutation. The mating preference is based on first-come-first-
serve rule (i.e. pairs of chromosomes that are selected first are mated with each other).
This mating preference is the mating type of a panmictic population (Bäck and Fogel,
2000). No elitism is used in the algorithm. The fitness of an individual i, denoted fi, is
calculated by subtracting the OF value of the individual from the maximum OF in the
population. In mathematical form this is written as follows:
With this setting, individuals with a low OF value have a high fitness.
The probabilities for crossover and mutation used are pc = 0.6 and pm = 0.01. The
value for crossover probability is taken from De Jong’s genetic algorithm (De Jong,
1975), claimed as the optimum for both online and offline applications and also
recognised as the benchmark for parameter control study using meta-level GA
(Grefenstette, 1986). The value for mutation probability is also claimed to be suitable
for both online and offline applications in the meta-level GA study. Based on the
number of maximum permissible regressors, a population size of 200 and maximum
generation of 100 are considered adequate for each penalty.
Four NARX models and an ARX model are simulated to be identified by SGA.
Only simulated models are used, so direct comparison to the correct number of
regressors could be made. The following are the models written as linear regression
models, its specifications, number of correct regressors, maximum number of possible
regressors and size of search space:
945
Effect of penalty function parameter in objective function of system identification
Model 1:
y(t ) 0.5 y(t 1) 0.3u(t 2) 0.3 y(t 1)u(t 1) 0.5u 3 (t 1) e(t )
Specification: l = 3, ny = 1, nu = 2
Number of correct regressors: 4 out of a maximum 20
Search space: 1 048 575
Model 2:
y(t ) 0.5 y(t 1) 0.35u(t 2) 0.03 y(t 1)u(t 1) 0.005u 3 (t 1) e(t )
Specification: l = 3, ny = 1, nu = 2
Number of correct regressors: 4 out of a maximum 20
Search space: 1 048 575
Model 3:
y(t ) 0.002 y(t 2) 0.07u (t 1) 0.03 y 2 (t 1) 0.008 y 2 (t 3)
0.05u (t 1)u (t 2) e(t )
Specification: l = 2, ny = 3, nu = 2
Number of correct regressors: 5 out of a maximum 21
Search space: 2 097 151
Model 4:
y (t ) 0.2 y (t 1) 0.7 y (t 2) 0.3 y 2 (t 3) 0.8 y (t 1)u (t 2)
0.5 y (t 1)u (t 3) 0.25 y (t 3)u (t 2) 0.45 y (t 3)u (t 3)
0.8u 2 (t 3) e(t )
Specification: l = 2, ny = 3, nu = 3
Number of correct regressors: 8 out of a maximum 28
Search space: more than 2×108
Model 5:
y(t ) 0.5 y(t 1) 0.005 y(t 4) 0.05 y(t 8) 5u(t 2)
0.0005u(t 8) e(t )
Specification: l = 1, ny = 8, nu = 8
Number of correct regressors: 5 out of a maximum 17
Search space: 131 071
946
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
(1) Objective function (OF) value of the best selected solution, i.e. the
chromosome with the lowest OF value in the final generation;
(2) Error index (EI) of the best selected solution
The error index refers to the square root of the sum of the squared error
divided by the sum of the actual output squared. The calculation of EI is
as follows:
EI
( y(t ) yˆ (t )) 2
(12)
y (t )
2
where y(t) is the actual output value at time t and ŷ is the k-step-ahead
predicted output at time t obtained from the least-squares estimation. The
value k depends on the specification of a minimum lag of output
identified from the model structure selection. This indicator determines
the level of accuracy of the final solution. This is also related to a
widely-used statistical parameter called the multiple correlation
coefficient squared, Ry2 according to the following function (Ljung,
1999):
R y2 1 EI 2 (13)
OF EI 2 y 2 (t ) ln(n) (14)
Figure 1 shows the average numbers of selected regressors of the best chromosome in
the last 50 generations for different values of log10 penalty. As seen, the numbers of
selected regressors reflect the numbers of correct regressors in the models, respectively.
An attempt is hereby made to quantify the relationship between the number of selected
regressors and penalty in a mathematical function. In order to do this, several conditions
must be fulfilled:
(1) As the value of penalty increases, the function cannot rise upward as this
is against the trend in Figure 1.
(2) At any value of penalty, the function cannot intersect the x-axis (axis
representing penalty). Its intersection indicates that a negative number of
selected regressors can be chosen with a certain value of penalty, which
is unacceptable. It can, however, asymptotically converge to any value
higher than 0.
(3) At any value of penalty, the function cannot intersect the y-axis value
that is equal to the maximum number of possible regressors. Just like the
947
Effect of penalty function parameter in objective function of system identification
while q is the value at which the change of slope is maximum, p and r are determined
and constrained by the conditions explained earlier, written as:
Figure 2 shows samples of the fitting of the arctangent function versus log10 penalty for
all simulated models.
For the purpose of further analysis, some inferences are listed here:
(1) With an increase in penalty parameter value, the number of selected regressors
in the final model decreases, while the values of OF and EI increase.
948
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
Model 1 Model 2
Model 3 Model 4
Model 5
(2) With an increase in penalty parameter value, the number of regressors identified
as insignificant increases. The number of insignificant regressors in the final
model is calculated based on Equation (3). Referring back to Equation (14)
which is derived by combining Equations (3a) and (12), rearranging it gives:
ln(n) OF EI 2 y 2 (t ) (17a)
949
Effect of penalty function parameter in objective function of system identification
where
OF 2
PF 2
Value of OF,
PF and EI 2 ×
sum of output
squared OF 1
PF 1
EI 2×sum
of squared
output
1 a b c
Number of regressors
950
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
Based on the first two inferences, a graph of a general case of the effect of
penalty parameter on model structure selection can be visualised as Figure 3. Both PF1
and PF2 (Equation 3b) refer to the penalty function for given penalty parameter values,
penalty1 and penalty2, respectively, such that penalty2 > penalty1. Since penalty2 is
bigger, PF2 is expected to penalise more regressors, and as other models of more
regressors are evaluated, the penalty grows at a greater pace than PF1. Both OF1 and
OF2 are the objective function values given the penalty parameter values, penalty1 and
penalty2, respectively. For EI 2 y 2 (t ) the curve generally converges slowly to 0 as
the number of regressors increases [19]. It shows that the minimum of the curve OF1 is
at c, while OF2 is at b when the number of regressors > a and 1 when the number of
regressors < a. Considering the number of regressors > a, to obtain a parsimonious
model (model with b number of regressors), a larger penalty parameter value is
required. Note also that the error of prediction represented by EI 2 y 2 (t ) in the
graph is higher for a parsimonious model. It shows that a compromise in accuracy
occurs as parsimony is undertaken.
However, at a certain value of penalty parameter, the curve gives two minimum
points such as shown with the curve OF2. This is the situation where chromosomes have
the same OF but different EI. Higher than this penalty parameter value, the minimum is
when the number of regressors = 1. It is a scenario when chromosomes with only 1 bit
will be selected. It is very likely that this was encountered with Model 3 at penalty = 1.
Unlike other models, the number of regressors is too small and too far when compared
to penalty = 0.1 and even far less than the correct number of regressors. The value of the
penalty parameter at which the phenomenon mentioned occurs is hereby called
parsimony penalty. The value is crucial since, with respect to the definition of the
objective function, it determines the most parsimonious model with adequate accuracy.
A higher penalty will give a model structure with only 1 variable.
Based on the third inference, a superimposition of the number of insignificant
regressors and significant regressors is carried out and fitted to suitable function lines.
Due to the boundary of the minimum and maximum number of regressors for each
model, an arctangent function is also more appropriate. However, a power function
gives an acceptable fit. It is used instead since the purpose is only to find the value of
intersection and it gives a better fit to most of these and other preliminary data than any
other functions, including linear, exponential and logarithmic. A common form of the
power function is used, written as follows:
951
Effect of penalty function parameter in objective function of system identification
Using this information together with Figure 2, it can be seen that the switchover
penalty can be related to the value q as follows:
where q is the value of log10 penalty at which the slope reaches its maximum. It is likely
that since the curve in Figure 4 becomes flatter towards a higher log10 penalty, and by
considering that at a certain penalty value the phenomenon of an OF curve with two
minimum points occur, the following becomes true:
952
Abd Samad et al. /International Journal of Automotive and Mechanical Engineering 7(2013) 940-954
CONCLUSIONS
This paper focuses on an investigation into the effect of the penalty parameter in
objective functions towards establishing a suitable objective function in model structure
selection. The genetic algorithm has been explained, as the search and optimisation
method used in the investigation. The setting of the study has been laid out followed by
a discussion of the results. Based on the results, a general case for the effect of the
penalty parameter value on the objective function and number of selected regressors has
been presented. It shows that when a higher penalty value is applied, a more
parsimonious model is selected until a value that gives the most parsimonious and
adequate model structure, denoted parsimony penalty. The penalty function parameter is
shown to be related to the number of selected regressors by an arctangent function. The
study also identifies a penalty value where the number of insignificant regressors is
equal to the number of significant regressors, denoted switchover penalty. It was found
that the switchover penalty is equivalent to the parsimony penalty, and it can hereby be
concluded that by testing SGA on a few initial estimates of penalty value and rerunning
it using estimated switchover penalty values, a constant switchover penalty value can be
reached. This value represents the suitable penalty value in finding the most
parsimonious and adequate model structure. In cases where the smallest tolerable
absolute parameter value is known or can be roughly estimated, the penalty parameter
value should be set equal to or slightly lower than the parameter value. Future work is
aimed at validating the findings on real case studies.
ACKNOWLEDGEMENT
The authors would like to acknowledge the support of the Universiti Teknikal Malaysia
Melaka and Universiti Teknologi Malaysia throughout this research, and especially for
the UTeM-SLAB sponsorship.
REFERENCES
Ahmad, R., Jamaluddin H. and Hussain, M.A. 2004a. Model structure selection for a
discrete-time non-linear system using a genetic algorithm. Proceedings of the
Institution of Mechanical Engineers– Part I: Journal of System and Control
Engineering, 218(2): 85-98.
Ahmad, R., Jamaluddin H. and Hussain, M.A. 2004b. Selection of a model structure in
system identification using memetic algorithm. Proceedings of 2nd International
Conference on Artificial Intelligence in Engineering and Technology, Aug 3-5,
Universiti Malaysia Sabah, Kota Kinabalu, Sabah, Malaysia, pp. 714-720.
Bäck, T. and Fogel, D.B. 2000. Bäck, T. Fogel D.B. and Michalewicz, Z. (Eds.)
Evolutionary computation 1: basic algorithms and operators, Bristol: Institute of
Physics.
De Jong, K.A. 1975. An analysis of the behavior of a class of genetic adaptive systems.
PhD Thesis. University of Michigan, USA.
Eshelman, L.J. 2000. Genetic Algorithms. Bäck, D.B. Fogel and Z. Michalewicz (Eds.)
Evolutionary computation 1: basic algorithms and operators. Bristol: Institute of
Physics.
Goldberg, D.E. 1989. Genetic algorithms in search, optimization and machine learning.
Massachusetts: Addison-Wesley.
953
Effect of penalty function parameter in objective function of system identification
Grefenstette, J.J. 1986. Optimization of control parameters for genetic algorithms. IEEE
Transactions on Systems, Man and Cybernetics, 16(1): 122-128.
Holland, J.H. 1992. Adaptation in natural and artificial systems. Massachusetts: Institute
of Technology, MIT Press, USA.
Hong, X., Mitchell, R.J., Chen, S., Harris, C.J., Li, K. and Irwin, G.W. 2008. Model
selection approaches for non-linear system identification: A review.
International Journal of Systems Science, 39(10): 925-946.
Jamaluddin, H., Abd. Samad, M.F., Ahmad, R. and Yaacob, M.S. 2007. Optimum
grouping in a modified genetic algorithm for discrete-time, non-linear system
identification. Proceedings of the Institution of Mechanical Engineers– Part I:
Journal of System and Control Engineering, 221(7): 975-989.
Johansson, R. 1993. System modeling & identification. New Jersey: Prentice-Hall.
Junquera, J.P., Riaño, P.G., Vázquez, E.G. and Escolano, A.Y. 2001. A penalization
criterion based on noise behaviour for model selection. Lecture Notes in
Computer Science, 2085: 152-159.
Kapetanios, G. 2007. Variable selection in regression models using nonstandard
optimisation of information criteria. Computational Statistics and Data Analysis,
52: 4-15.
Li, Y.X. and Gen, M. 1996. Nonlinear mixed integer programming problem using
genetic algorithm and penalty function. IEEE International Conference on
Systems, Man and Cybernetics, 4, Oct 14-17, Beijing, China, pp. 2677-2682.
Ljung, L. 1999. System identification: theory for the user. 2nd ed. New Jersey: Prentice
Hall.
Michalewicz, Z. 1996. Genetic Algorithms + Data Structures = Evolution Programs, 3rd
revised and extended ed. Berlin: Springer-Verlag.
Sarker, R., Mohammadian, M. and Yao X. (Eds.) 2002. Evolutionary optimization,
Boston: Kluwer Academic.
Spanos, A. 2010. Akaike-type criteria and the reliability of inference: model selection
versus statistical model specification. Journal of Econometrics, 158: 204-220.
Veres, S.M. 1991. Structure selection of stochastic dynamic systems: The information
criterion approach. New York: Gordon and Breach Science.
954