Research Article Designing of Adaptive Model-Free Controller Based on S. Pezeshki,

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 461907, 13 pages
http://dx.doi.org/10.1155/2013/461907
Research Article
Designing of Adaptive Model-Free Controller Based on
Output Error and Feedback Linearization
S. Pezeshki,1 M. A. Badamchizadeh,1 S. Ghaemi,1 and M. A. Poor2
1
2
Control Engineering Department, Faculty of Electrical and Computer Engineering, University of Tabriz, Tabriz 5166614776, Iran
Department of Mechanical and Industrial Engineering, Concordia University, Montreal, QC, Canada
Correspondence should be addressed to M. A. Badamchizadeh; mbadamchi@tabrizu.ac.ir
Received 20 September 2012; Accepted 30 December 2012
Academic Editor: Shukai Duan
Copyright © 2013 S. Pezeshki 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 paper introduces a new approach to design Model-Free Adaptive Controller (MFAC) using adaptive fuzzy procedure as a
feedback linearization based on output error. The basic idea is to transfer the control signal to an appropriate surface and then,
depending on the output error of system, the control signal changes around this surface. Some examples are provided as well to
illustrate the efficiency of the proposed approach. The obtained simulation results have shown good performances of the proposed
controller.
1. Introduction
Classical control method is based on mathematical equations
of the system; however, this method suffers from some drawbacks. For example, in this method the performance of system
can be affected by unmodeled dynamics of system and/or by
large delays. Model-Free Adaptive Control (MFAC), as a part
of modern control theory, shows superiorities compared to
model-based methods. MFAC is an adaptive control method
and needs no information about system model. It only uses
𝐼/𝑂 data for controller design and therefore it is a nonlinear
controller designed without the need to mathematical model
of controlled system [1–3].
In 1994, Han and Wang introduced model-free topic and
proved the stability of MFAC controllers. In 1993-1994, Hou
Zhongsheng represented applications of these controllers.
With using pseudo-Jacobian matrix, nonlinear systems are
replaced to near the rail line of controlled system and then
the 𝐼/𝑂 data of controlled system are used to design MFAC
controller [4].
In 1995, Jagannathan suggested a fuzzy stable controller
for a limited class of nonlinear system in the form of π‘₯(π‘˜ +
1) = 𝑓(π‘₯(π‘˜)) + 𝑒(π‘˜), where 𝑓(π‘₯) is the unknown nonlinear
function. In 1996, this controller was used for general class
of nonlinear system in the form of π‘₯(π‘˜ + 1) = 𝑓(π‘₯(π‘˜)) +
𝑔(π‘₯(π‘˜))𝑒(π‘˜) [5].
Another idea is introduced in 2000 [6], which uses a
neural network as an adaptive controller for stabilization of
system. Their proposed algorithm does not need any complex
tuning and can be applied to any controllable multiinput
systems.
Compared with other adaptive control schemes, the
MFAC approach has several advantages, which make this
method suitable for control applications. First, MFAC just
depends on the real-time measurement data of the controlled
plant. Second, MFAC does not require any other testing
signals and any training process. Third, MFAC is simple and
easily implementable with small computational burden and
has strong robustness. Fourth, MFAC approach does not need
a specific controller for each specific process. Finally, the
MFAC has been successfully implemented in many practical
applications, for example, chemical industry, linear motor
control, injection modeling process, PH value control, and so
on [4].
The main contribution of this work is to introduce a
new MFAC approach based on output error and feedback
linearization. The proposed model has rapid monotonic
tracking error convergence, robust stability, and good disturbance rejection.
The rest of the paper is organized as follows: in Section 2,
adaptive fuzzy control based on feedback linearization is
2
Abstract and Applied Analysis
described. The proposed model-free adaptive controller and
its Lyapunov stability are represented in Sections 3 and
4, respectively; in Section 5 simulation results are given to
highlight advantages of MFAC method. Finally conclusion is
stated in Section 6.
Μ‚ can be rewritten as
Using (3), (4), 𝑓(π‘₯)
2. Feedback Linearization by Means of
Adaptive Fuzzy Controller
where πœ€(π‘₯) is the approximation error of fuzzy approach. 𝐴(𝑑)
is updated by the adaptation law below:
In feedback linearization method, control law is determined
in such a way that nonlinear terms eliminate the system
dynamic and replace it with appropriate reference input as
seen below: (for simplifying π‘₯(𝑑) = π‘₯),
π‘₯Μ‡ (𝑑) = 𝑓 (π‘₯) + 𝑔 (π‘₯) 𝑒 (𝑑) 󳨀→ 𝑒 (𝑑)
(1)
= 𝑔−1 (π‘₯) (−𝑓 (π‘₯) + 𝑣 (𝑑)) .
Conceptually, Adaptive Feedback Linearization (AFL)
method is the same as nonadaptive counterpart but AFL
uses adaptation law for updating controller parameter to
enhance system performance. Notice that both methods
should have complete description of system dynamic but
our proposed method does not need any information of
system dynamic. Due to the fact that it is difficult to obtain
a mathematical model of the system and typically there exist
some numerical approximations, the object of this paper is
to control systems just with 𝐼/𝑂 data in order to improve
system performance. In order to reach this goal it is required
to estimate unknown nonlinear function of system dynamic
Μ‚
Μ‚
𝑓(π‘₯) and 𝑔(π‘₯) with 𝑓(π‘₯)
and 𝑔(π‘₯)
or estimate control
law 𝑒(𝑑) with 𝑒̂(π‘₯). Estimation algorithm in this approach
utilizes basic fuzzy membership function. As an instance for
estimating 𝑓(π‘₯), we have
𝑓 (π‘₯) 󳨀→ 𝑓̂ (π‘₯) =
(2)
𝑐𝑖 = π‘Žπ‘–,0 + π‘Žπ‘–,𝑖 𝑧1 (π‘₯) + ⋅ ⋅ ⋅ + π‘Žπ‘–,π‘š−1 π‘§π‘š−1 (π‘₯) ,
(3)
𝑇
𝑧 = [1 𝑧1 (π‘₯) 𝑧2 (π‘₯) ⋅ ⋅ ⋅ π‘§π‘š−1 (π‘₯)] ,
π‘Ž1,0 π‘Ž1,1 ⋅ ⋅ ⋅ π‘Ž1,π‘š−1
[ ..
.. ]
𝐴 =[ .
. ],
π‘Ž
⋅
⋅
⋅
π‘Ž
π‘Ž
𝑝,π‘š−1 ]
[ 𝑝,0 𝑝,1
𝑐 = 𝑧𝑇 𝐴.
𝑝
∑𝑖=0 πœ‡π‘–
,
(5)
𝑓 (π‘₯) = 𝑧𝑇 ⋅ 𝐴 ⋅ 𝜁 + πœ€ (π‘₯) 󳨐⇒ 𝑓̂ (π‘₯) = 𝑧𝑇 ⋅ 𝐴 ⋅ 𝜁,
𝐴̇ (𝑑) = −𝑄−1 ⋅ 𝑧 ⋅ πœ‰π‘‡ ⋅ es.
(6)
𝑄 is a constant coefficient that usually is selected small. es is
the difference between output π‘₯ and reference output π‘₯ref :
es = π‘₯ − π‘₯ref .
(7)
It should be pointed that AFC guarantees that 𝐴(𝑑)
approaches to its desired value, 𝐴∗ (𝑑).
Notice that the initial values of 𝐴(𝑑) can be chosen as
𝐴(0) = 0 or any selected value by information that is
acquired from system dynamic or even can be determined
from another available control approach; for instance, the
columns of 𝐴(0) can be taken as π‘˜π‘“ (π‘˜π‘“ is obtained from
state feedback method 𝑒 = −π‘˜π‘“ π‘₯) or, for example, if we want
to estimate 𝑓(π‘₯) function, the columns of 𝐴(0) are better to
contain coefficients of system states of 𝑓(π‘₯) [7]. Fuzzy rules
are expressed as follows:
If 𝑋 is 𝐹𝑖 then 𝑐𝑖 = 𝑓𝑖 (𝑧) .
(8)
𝑓𝑖 (𝑧) is related to 𝑖th row of 𝑧𝑇 𝐴 matrix. So the unknown
Μ‚
nonlinear function 𝑓(π‘₯) is estimated as 𝑓(π‘₯)
by fuzzy
approach.
Adaptive-fuzzy control method has been divided to two
parts: direct and indirect approachs; this paper uses indirect
method.
π‘₯Μ‡ (𝑑) = 𝑓 (π‘₯) + 𝑔 (π‘₯) 𝑒 (𝑑) ,
π‘₯Μ‡ (𝑑) = (𝛼 (𝑑) + 𝛼 (π‘₯)) + (𝛽 (𝑑) + 𝛽 (π‘₯)) ∗ 𝑒 (𝑑) .
(4)
(9)
𝛼(π‘₯), 𝛽(π‘₯) are known parts of system dynamic (which are
obtained from experimental and numerical methods), and
𝛼(𝑑), 𝛽(𝑑) are system equations that must be identified.
Considering the above discussions, 𝛼(π‘₯) and 𝛽(π‘₯) can be
obtained as
𝛼 (π‘₯) = 𝑧𝛼𝑇 ⋅ 𝐴∗𝛼 ⋅ πœ‰π›Ό + 𝑑𝛼 (π‘₯) ,
π‘˜ = 1, 2, . . . , π‘š − 1,
𝑇
[πœ‡1 πœ‡2 ⋅ ⋅ ⋅ πœ‡π‘ ]
2.1. Indirect Adaptive Fuzzy Controller (IAFC). First, consider
the affine system equations given below:
𝑝
∑𝑖=0 𝑐𝑖 πœ‡π‘–
,
𝑝
∑𝑖=0 πœ‡π‘–
where 𝑝 is the number of fuzzy roles, πœ‡π‘– (π‘₯) is membership
function for 𝑖th fuzzy role, also 𝑐𝑖 is and the result of 𝑖th
fuzzy role for system that is generally considered as linear
combination of some series of continuous functions such as
𝑧(π‘₯):
π‘§π‘˜ (π‘₯) ∈ 𝑅,
πœ‰=
𝛽 (π‘₯) = 𝑧𝛽𝑇 ⋅ 𝐴∗𝛽 ⋅ πœ‰π›½ + 𝑑𝛽 (π‘₯) .
(10)
𝑑𝛼 (π‘₯), 𝑑𝛽 (π‘₯) are approximated errors between real system
and fuzzy system with upper bound values |𝑑𝛼 (π‘₯)| ≤ 𝐷𝛼 (π‘₯),
|𝑑𝛽 (π‘₯)| ≤ 𝐷𝛽 (π‘₯) (𝐷𝛼 (π‘₯), 𝐷𝛽 (π‘₯) are known values). So
estimation of system parameters can be rewritten as follows:
𝛼̂ (π‘₯) = 𝑧𝛼𝑇 ⋅ 𝐴 𝛼 ⋅ πœ‰π›Ό ,
𝛽̂ (π‘₯) = 𝑧𝛽𝑇 ⋅ 𝐴 𝛽 ⋅ πœ‰π›½ .
(11)
Abstract and Applied Analysis
3
𝐴 𝛼 , 𝐴 𝛽 are matrices that will be updated adaptively with the
following updating laws:
points are used in proposed controller. The estimations of
system dynamic can be defined as
𝐴̇ 𝛼 (𝑑) = −𝑄−1 ⋅ 𝑧 ⋅ πœ‰π›Όπ‘‡ ⋅ es,
𝑓̃ (π‘˜) = 𝑒̂𝑓𝑇 (π‘˜) ,
𝐴̇ 𝛽 (𝑑) = −𝑄−1 ⋅ 𝑧 ⋅ πœ‰π›½π‘‡ ⋅ es ⋅ 𝑒 (𝑑)
(12)
And the updating values of 𝑒̂𝑔 , 𝑒̂𝑓 are given by
and finally the control law is described as follows:
𝑒 (𝑑) =
1
𝛽 (𝑑) + 𝛽̂ (π‘₯)
(− [𝛼 (𝑑) + 𝛼̂ (π‘₯)] + 𝑣 (𝑑)) .
(13)
2.2. Direct Adaptive Fuzzy Controller (DAFC). Control law
𝑒(𝑑) in feedback linearization method can be obtained as
follows:
𝑒 (𝑑) =
1
(−𝛼 (π‘₯) + 𝑣 (𝑑)) .
𝛽 (π‘₯)
(14)
The goal is to estimate 𝑒(𝑑), with consideration of basic fuzzy
function as seen below:
𝑒̂ (𝑑) = 𝑧𝑒𝑇 ⋅ 𝐴∗𝑒 ⋅ πœ‰π‘’ + 𝑑𝑒 (π‘₯) ,
𝑒̂𝑓 (π‘˜ + 1) = 𝑒̂𝑓 (π‘˜) + π›Όπ‘Ÿπ‘‡ (π‘˜ + 1) ,
𝑒̂ (π‘˜) + 𝛽𝑒𝑐 (π‘˜) π‘Ÿπ‘‡ (π‘˜ + 1)
𝑒̂𝑔 (π‘˜ + 1) = { 𝑔
𝑒̂𝑔 (π‘˜)
𝑒1 (π‘˜) = 𝑦 (π‘˜) − 𝑦𝑑 (π‘˜) ,
𝑒2 (π‘˜) = 𝑦 (π‘˜) − 𝑦𝑑 (π‘˜ + 1) ,
..
.
𝑒𝑛 (π‘˜) = 𝑦 (π‘˜) − 𝑦𝑑 (π‘˜ + 𝑛 − 1) ,
(21)
where {πœ† 𝑖 }, 𝑖 = 1, . . . , 𝑛 are coefficients of the predictive error.
And 𝑦𝑑 is the desired output. For eliminating nonlinear terms
of system dynamic, feedback linearization method has been
exploited; for this purpose, 𝑒(π‘˜) is chosen as follows:
𝑒 (π‘˜) = 𝑔̃−1 (π‘˜) (−𝑓̃ (π‘˜) + 𝑣 (π‘˜)) ,
𝑝−2
𝑣 (π‘˜) = π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑦𝑑 (π‘˜ + 𝑛) − ∑ πœ† 𝑖+1 𝑒𝑛−𝑖 (π‘˜) .
(23)
𝑖=0
(17)
3. Proposed Approach
In the previous section, an adaptive fuzzy controller using
fuzzy basis functions is described for stabilizing the controlled system. In our introduced method, the same approach
has been employed but our method does not need to utilize
fuzzy basis functions for estimating system parameters.
Instead, three proposed rules based on output errors are
considered to control the plant.
Consider a system with general form
π‘₯Μ‡ (𝑑) = 𝑓 (π‘₯ (𝑑)) + 𝑔 (π‘₯ (𝑑)) 𝑒 (𝑑) .
(22)
where 𝑣(π‘˜) is defined by
Remark 1. This method is suitable for minimum phase plants
and also has the following limitation for 𝛽(π‘₯):
−∞ < 𝛽1 < 𝛽 (π‘₯) < 𝛽2 < ∞.
(20)
π‘Ÿ (π‘˜) = 𝑒𝑛 (π‘˜) + πœ† 1 𝑒𝑛−1 (π‘˜) + ⋅ ⋅ ⋅ + πœ† 𝑛−1 𝑒2 (π‘˜) + πœ† 𝑛 𝑒1 (π‘˜) ,
(16)
The initial value of 𝐴 𝑒 (𝑑) may be considered as 𝐴 𝑒 (0) = 0.
𝐼=1
𝐼 = 0,
where 𝛼𝑓 , 𝛼𝑔 are constant coefficients with respect to 𝑒̂𝑓 ,
𝑒̂𝑔 . It should also be noted that usually these parameters do
not need to be changed for different system dynamics. The
value of 𝐼 will be defined in (27); π‘Ÿ(𝑑) is the so-called “filtered
tracking error” which is the sum of errors as defined below:
(15)
where 𝑒̂(𝑑) is the estimated signal and 𝑑𝑒 (π‘₯) is the error
between the described 𝑒 by fuzzy method and desired (appropriate) 𝑒∗ ; this error is restricted by upper known bound
|𝑑𝑒 (π‘₯)| ≤ 𝐷𝑒 (π‘₯); since practically it is difficult to define
𝐷𝑒 (π‘₯), so its value is specified and adjusted in designing
process repetition; this adjustment procedure continues until
the performance of controller indicates that 𝐷𝑒 (π‘₯) comes
close to proper value. Finally updating law 𝐴 𝑒 (𝑑) is obtained
as follows:
𝐴̇ 𝑒 (𝑑) = −𝑄𝑒−1 ⋅ 𝑧𝑒𝑇 ⋅ πœ‰π‘’ ⋅ es.
(19)
𝑔̃ (π‘˜) = 𝑒̂𝑔𝑇 (π‘˜) .
(18)
At first, nonlinear functions 𝑓 and 𝑔 must be estimated in
such a way that controller does not rely on system dynamic.
It should be noted that in this paper, the system is considered
continues time but the output is sampled and these sampled
In (23), π‘˜π‘£ is the tracking error coefficient. By choosing
appropriate π‘˜π‘£ , π‘Ÿ(π‘˜) is converged into zero and at last it
causes 𝑣(π‘˜) to be restricted. In other words, if the bigger π‘˜π‘£
is opted, better performance of output and quick tendency
to the desired value are achieved while increasing the control
signal 𝑒; it should be noted that if π‘˜π‘£ is chosen very large, it
can make the system unstable.
As it is seen from (22), the problem of singularity occurs
when 𝑔̃ is near zero and the control signal can become
unbounded. To solve this problem, separate controller comprising two parts is proposed in the following form:
𝑒 (π‘˜)
σ΅„©
σ΅„©
𝑒𝑐 (π‘˜) + .5 (π‘’π‘Ÿ (π‘˜) − 𝑒𝑐 (π‘˜)) exp (𝛾 (󡄩󡄩󡄩𝑒𝑐 (π‘˜)σ΅„©σ΅„©σ΅„© − 𝑠))
{
{
{
𝐼 = 1,
={
σ΅„©σ΅„©
σ΅„©σ΅„©
𝑒
𝑒
−
.5
(𝑒
−
𝑒
exp
(−𝛾
(
(π‘˜)
(π‘˜)
(π‘˜))
(π‘˜)
σ΅„©
σ΅„©
{
π‘Ÿ
π‘Ÿ
𝑐
𝑐
σ΅„©
σ΅„© − 𝑠))
{
𝐼 = 0.
{
(24)
4
Abstract and Applied Analysis
In the above equation, 𝑠 is a constant value that its amount
impacts on control signal 𝑒. 𝑒𝑐 , π‘’π‘Ÿ are defined as
Let the Lyapunov function candidate 𝑉 be given by [8]
𝑒𝑐 (π‘˜) = 𝑔̃−1 (π‘˜) (−𝑓̃ (π‘˜) + 𝑣 (π‘˜)) ,
(25)
(π‘Ÿ (π‘˜))
σ΅„©
σ΅„©
π‘’π‘Ÿ (π‘˜) = −πœ‡ 󡄩󡄩󡄩𝑒𝑐 (π‘˜)σ΅„©σ΅„©σ΅„© sign
,
𝑔
(26)
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑒𝑐 (π‘˜)σ΅„©σ΅„©σ΅„© < 𝑠
otherwise.
𝑉 = π‘Ÿπ‘‡ (π‘˜) π‘Ÿ (π‘˜) +
+
where πœ‡ is robust control signal coefficient that the decreasing
or increasing of this coefficient affects quantity of final control
signal 𝑒, and also 𝑔 is a constant value that its small amount
decreases the effect of π‘’π‘Ÿ on final control signal 𝑒; that is, π‘’π‘Ÿ
will become more effective factor for determining 𝑒; and 𝐼 is
given by the equation below:
σ΅„©
σ΅„©
1 󡄩󡄩𝑔̃ (π‘˜)σ΅„©σ΅„©σ΅„© > 𝑔,
𝐼={ σ΅„©
0,
4. Lyapunov Stability for the Proposed ModelFree Adaptive Controller
Remark 2. 𝛾, πœ‡, and 𝑠 are designing parameters with the
following conditions [5]: 𝛾 < ln(2/𝑠), πœ‡ > 0, 𝑠 > 0.
Remark 3. If 𝑒𝑐 is greater than 1/𝛾, it is assumed to be equal
to 1/𝛾.
The major principles of proposed MFA controller are
constructed based on the three following experimental rules,
which make controller produce appropriate control signal:
Δ𝑉1 = π‘Ÿπ‘‡ (π‘˜ + 1) π‘Ÿ (π‘˜ + 1) − π‘Ÿπ‘‡ (π‘˜) π‘Ÿ (π‘˜) ,
Δ𝑉2 =
1
tr (Μƒ
𝑒𝑓𝑇 (π‘˜ + 1) 𝑒̃𝑓 (π‘˜ + 1) − 𝑒̃𝑓𝑇 (π‘˜) 𝑒̃𝑓 (π‘˜)) ,
𝛼
Δ𝑉3 =
1
tr (Μƒ
𝑒𝑔𝑇 (π‘˜ + 1) 𝑒̃𝑔 (π‘˜ + 1) − 𝑒̃𝑔𝑇 (π‘˜) 𝑒̃𝑔 (π‘˜)) .
𝛽
󡄨
󡄨
󡄨
󡄨
if 󡄨󡄨󡄨𝑒1 (π‘˜)󡄨󡄨󡄨 < πœ€, 󡄨󡄨󡄨𝑒1 (π‘˜ − 1)󡄨󡄨󡄨 < πœ€,
󡄨󡄨
󡄨󡄨 󡄨󡄨
󡄨󡄨
󡄨󡄨𝑒1 (π‘˜)󡄨󡄨 ≤ 󡄨󡄨𝑒1 (π‘˜ − 1)󡄨󡄨
󡄨
󡄨
󡄨
󡄨
if 󡄨󡄨󡄨𝑒1 (π‘˜)󡄨󡄨󡄨 < πœ€, 󡄨󡄨󡄨𝑒1 (π‘˜ − 1)󡄨󡄨󡄨 < πœ€,
󡄨󡄨
󡄨 󡄨
󡄨
󡄨󡄨𝑒1 (π‘˜)󡄨󡄨󡄨 > 󡄨󡄨󡄨𝑒1 (π‘˜ − 1)󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨 󡄨󡄨
󡄨
if 󡄨󡄨𝑒1 (π‘˜)󡄨󡄨 > 󡄨󡄨𝑒1 (π‘˜ − 1)󡄨󡄨󡄨 ,
(28)
where πœ€ is threshold value for changing final control signal
𝑒 in the above rules. These laws utilize appropriate last level
control signal (if error becomes less than specified value that
is called πœ€) for using at next level. Indeed, if error at time π‘˜ and
π‘˜ − 1 becomes less than πœ€ and also error at time π‘˜ is greater
than the previous time, the controller applies negative value
of previous control signal for current time.
Regarding adaptive fuzzy controllers [5, 7] that estimate unknown nonlinear functions of the system by fuzzy
algorithm and when new reference input is applied to the
system, this estimation becomes better. But the sensitivity of
proposed controller on estimation of nonlinear functions is
less than that of AFC method. This is because output error has
significant role in control effort rather than significant role of
estimation in AFC.
(30)
If we prove that Δ𝑉 ≤ 0, it will demonstrate that 𝑒̃𝑔 , 𝑒̃𝑓 , and π‘Ÿ
are bounded and they are able to stabilize system. Δ𝑉1 , Δ𝑉2 ,
and Δ𝑉3 are obtained as follows:
Δ𝑉1 = −π‘Ÿπ‘‡ (π‘˜) (𝐼 − π‘˜π‘£π‘‡ π‘˜π‘£ ) π‘Ÿ (π‘˜)
𝑇
+ 2(π‘˜π‘£ π‘Ÿ (π‘˜)) (Μƒ
𝑒𝑓𝑇 + 𝑒̃𝑔𝑇 𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
𝑇
𝑇
+ (Μƒ
𝑒𝑓𝑇 ) 𝑒̃𝑓𝑇 + (Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (Μƒ
𝑒𝑔𝑇𝑒𝑐 )
𝑇
𝑒𝑓 (Μƒ
𝑒𝑔𝑇 𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
+ (𝑔𝑒𝑑 ) 𝑔𝑒𝑑 + πœ€σΈ€ π‘‡ πœ€σΈ€  + 2Μƒ
𝑇
𝑒 (π‘˜ − 1) ,
{
{
{
{
{
{
{
𝑒 (π‘˜) = {−𝑒 (π‘˜ − 1) ,
{
{
{
{
{
{
{−πœ‚π‘’ (π‘˜ − 1) ,
(29)
1
tr (Μƒ
𝑒𝑔𝑇 (π‘˜) 𝑒̃𝑔 (π‘˜)) .
𝛽
(a) For the first region, 𝐼 = 1.
At first we should obtain the difference of Lyapunov
function in π‘˜ and π‘˜ + 1 level. So general Lyapunov function
Δ𝑉 = Δ𝑉1 + Δ𝑉2 + Δ𝑉3 can be acquired as follows:
(27)
Μƒ Proper selection of 𝑔 prevents 𝑔̃
Here, 𝑔 is lower bound of 𝑔.
to be singular.
1
tr (Μƒ
𝑒𝑓𝑇 (π‘˜) 𝑒̃𝑓 (π‘˜))
𝛼
𝑇
+ 2(Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (𝑔𝑒𝑑 + πœ€σΈ€  ) + 2(𝑔𝑒𝑑 ) πœ€σΈ€  ,
𝑇
Δ𝑉2 = − (2 − 𝛼) (Μƒ
𝑒𝑓𝑇 ) 𝑒̃𝑓𝑇
𝑇
+ 𝛼(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇 𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
(31)
× (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
− 2 (1 − 𝛼) 𝑒̃𝑓 (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  ) ,
𝑇
Δ𝑉3 = − (2 − 𝛽) (Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (Μƒ
𝑒𝑔𝑇 𝑒𝑐 )
+ 𝛽(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  )
𝑇
× (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  )
𝑇
− 2 (1 − 𝛽) (Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  ) .
With combination of the above three Lyapunov functions,
(32) is established
𝑇
𝑒𝑓𝑇 ) 𝑒̃𝑓𝑇
Δ𝑉 = −π‘Ÿπ‘‡ (π‘˜) (𝐼 − π‘˜π‘£π‘‡ π‘˜π‘£ ) π‘Ÿ (π‘˜) − (1 − 𝛼) (Μƒ
𝑇
+ 2(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )
Abstract and Applied Analysis
5
𝑇
+ 𝛼(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
And with substituting inequality (37) in (35),
× (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇 𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
Δ𝑉 ≤ − (𝐼 − π‘Ž1 π‘˜π‘£2 max ) β€–π‘Ÿ (π‘˜)β€–2
+ 2𝛼̃
𝑒𝑓 (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇 𝑒𝑐 + 𝑔𝑒𝑑 + πœ€σΈ€  )
+ 2π‘Ž2 π‘˜π‘£ max β€–π‘Ÿ (π‘˜)β€– (𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€–)
𝑇
− (1 − 𝛽) (Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (Μƒ
𝑒𝑔𝑇𝑒𝑐 )
𝑇
+ π‘Ž1 (𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€–) (𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€–)
+ 𝛽(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  )
σ΅„©σ΅„©
σ΅„©σ΅„©2
πœ‚
σ΅„©
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇𝑒𝑐 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„© .
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(38)
𝑇
× (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  )
𝑇
+ 2𝛽(Μƒ
𝑒𝑔𝑇 𝑒𝑐 ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  ) .
(32)
Δ𝑉 ≤ − (𝐼 − π‘Ž3 ) β€–π‘Ÿ (π‘˜)β€–2 + 2π‘Ž4 β€–π‘Ÿ (π‘˜)β€– + π‘Ž5
By simplifying (32) and using the below definition,
πœ‚={
σ΅„© σ΅„©2
𝛼 + 𝛽󡄩󡄩󡄩𝑒𝑐 σ΅„©σ΅„©σ΅„©
𝛼
𝐼 = 1,
𝐼 = 0.
With simplifying the above inequality, the below equation is
obtained:
(33)
σ΅„©σ΅„©
σ΅„©σ΅„©σ΅„©2
πœ‚
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇𝑒𝑐 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„© ,
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(39)
Inequality (34) is acquired as follows:
where π‘Ž3 , π‘Ž4 , and π‘Ž5 are defined as
Δ𝑉 ≤ −π‘Ÿπ‘‡ (π‘˜) (𝐼 − (1 + πœ‚) π‘˜π‘£π‘‡ π‘˜π‘£ ) π‘Ÿ (π‘˜)
π‘Ž3 = π‘Ž1 π‘˜π‘£2 max + 2π‘Ž2 𝑐1 π‘˜π‘£ max + π‘Ž1 𝑐12 ,
𝑇
+ 2πœ‚(π‘˜π‘£ π‘Ÿ (π‘˜)) (𝑔𝑒𝑑 + πœ€σΈ€  )
π‘Ž4 = π‘Ž2 𝑐0 π‘˜π‘£ max + π‘Ž1 𝑐0 𝑐1 ,
𝑇
+ (1 + πœ‚) (𝑔𝑒𝑑 + πœ€σΈ€  ) (𝑔𝑒𝑑 + πœ€σΈ€  )
σ΅„©σ΅„©
σ΅„©σ΅„©2
πœ‚
σ΅„©
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇𝑒𝑐 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
𝑇
πœ‚
+
(π‘˜ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )
1−πœ‚ 𝑣
(34)
with assuming that π‘˜π‘£ max is the maximum value of π‘˜π‘£ and by
resimplifying (34), inequality (35) is stated as given below:
Δ𝑉 ≤ − (𝐼 − π‘Ž1 π‘˜π‘£2 max ) β€–π‘Ÿ (π‘˜)β€–2 + 2π‘Ž2 π‘˜π‘£ max β€–π‘Ÿ (π‘˜)β€– (𝑔𝑒𝑑 + πœ€σΈ€  )
𝑇
+ π‘Ž1 (𝑔𝑒𝑑 + πœ€σΈ€  ) (𝑔𝑒𝑑 + πœ€σΈ€  )
σ΅„©σ΅„©
σ΅„©σ΅„©2
πœ‚
σ΅„©
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇𝑒𝑐 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„© ,
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(35)
πœ‚
,
1−πœ‚
π‘Ž5 = π‘Ž1 𝑐02 .
By assuming that πœ‚ < 1, the below statement becomes
negative:
σ΅„©σ΅„©2
σ΅„©σ΅„©
πœ‚
σ΅„©
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇𝑒𝑐 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„© < 0.
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(41)
As regards 𝛼 > 0, 𝛽 > 0, πœ‚ becomes positive too and
finally π‘Ž1 , π‘Ž2 , π‘Ž3 , π‘Ž4 , π‘Ž5 > 0 totally; the first term in (39) {−(𝐼 −
π‘Ž3 )β€–π‘Ÿ(π‘˜)β€–2 + 2π‘Ž4 β€–π‘Ÿ(π‘˜)β€– + π‘Ž5 } becomes nonpositive, if it obeys
the below condition:
β€–π‘Ÿ (π‘˜)β€– > π›Ώπ‘Ÿ1
(42)
in which π›Ώπ‘Ÿ1 is acquired from the below inequality:
where π‘Ž1 and π‘Ž2 are described as
π‘Ž1 = 1 + πœ‚ +
(40)
π‘Ž2 = πœ‚ +
πœ‚
.
1−πœ‚
(36)
√ 2
σ΅„©σ΅„© σ΅„©σ΅„© π‘Ž5 + π‘Ž5 + π‘Ž6 (1 − π‘Ž4 )
.
σ΅„©σ΅„©π›Ώπ‘Ÿ1 σ΅„©σ΅„© >
(1 − π‘Ž )
(43)
4
By considering Lemma A.4 in Appendix A,
σ΅„©
σ΅„©σ΅„©
σ΅„© σ΅„©
󡄩󡄩𝑔 (𝑒 − 𝑒𝐢) + πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑󡄩󡄩󡄩 = 󡄩󡄩󡄩𝑔𝑒𝑑 + πœ€σΈ€  σ΅„©σ΅„©σ΅„© ≤ 𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€– .
σ΅„©
σ΅„©
σ΅„© σ΅„©
(37)
Thus, both terms of inequality (39) have nonpositive values
and finally Δ𝑉 ≤ 0.
(b) For the second region, 𝐼 = 0.
6
Abstract and Applied Analysis
In this region the proposed Lyapunov functions Δ𝑉1 ,
Δ𝑉2 , and Δ𝑉3 are obtained like (30) and they are stated as
follows:
As regards 𝛼 > 0, 𝛽 > 0, πœ‚ becomes positive too and finally 𝑏0 ,
𝑏1 , 𝑏2 > 0. The first term in (39) {−(𝐼 − 𝑏0 )β€–π‘Ÿ(π‘˜)β€–2 + 2𝑏1 β€–π‘Ÿ(π‘˜)β€– +
𝑏2 } becomes nonpositive, if it obeys the below condition:
Δ𝑉1 = −π‘Ÿπ‘‡ (π‘˜) (𝐼 − π‘˜π‘£π‘‡ π‘˜π‘£ ) π‘Ÿ (π‘˜)
β€–π‘Ÿ (π‘˜)β€– > π›Ώπ‘Ÿ2
𝑇
𝑇
+ 2(π‘˜π‘£ π‘Ÿ (π‘˜)) (Μƒ
𝑒𝑓𝑇 + 𝑔𝑒𝑑 + πœ€σΈ€  ) + (Μƒ
𝑒𝑓𝑇) 𝑒̃𝑓𝑇
𝑇
in which π›Ώπ‘Ÿ2 is obtained from the relation below:
𝑇
+ (𝑔𝑒𝑑 ) 𝑔𝑒𝑑 + πœ€σΈ€ π‘‡πœ€σΈ€  + 2Μƒ
𝑒𝑓 (𝑔𝑒𝑑 + πœ€σΈ€  ) + 2(𝑔𝑒𝑑 ) πœ€σΈ€  ,
Δ𝑉2 = − (2 −
𝑇
𝛼) (Μƒ
𝑒𝑓𝑇) 𝑒̃𝑓𝑇
√ 2
σ΅„©σ΅„© σ΅„©σ΅„© 𝑏1 + 𝑏1 + 𝑏2 (1 − 𝑏0 )
.
σ΅„©σ΅„©π›Ώπ‘Ÿ2 σ΅„©σ΅„© >
(1 − 𝑏 )
(51)
0
As a result, both terms of inequality (47) have nonpositive
values which means Δ𝑉 ≤ 0. And finally if ||π‘Ÿ(π‘˜)|| >
max(π›Ώπ‘Ÿ1 , π›Ώπ‘Ÿ2 ) Lyapunov function becomes negative.
𝑇
+ 𝛼(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )
− 2 (1 − 𝛼) 𝑒̃𝑓 (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) ,
5. Implementation of MFA Controller
Δ𝑉3 = 0.
(44)
By combination of the above three equations (and definition
of πœ‚), the statement is demonstrated below:
Δ𝑉 = − π‘Ÿπ‘‡ (π‘˜) (𝐼 − π‘˜π‘£π‘‡ π‘˜π‘£ ) π‘Ÿ (π‘˜)
Example 4. Consider MIMO system with 2 input-2 output
system state equations which are given below [8]:
π‘₯1Μ‡ (𝑑) = π‘₯2 (𝑑) + (1 + π‘₯2 (𝑑)2 ) 𝑒1 (𝑑) + 𝑑1 (𝑑) ,
π‘₯2Μ‡ (𝑑) = − π‘₯1 (𝑑) − (0.1 − exp (−π‘₯1 (𝑑)2 − π‘₯2 (𝑑)2 )) π‘₯2 (𝑑)
𝑇
+ 2(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) (𝑔𝑒𝑑 + πœ€σΈ€  )
+ (1 + π‘₯1 (𝑑)2 ) 𝑒2 (𝑑) + 𝑑2 (𝑑) ,
𝑇
1
(π‘˜ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  ) (π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )
1−𝛼 𝑣
σ΅„©σ΅„©2
σ΅„©σ΅„©σ΅„©
πœ‚
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
σ΅„©σ΅„©
(45)
+
σ΅„©σ΅„©
Μ‚ 𝐢󡄩󡄩󡄩󡄩 ≤ 𝑑0 + 𝑑1 β€–π‘Ÿ (π‘˜)β€– .
󡄩󡄩𝑔𝑒 − 𝑔𝑒
(46)
𝑦2 (𝑑) = π‘₯2 (𝑑) + 𝑛2 (𝑑) ,
𝑛 (𝑑) = measurement noise,
𝑑1 (𝑑) , 𝑑2 (𝑑) = disturbance.
(52)
πœ‡ = 10,
𝑔 = .8,
By substituting inequality (46) in (45),
σ΅„©σ΅„©
σ΅„©σ΅„©2
πœ‚
σ΅„©
σ΅„©
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 −
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(47)
in which 𝑏0 , 𝑏1 , and 𝑏2 are as follows:
2
(𝑑1 + π‘˜π‘£ max )
,
1−𝛼
4 − 2𝛼
𝑏1 = 2 (𝑑0 + πœ€ ) 𝑑1 +
(𝑑0 + πœ€σΈ€  ) (𝑑1 + π‘˜π‘£ max ) ,
1−𝛼
σΈ€ 
(48)
2
3 − 2𝛼
(𝑑0 + πœ€σΈ€  ) .
1−𝛼
By the assumption that πœ‚ < 1, the statement below becomes
negative:
σ΅„©σ΅„©2
σ΅„©σ΅„©
πœ‚
σ΅„©
σ΅„©
(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )σ΅„©σ΅„©σ΅„© < 0.
− (1 − πœ‚) 󡄩󡄩󡄩𝑒̃𝑓𝑇 −
σ΅„©σ΅„©
σ΅„©σ΅„©
1−πœ‚
(49)
𝛼 = .1,
𝛽 = .1,
π‘˜π‘£ = [10 0; 0 10] ,
πœ‚ = 0,
Δ𝑉 ≤ − (𝐼 − 𝑏0 ) β€–π‘Ÿ (π‘˜)β€–2 + 2𝑏1 β€–π‘Ÿ (π‘˜)β€– + 𝑏2
𝑏0 = π‘˜π‘£2 max + 2𝑑1 (𝑑1 + π‘˜π‘£ max ) +
𝑦1 (𝑑) = π‘₯1 (𝑑) + 𝑛1 (𝑑) ,
Select control parameters as follows:
with the consideration of Lemma A.4
𝑏2 =
(50)
𝑒̂𝑓 = [.1 .1] ,
𝑠 = 2,
πœ† 1 = .001,
𝛾 = .05,
πœ€ = .01, (53)
𝑒̂𝑔 = [1 0; 0 1] .
Simulation results of MIMO system without disturbances
𝑑1 (𝑑), 𝑑2 (𝑑) = 0 are demonstrated in Figure 1. In Figure 2
external disturbances are applied to the system with power
𝑑1 (𝑑) = 0.4, 𝑑2 (𝑑) = 0.4, and finally, the system with existence
of white Gaussian measurement noise (power 0.0001) and
external disturbance is shown in Figure 3; also desired inputs
are assumed: 𝑦1𝑑 = 1,𝑦2𝑑 = cos(2πœ‹π‘‘).
The aim of using this MIMO system which is brought
by [8] (along with two control signals) is surveying coupling
effect in multiinput multioutput systems. As it is understood
from the result of Figure 1 caused by MFA controller and the
result of AFC in [8], it can be said that system outputs of
MFA controller do not have any overshoot in its response
but in AFC, this problem is observed. As it is seen from
Figure 2, MFA controller rejects disturbance without any
noticeable effort in control signals and in the outputs. Also
it can be deduced from Figure 3 that the measurement noise
has intense effect on system outputs and control signals
Abstract and Applied Analysis
7
1.5
1.2
1
0.8
Output 2
Output 1
1
0.6
0.5
0
0.4
−0.5
0.2
−1
0
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
−1.5
5
Time (s)
0
System output 1
Desired output 1
0.5
1
1.5
3
2.5
Time (s)
3.5
4
4.5
5
3.5
4
4.5
5
System output 2
Desired output 2
(a)
(b)
70
80
60
60
50
40
Control power 2
Control power 1
2
40
30
20
10
20
0
−20
−40
−60
0
−10
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
−80
0
0.5
1
1.5
2
2.5
3
Time (s)
(d)
(c)
Figure 1: Simulation results for MIMO system without disturbance. (a), (b) system outputs 1 and 2. (c), (d) control signals 𝑒 relative to inputs
1 and 2.
(approximately became twice) but it should be noted that the
proposed controller is able to track desired output and yet
remains stable. As it is demonstrated in Figures 1, 2, and 3,
the disadvantage of this controller is oscillating control signal.
Profits of MFAC in addition of good (also rapid) tracking
and system stabilizing are decreasing settling time of output
response.
Example 5. The second system under study is Maglev train
which is shown in Figure 4. Using the notations given in
Figure 4, the vertical dynamics is described by [9].
System state equations are described as follows:
𝑑2 𝑧 (𝑑)
= −𝐹 (𝑖, 𝑧, 𝑑) + 𝑓𝑑 + π‘šπ‘”
𝑑𝑑2
πœ‡ 𝑁2 π‘Žπ‘š 𝑖 (𝑑) 2
=− 0
[
] + 𝑓𝑑 + π‘šπ‘”,
4
𝑧 (𝑑)
𝑑𝑖 (𝑑)
𝑖 (𝑑) 𝑑𝑧 (𝑑)
=
𝑑𝑑
𝑧 (𝑑) 𝑑𝑑
2
𝑧 (𝑑) (π‘…π‘š 𝑖 (𝑑) − 𝑒 (𝑑)) .
−
πœ‡0 𝑁2 π‘Žπ‘š
π‘š
Here 𝑧 is the distance between rail and train, 𝑖 is the current of
windings, π‘š is the train mass, 𝑓𝑑 is the force of disturbance,
πœ‡0 is the permeability coefficient which equals 4πœ‹ ∗ 10−7 , 𝑁
the number of turns in winding, π‘Žπ‘š is the section surface of
windings, and π‘…π‘š is the wire resistance in windings.
Consider the state vector as below; thus the above
equations convert to new state equations:
π‘₯1Μ‡ (𝑑) = π‘₯2 (𝑑) ,
π‘₯2Μ‡ (𝑑) = −
πœ‡0 𝑁2 π‘Žπ‘š π‘₯3 (𝑑) 2 1
] + 𝑀 + 𝑔,
[
4π‘š
π‘₯1 (𝑑)
π‘š
π‘₯3Μ‡ (𝑑) = −
2π‘…π‘š
π‘₯ (𝑑) π‘₯3 (𝑑)
π‘₯ (𝑑) π‘₯1 (𝑑) + 2
πœ‡0 𝑁2 π‘Žπ‘š 3
π‘₯1 (𝑑)
+
2π‘₯1 (𝑑) 𝑒 (𝑑)
,
πœ‡0 𝑁2 π‘Žπ‘š
𝑦 (𝑑) = π‘₯2 (𝑑) + 𝑛 (𝑑) ,
𝑛 (𝑑) = measurement noise,
𝑀 (𝑑) = external disturbance.
(54)
(55)
8
Abstract and Applied Analysis
1.5
1.2
1
Output 2
Output 1
1
0.8
0.6
0.5
0
0.4
−0.5
0.2
−1
0
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
−1.5
0.5
0
1
1.5
2
Time (s)
2.5
3
3.5
4
4.5
5
Time (s)
System output 1
Desired output 1
System output 2
Desired output 2
(a)
(b)
80
Control power 2
60
40
20
0
−20
−40
−60
−80
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
Time (s)
(c)
(d)
Figure 2: Simulation results for MIMO system with disturbance. (a), (b) system outputs 1 and 2. (c), (d) control signals 𝑒 relative to inputs 1
and 2.
Maglev trains work in one of two ways; both methods are
based on the same concept but involve different approaches.
(1) Electromagnetic Suspension is based on magnetic
attraction; it is very complex and somewhat unstable.
(2) Electrodynamic Suspension is based on the repulsion
of magnets. The magnetic levitation force balances the
weight of the car at a stable position. Controlling EMS
is more difficult than EDS train, because normality of
this dynamic state is unstable.
Magnetic trains have two important issues, levitation
and propulsion; the target of controller is first: goes up
train to desired level along with guarantee stabilizing against
some uncertainty such as wind and changing train mass in
boltroads. And second adjust train speed at the working
frequency of magnets. In this paper just levitation part
(important section of train in controlling) is discussed. The
train in this example goes from 10 mm to 16 mm level. By
considering these assumption values for train and controller
as follows,
π‘š = 1.5 kg,
𝑁 = 280 turns,
π‘…π‘š = 1.1 Ω,
𝑠 = 140,
πœ‡ = 32,
𝛾 = .01,
πœ€ = .0001,
𝛼 = .1,
𝑔 = .9,
πœ‚ = 1,
π‘Žπ‘š = 102.4 m2 ,
π‘˜π‘£ = 1,
𝑒̂𝑓 = − 4,
𝛽 = .1,
πœ† 1 = 0,
(56)
𝑒̂𝑔 = 1.
The result of simulating without considering disturbance
has been displayed in Figure 5; in Figure 6, input step as
external disturbance with amplitude 𝑑(𝑑) = 1 is applied
to the system; for Figure 7, sinusoidal measurement noise
with amplitude .1 mm in presence of disturbance is considered. Also white Gaussian noise in existence of external
disturbance is applied to the system with power 8 × 10−9
(it is considered small because 𝐼/𝑂 amplitude is small)
which is shown in Figure 8. The purpose of presenting
this system is studying on sort of complicated practical
system dynamics such as Maglev in which they have some
Abstract and Applied Analysis
9
1.5
1.2
1
0.8
Output 2
Output 1
1
0.6
0.5
0
0.4
−0.5
0.2
−1
0
0
1
0.5
2
1.5
2.5
3
3.5
4
4.5
−1.5
5
Time (s)
0
0.5
1
1.5
3
3.5
4
4.5
5
3
3.5
4
4.5
5
System output 2
Desired output 2
(a)
(b)
60
80
50
60
40
40
30
Control power 2
Control power 1
2.5
Time (s)
System output 1
Desired output 1
20
10
0
−10
20
0
−20
−40
−60
−20
−30
2
0
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
Time (s)
(c)
−80
0
0.5
1
1.5
2
2.5
Time (s)
(d)
Figure 3: Simulation results for MIMO system with the measurement noise and disturbance. (a), (b) system outputs 1 and 2. (c), (d) control
signals 𝑒 relative to inputs 1 and 2.
Figure 4: Vertical slice of magnetic levitation and rail in a magnetic train [9].
nonlinear terms like existence of first state in denominator
(that affect directly the destabilizing system), and so forth.
As it is demonstrated in Figure 5(a), the system output,
that is distance between rail and train, has no overshoot;
after about .25 second it goes from 10 to 16 mm smoothly.
Such as the last example, it is acquired from Figure 6 that
disturbance did not have any effect on the output, control
effort, and settling time. In Figure 7, it is illustrated that
sinusoidal measurement noise with no changes appears into
output but no noticeable alternation in control signal has
been seen. And finally in Figure 8, an impalpable effect
of white Gaussian measurement noise on output and control signal can be shown; in this example some repeated
benefits which are seen in Maglev system response are
Abstract and Applied Analysis
0.016
0.014
0.012
0.01
Distance (m)
Distance (m)
10
0
0.5
1.5
1
2
2.5
3
0.016
0.014
0.012
0.01
0
0.5
1
1.5
Time (s)
Time (s)
5
−5
−15
0
0.5
2.5
3
2
2.5
3
(a)
15
Control power
(volt)
Control power
(volt)
(a)
2
1
1.5
2
2.5
15
5
−5
−15
3
0
0.5
1
1.5
Time (s)
Time (s)
Figure 5: Simulation result for Maglev without disturbance (in
which it goes from 10 to 16 mm). (a) Distance between train and rail,
(b) control signal.
Figure 7: Simulation result for Maglev with sinuous measurement
noise at 15 Hz and disturbance. (a) Distance between train and rail,
(b) control signal.
0.016
0.014
0.012
0.01
0
0.5
1
1.5
Time (s)
2
2.5
3
Distance (m)
(b)
Distance (m)
(b)
0.016
0.014
0.012
0.01
0
0.5
1
1.5
5
−5
0
0.5
1
1.5
Time (s)
2
2.5
3
Control power
(volt)
Control power
(volt)
2.5
3
2
2.5
3
(a)
15
−15
2
Time (s)
(a)
15
5
−5
−15
0
0.5
1
1.5
Time (s)
(b)
Figure 6: Simulation result for Maglev with disturbance. (a)
Distance between train and rail, (b) control signal.
(b)
Figure 8: Simulation result for Maglev train with white Gaussian
measurement noise along with disturbance. (a) Distance between
train and rail, (b) control signal.
expressed, such as appropriate system stabilizing, good and
rapid tracking, disturbance rejection, and small settling
time.
Appendices
6. Conclusion
A. Some Requirements
Model-free adaptive controller is an adaptive controller that
just uses system outputs and does not require another system
states (so does not need observer) and with this, as modelfree controller, it performs good and also has some merits
such as good stability, appropriate tracking, robust against
uncertainty, disturbance rejection, and good decoupling and
the biggest advantage of MFA controller is no requiring
to system dynamic and even does not need to any prior
experiment about system.
Lemma A.1. For each time π‘˜, π‘₯(π‘˜) is bounded by
β€–π‘₯ (π‘˜)β€– ≤ 𝑑0 + 𝑑1 β€–π‘Ÿ (π‘˜)β€–
(A.1)
which is π‘Ÿ(π‘˜), called “tracking error,” and 𝑑0 , 𝑑1 are computable
positive constants.
Abstract and Applied Analysis
11
Proof [see [8, Lemma 3.2]]. Let π‘₯(π‘˜) ∈ π‘ˆ, in which π‘ˆ is a
compact subset of 𝑅𝑛 . Assume that β„Ž(π‘₯(π‘˜)) ∈ 𝐢∞ π‘ˆ; that is,
β„Ž(π‘₯(π‘˜)) is a smooth function π‘ˆ → 𝑅, so that the Taylor
series expansion of β„Ž(π‘₯(π‘˜)) exists. Then using the bound on
π‘₯(π‘˜), express the function β„Ž(π‘₯(π‘˜)) on a compact set as linear
form of parameters. Thus, the upper bound for β„Ž(π‘₯(π‘˜)) can
be obtained as
β€–β„Ž (π‘₯ (π‘˜))β€– ≤ 𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€– ,
(A.2)
where 𝑐0 and 𝑐1 are constant matrices [8].
Remark A.2. πœ€π‘” ,πœ€π‘“ are estimation errors of 𝑔, 𝑓, respectively,
and 𝑑 is external disturbance. These errors are bounded and
have these definite bounds
σ΅„©σ΅„© σ΅„©σ΅„©
σ΅„©σ΅„© σ΅„©σ΅„©
σ΅„©σ΅„©πœ€π‘” σ΅„©σ΅„© ≤ πœ€π‘π‘” ,
σ΅„©σ΅„©πœ€π‘“ σ΅„©σ΅„© ≤ πœ€π‘π‘“ ,
(A.3)
‖𝑑‖ ≤ 𝑑𝑀.
σ΅„© σ΅„©
σ΅„© σ΅„©
Remark A.3. According to (27), if 𝐼 = 1 then ‖𝑒𝑐 β€– ≤ 𝑠, so 𝑒𝑐
is bounded and if 𝐼 = 0 then ‖𝑒𝑐 β€– > 𝑠, but by considering
the mentioned condition at Remark 3 in Section 5, in which
if 𝑒𝑐 is greater than 1/𝛾, it is assumed to be equal 1/𝛾. Thus, it
can be deduced that in both regions and in all of times, 𝑒𝑐 is
bounded and its bounds are shown as follows:
𝑠
{
{
σ΅„©σ΅„© σ΅„©σ΅„© { 1
󡄩󡄩𝑒𝑐 σ΅„©σ΅„© ≤ {
{
{
𝛾
{
𝐼 = 1,
𝐼 = 0.
(A.4)
Lemma A.4. With regards to that, the proposed control
algorithm is divided into two regions 𝐼 = 0 and 𝐼 = 1. We
will prove the following relationship which is established in each
region:
σ΅„©
σ΅„©σ΅„©
󡄩𝑔 (𝑒 − 𝑒𝐢) + πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑󡄩󡄩󡄩 ≤ 𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€–
σ΅„©
{σ΅„©σ΅„©σ΅„©σ΅„©
σ΅„©
Μ‚ 𝐢󡄩󡄩󡄩 ≤ 𝑑0 + 𝑑1 β€–π‘Ÿ (π‘˜)β€–
󡄩󡄩𝑔𝑒 − 𝑔𝑒
𝐼 = 1,
𝐼 = 0.
(A.5)
Proof. (a) First region: 𝐼 = 1 or ‖𝑒𝑐 β€– ≤ 𝑠 and ‖𝑔(π‘₯)β€– > 𝑔.
In consideration of Lemma A.1, it is demonstrated that
‖𝑔(π‘₯)β€– ≤ 𝑐01 + 𝑐11 β€–π‘Ÿ(π‘˜)β€–, where 𝑐01 , 𝑐11 are constant matrices:
σ΅„© σ΅„© πœ‡σ΅„© σ΅„©
σ΅„© σ΅„©
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑐 σ΅„©σ΅„© ≤ 𝑠 󳨀→ σ΅„©σ΅„©σ΅„©π‘’π‘Ÿ σ΅„©σ΅„©σ΅„© ≤ 󡄩󡄩󡄩𝑒𝑐 σ΅„©σ΅„©σ΅„© 󳨀→ bounded σ΅„©σ΅„©σ΅„©π‘’π‘Ÿ σ΅„©σ΅„©σ΅„© .
𝑔
(A.6)
By using the result of relation (A.6), the following inequality
is obtained:
σ΅„©σ΅„©
σ΅„© σ΅„©σ΅„© 𝑒 − 𝑒𝑐 𝛾(‖𝑒𝑐 β€–−𝑠) σ΅„©σ΅„©σ΅„©σ΅„©
(A.7)
𝑒
󡄩󡄩𝑒 − 𝑒𝑐 σ΅„©σ΅„©σ΅„© ≤ σ΅„©σ΅„©σ΅„©σ΅„© π‘Ÿ
σ΅„©σ΅„© .
σ΅„© 2
σ΅„©
As regards ‖𝑒𝑐 β€– ≤ 𝑠 → 𝛾(‖𝑒𝑐 β€– − 𝑠) ≤ 0,
σ΅„© σ΅„©σ΅„© 𝑒 − 𝑒𝑐 σ΅„©σ΅„©σ΅„©σ΅„© 1 σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑒 − 𝑒𝑐 σ΅„©σ΅„©σ΅„© ≤ σ΅„©σ΅„©σ΅„©σ΅„© π‘Ÿ
σ΅„© ≤ (󡄩𝑒 σ΅„© + 󡄩𝑒 σ΅„©) ≤ 𝑐2 .
σ΅„© 2 σ΅„©σ΅„© 2 σ΅„© π‘Ÿ σ΅„© σ΅„© 𝑐 σ΅„©
(A.8)
By considering (A.7),
σ΅„© σ΅„© σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑔 (𝑒 − 𝑒𝐢)σ΅„©σ΅„©σ΅„© ≤ 󡄩󡄩󡄩𝑔󡄩󡄩󡄩 σ΅„©σ΅„©σ΅„©(𝑒 − 𝑒𝐢)σ΅„©σ΅„©σ΅„©
≤ 𝑐2 (𝑐01 + 𝑐11 β€–π‘Ÿ (π‘˜)β€–) = 𝑐02 + 𝑐12 β€–π‘Ÿ (π‘˜)β€– .
(A.9)
Also by utilizing Remark 3, (A.10) is stated as follows:
σ΅„© σ΅„© σ΅„© σ΅„© σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„©πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑󡄩󡄩󡄩 ≤ σ΅„©σ΅„©σ΅„©πœ€π‘“ σ΅„©σ΅„©σ΅„© + σ΅„©σ΅„©σ΅„©πœ€π‘” σ΅„©σ΅„©σ΅„© 󡄩󡄩󡄩󡄩𝑒𝑐 σ΅„©σ΅„©σ΅„©σ΅„© + ‖𝑑‖
σ΅„© σ΅„© σ΅„© σ΅„© σ΅„©
σ΅„©
(A.10)
≤ πœ€π‘π‘“ + πœ€π‘π‘” + 𝑑𝑀 = πœ€π‘.
By using (A.9) and (A.10) the following inequality is acquired:
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑔 (𝑒 − 𝑒𝐢) + πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑󡄩󡄩󡄩
σ΅„©
σ΅„©
σ΅„©
σ΅„©σ΅„©
σ΅„©σ΅„© σ΅„©σ΅„©σ΅„©
≤ 󡄩󡄩𝑔 (𝑒 − 𝑒𝐢)σ΅„©σ΅„© + σ΅„©σ΅„©πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑󡄩󡄩󡄩󡄩
(A.11)
≤ 𝑐02 + 𝑐12 β€–π‘Ÿ (π‘˜)β€– + πœ€π‘ ≤ 𝑐0 + 𝑐1 β€–π‘Ÿ (π‘˜)β€– .
Thus, the assumption is proved in the first region.
(b) Second region: 𝐼 = 0 or ‖𝑒𝑐 β€– ≥ 𝑠 and ‖𝑔(π‘₯)β€– < 𝑔 and
the mentioned condition for the proposed MFA controller in
Remark 3 in Section 5 is stated as follows:
if 𝑒𝑐 >
1
1
󳨐⇒ 𝑒𝑐 = .
𝛾
𝛾
(A.12)
In consideration of Lemma A.1, it is demonstrated that
‖𝑔(π‘₯)β€– ≤ 𝑐01 + 𝑐11 β€–π‘Ÿ(π‘˜)β€–, where 𝑐01 , 𝑐11 are constant matrices.
By using the result of relation (A.6) and the condition that is
given above, the following inequality is obtained:
σ΅„© σ΅„© σ΅„©σ΅„© 𝑒 − 𝑒𝑐 −𝛾(‖𝑒𝑐 β€–−𝑠) σ΅„©σ΅„©σ΅„©σ΅„©
𝑒
‖𝑒‖ ≤ σ΅„©σ΅„©σ΅„©π‘’π‘Ÿ σ΅„©σ΅„©σ΅„© + σ΅„©σ΅„©σ΅„©σ΅„© π‘Ÿ
σ΅„©σ΅„© .
σ΅„© 2
σ΅„©
(A.13)
As regards ‖𝑒𝑐 β€– > 𝑠 → −𝛾(‖𝑒𝑐 β€– − 𝑠) ≤ 0,
σ΅„© σ΅„© σ΅„©σ΅„© 𝑒 − 𝑒𝑐 σ΅„©σ΅„©σ΅„©σ΅„© 1 σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„©
‖𝑒‖ ≤ σ΅„©σ΅„©σ΅„©π‘’π‘Ÿ σ΅„©σ΅„©σ΅„© + σ΅„©σ΅„©σ΅„©σ΅„© π‘Ÿ
σ΅„© ≤ (3 󡄩𝑒 σ΅„© + 󡄩𝑒 σ΅„©) ≤ 𝑑2 .
σ΅„© 2 σ΅„©σ΅„© 2 σ΅„© π‘Ÿ σ΅„© σ΅„© 𝑐 σ΅„©
(A.14)
By considering (B.5),
σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑔𝑒󡄩󡄩 ≤ 󡄩󡄩𝑔󡄩󡄩 ‖𝑒‖ ≤ 𝑑2 (𝑐01 + 𝑐11 β€–π‘Ÿ (π‘˜)β€–)
= 𝑑02 + 𝑑12 β€–π‘Ÿ (π‘˜)β€– ,
(A.15)
σ΅„© σ΅„©
σ΅„©σ΅„© Μ‚ σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„© σ΅„©σ΅„©σ΅„© 1 σ΅„©σ΅„©σ΅„©
󡄩󡄩𝑔𝑒𝑐 σ΅„©σ΅„© ≤ 󡄩󡄩𝑔󡄩󡄩 σ΅„©σ΅„© σ΅„©σ΅„© ≤ 𝑑3 .
σ΅„©σ΅„© 𝛾 σ΅„©σ΅„©
By using (A.10) and (A.15), the following inequality is
obtained:
σ΅„©σ΅„©
Μ‚ 𝑐 σ΅„©σ΅„©σ΅„©σ΅„©
Μ‚ 𝑐 σ΅„©σ΅„©σ΅„©σ΅„© ≤ 󡄩󡄩󡄩󡄩𝑔𝑒󡄩󡄩󡄩󡄩 + 󡄩󡄩󡄩󡄩𝑔𝑒
󡄩󡄩𝑔𝑒 − 𝑔𝑒
≤ 𝑑01 + 𝑑11 β€–π‘Ÿ (π‘˜)β€– + 𝑑3
(A.16)
≤ 𝑑0 + 𝑑1 β€–π‘Ÿ (π‘˜)β€– .
Finally, the assumption is proved in the second region. Thus,
inequality (A.5) is correct in both regions.
B. Obtain π‘Ÿ(π‘˜)
In consideration of error definition π‘Ÿ(π‘˜) in (21),
πœ† 1 𝑒𝑛−1 (π‘˜ + 1) + ⋅ ⋅ ⋅ + ⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
πœ† 𝑛−1 𝑒1 (π‘˜ + 1),
π‘Ÿ (π‘˜ + 1) = π‘’βŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸβŸ
𝑛 (π‘˜ + 1) + ⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
I
II
III
(B.1)
12
Abstract and Applied Analysis
(I) 𝑒𝑛 (π‘˜ + 1) = π‘₯𝑛 (π‘˜ + 1) − 𝑦𝑑 (π‘˜ + 𝑛) = 𝑓(π‘₯) + 𝑔(π‘₯)𝑒(π‘˜) +
𝑑(π‘˜) − 𝑦𝑑 (π‘˜ + 𝑛),
(II) πœ† 1 𝑒𝑛−1 (π‘˜ + 1) = πœ† 1 [π‘₯
⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
𝑛−1 (π‘˜ + 1) − 𝑦𝑑 (π‘˜ + 𝑛 − 1)] =
π‘₯𝑛 (π‘˜)
πœ† 1 𝑒𝑛 (π‘˜),
(III) πœ† 𝑝−1 𝑒1 (π‘˜ + 1) = πœ† 𝑝−1 [π‘₯
⏟⏟⏟1⏟⏟⏟⏟(π‘˜βŸβŸβŸ+⏟⏟⏟⏟⏟1)
⏟⏟ − 𝑦𝑑 (π‘˜ − 1)] =
π‘₯2 (π‘˜)
πœ† 𝑝−1 𝑒2 (π‘˜).
with substitution of πœ€σΈ€  = πœ€π‘“ + πœ€π‘” 𝑒𝑐 + 𝑑 in (B.6); final relation
of tracking error is demonstrated as follows:
π‘Ÿ (π‘˜ + 1) = π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇 𝑒𝑐 + πœ€σΈ€  + 𝑔𝑒𝑑 .
(B.7)
Remark B.1. In consideration of (20) in this region, the
following equalities are given:
𝑒̃𝑓 = 𝑒𝑓 − 𝑒̂𝑓 󳨐⇒ 𝑒̃𝑓 (π‘˜ + 1) = (1 − 𝛼) 𝑒̃𝑓 (π‘˜)
𝑇
− 𝛼(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑔𝑇 𝑒𝑐 + πœ€σΈ€  + 𝑔𝑒𝑑 ) ,
Thus, by substituting (I), (II), and (III) in the above equation,
π‘Ÿ (π‘˜ + 1) = 𝑓 (π‘₯) + 𝑔 (π‘₯) 𝑒 (π‘˜) + 𝑑 (π‘˜) − 𝑦𝑑 (π‘˜ + 𝑃)
+ πœ† 1 𝑒𝑃 (π‘˜) + ⋅ ⋅ ⋅ + πœ† 𝑃−1 𝑒2 (π‘˜) .
(B.2)
𝑇
− 𝛽(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + πœ€σΈ€  + 𝑔𝑒𝑑 ) .
By using equation (B.4) in the second region, tracking errors,
𝑒̃𝑓 , 𝑒̃𝑔 , are obtained as follows:
Equation (25) can be rewritten as follows:
𝑣 (π‘˜) = 𝑔̃ (π‘˜) 𝑒𝑐 (π‘˜) + 𝑓̃ (π‘˜) .
(B.8)
𝑒̃𝑔 = 𝑒𝑔 − 𝑒̂𝑔 󳨐⇒ 𝑒̃𝑔 (π‘˜ + 1) = (1 − 𝛽) 𝑒̃𝑔𝑇 (π‘˜) 𝑒𝑐
(B.3)
Μƒ + (𝑔 (π‘₯) 𝑒 − 𝑔𝑒
Μƒ 𝑐 ) + 𝑑 (π‘˜)
π‘Ÿ (π‘˜ + 1) = π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑓 (π‘₯) − 𝑓)
Μƒ + 𝑔𝑒 + 𝑑 (π‘˜) .
= π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑓 (π‘₯) − 𝑓)
𝑑
By using (23), (25), and (B.2),
(B.9)
Remark B.2. By utilizing (20) in this region, 𝑒̃𝑓 and 𝑒̃𝑔 are
acquired as follows:
π‘Ÿ (π‘˜ + 1) = 𝑣 (π‘˜) − 𝑣 (π‘˜) + 𝑓 (π‘₯) + 𝑔 (π‘₯) 𝑒 (π‘˜) + 𝑑 (π‘˜)
− 𝑦𝑑 (π‘˜ + 𝑃) + πœ† 1 𝑒𝑃 (π‘˜) + ⋅ ⋅ ⋅ + πœ† 𝑃−1 𝑒2 (π‘˜)
𝑒̃𝑓 = 𝑒𝑓 − 𝑒̂𝑓 ,
= π‘˜π‘£ π‘Ÿ (π‘˜) − 𝑣 (π‘˜) + 𝑓 (π‘₯) + 𝑔 (π‘₯) + 𝑑 (π‘˜)
Μƒ + (𝑔 (π‘₯) 𝑒 − 𝑔𝑒
Μƒ 𝑐 ) + 𝑑 (π‘˜) .
= π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑓 (π‘₯) − 𝑓)
(B.4)
𝑇
𝑒̃𝑓 (π‘˜ + 1) = (1 − 𝛼) 𝑒̃𝑓 (π‘˜) − 𝛼(π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑔𝑒𝑑 + πœ€σΈ€  )
𝑒̃𝑔 = 𝑒𝑔 − 𝑒̂𝑔 󳨐⇒ 𝑒̃𝑔 (π‘˜ + 1) = 𝑒̃𝑔 (π‘˜) .
(B.10)
Also by considering the above equation, the tracking errors,
𝑒̃𝑓 and 𝑒̃𝑔 , are acquired as follows:
Μƒ + (𝑔 (π‘₯) 𝑒 − 𝑔𝑒
Μƒ 𝑐)
π‘Ÿ (π‘˜ + 1) = π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑓 (π‘₯) − 𝑓)
𝑐
+ 𝑑 (π‘˜) + (𝑔𝑒 − 𝑔𝑒𝑐 )
Μƒ + (𝑔 (π‘₯) 𝑒 − 𝑔𝑒
Μƒ 𝑐)
= π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑓 (π‘₯) − 𝑓)
𝑐
(B.5)
+ 𝑑 (π‘˜) + 𝑔𝑒𝑑 ,
where 𝑒𝑑 = 𝑒−𝑒𝑐 . By the following definitions about the 𝑔(π‘₯),
Μƒ 𝑓(π‘₯), and 𝑔,
Μƒ (B.5) is rewritten as follows:
𝑓,
𝑓 (π‘₯) = 𝑒𝑓𝑇 + πœ€π‘“ (π‘₯) 󳨐⇒ 𝑓̃ = 𝑒̂𝑓𝑇 ,
𝑔 (π‘₯) = 𝑒𝑔𝑇 + πœ€π‘” (π‘₯) 󳨐⇒ 𝑔̃ = 𝑒̂𝑔𝑇 ,
𝑒̃𝑓 = 𝑒𝑓 − 𝑒̂𝑓 ,
𝑒̃𝑔 = 𝑒𝑔 − 𝑒̂𝑔 ,
π‘Ÿ (π‘˜ + 1) = π‘˜π‘£ π‘Ÿ (π‘˜) + (𝑒𝑓𝑇 − 𝑒̂𝑓𝑇) + (𝑒𝑔𝑇 𝑒𝑐 − 𝑒̂𝑔𝑇 𝑒𝑐 )
+ πœ€π‘“ + πœ€π‘” 𝑒 + 𝑑 (π‘˜) + 𝑔𝑒𝑑
= π‘˜π‘£ π‘Ÿ (π‘˜) + 𝑒̃𝑓𝑇 + 𝑒̃𝑔𝑇 𝑒𝑐 + πœ€π‘“ + πœ€π‘” 𝑒 + 𝑔𝑒𝑑
(B.6)
References
[1] M. Yan, C. Xue, and X. Xie, “A novel model free adaptive
controller with tracking differentiator,” in Proceedings of the
IEEE International Conference on Mechatronics and Automation
(ICMA ’09), pp. 4191–4196, Changchun, China, August 2009.
[2] A. Xu, Y. Zheng, Y. Song, and M. Liu, “An improved model
free adaptive control algorithm,” in Proceedings of the 5th International Conference on Natural Computation (ICNC ’09), pp.
70–74, Tianjian, China, August 2009.
[3] Q. Gao, D. Ren, C. Dong, and Z. Jia, “The Study of Model-Free
Adaptive Controller based on dSPACE,” in Proceedings of the
2nd International Symposium on Intelligent Information Technology Application, pp. 608–611, Shanghai, China, December 2008.
[4] H. Zhongsheng and J. Shangtai, “A novel data-driven control
approach for a class of discrete-time nonlinear systems,” IEEE
Transactions on Control Systems Technology, vol. 19, no. 6, pp.
1549–1558, 2011.
[5] S. Jagannathan, “Adaptive fuzzy logic control of feedback linearizable discrete-time nonlinear systems,” in Proceedings of the
IEEE International Symposium on Intelligent Control Dearborn,
September 1996.
[6] S. G. Cheng, “Model-free adaptive process control,” United
States Patent, 6055524. Washington: United States Patent and
Trademark Office of theUnited States Department of Commerce, 2000.
Abstract and Applied Analysis
[7] R. OrdónΜƒez, J. Zumberge, J. T. Spooner, and K. M. Passino, “Adaptive fuzzy control: experiments and comparative analyses,”
IEEE Transactions on Fuzzy Systems, vol. 5, no. 2, pp. 167–188,
1997.
[8] S. Jagannathan, “Adaptive fuzzy logic control of feedback
linearizable discrete-time dynamical systems under persistence
of excitation,” Automatica, vol. 34, no. 11, pp. 1295–1310, 1998.
[9] P. K. Sinha and A. N. Pechev, “Nonlinear H∞ controllers
for electromagnetic suspension systems,” IEEE Transactions on
Automatic Control, vol. 49, no. 4, pp. 563–568, 2004.
13
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download