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. OrdoΜ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