Abstract

This paper shows the controller design for a second-order plant with unknown varying behavior in the parameters and in the disturbance. The state adaptive backstepping technique is used as control framework, but important modifications are introduced. The controller design achieves mainly the following two benefits: upper or lower bounds of the time-varying parameters of the model are not required, and the formulation of the control and update laws and stability analysis are simpler than closely related works that use the Nussbaum gain method. The controller has been developed and tested for a DC motor speed control and it has been implemented in a Rapid Control Prototyping system based on Digital Signal Processing for dSPACE platform. The motor speed converges to a predefined desired output signal.

1. Introduction

An important challenge for controller design plants is the unknown time-varying behavior of its parameters (cf [13]). The state adaptive backstepping (SAB) of [4] is an important framework to design this kind of controllers (see [59]). In the adaptive controllers that are based on the SAB and do not use the Nussbaum gain method, the transient behavior of the tracking error is upper bounded by an unknown positive constant, as can be noticed from [5, 1013]. Such constant bound is the function of (i) constant upper bounds of varying bounded plant model parameters, (ii) constant plant model parameters, (iii) user-defined parameters of the update laws, and (iv) the initial values of the plant model states. In addition, it does not involve integral terms that depend on Nussbaum functions. Therefore, the constant upper bound of the tracking error can be made small by choosing large values of the update law gains. This would ensure that the tracking error takes on small values. To handle the effect of unknown varying behavior of plant model parameters, the robustness and Nussbaum gain techniques are usually combined with SAB control schemes.

The robust-SAB control schemes involve a control law with a compensation term and a modification of the update law, for example, the projection type modification (see [14, 15]), or the modification (see [1619]). The main drawback of this technique is the following: (D1) upper or lower bounds of the plant coefficients are required to be known to achieve the asymptotic convergence of the tracking error to a residual set of user-defined size.

On the other hand, neural networks allow to represent part of the nonlinear behavior of real systems and can take into account the time-varying behavior. In the case of completely unknown systems, they represent the whole plant model terms. Usually, the use of neural networks leads to approximation error, which is nonlinear and possibly time varying. The effect of this term has been tackled by means of robust adaptive control schemes based on the Lyapunov or the Lyapunov-like function; see [15, 19]. Those adaptive controllers exhibit some drawbacks, as shown in the following. In [19], a nonlinear system in control affine strict-feedback form is considered, and a neural network SAB control scheme is designed. The unknown state-dependent terms are represented by RBF neural networks, with unknown coefficients and known basis functions. The following assumptions are made: (i) the mentioned coefficients are unknown and upper bounded by known positive constants, and (ii) the identification error is upper bounded by an unknown constant. The update laws allow to tackle the effect of the unknown coefficients of the RBF representation. In that paper, the stability analysis indicates that the Lyapunov function converges to a residual set whose size depends on both the upper bound of the identification error and the upper bound of the coefficients of the RBF representation. Therefore, the tracking error converges to a residual set whose size depends on those bounds. Hence, those upper bounds must be known to obtain the convergence of the tracking error to a residual set of user-defined size. In [15] a nonlinear system in control affine state space form is considered, and a neural network based on output adaptive backstepping (OAB) is considered. The unknown nonlinear state-dependent terms are represented by neural networks with unknown coefficients and known basis functions. The following assumptions are made: (i) the coefficients of representation are unknown and constant, and (ii) the identification error term is upper bounded by a constant. The projection type update laws allow to tackle the effect of the unknown coefficients of representation. In that paper, the stability analysis indicates that the Lyapunov function converges to a residual set whose size depends on the upper bound of the identification error term. Therefore, the tracking error converges to a residual set whose size also depends on the identification error. Hence, the main drawback of the mentioned adaptive control schemes is the following: (D2) the upper bound of the identification error term must be known to achieve the convergence of the tracking error to a residual set of user-defined size.

As can be noticed from [2024], Nussbaum-SAB control schemes are usually based on the schemes in [2527] which are in turn based on the Universal Stabilizer that was originally presented in [28] and discussed in [29, pages 335–338]. As can be concluded from [20, 21], a proper design of the Nussbaum-SAB control scheme overcomes the main drawback of the mentioned and projection based robust-SAB control schemes, as upper or lower bounds of the plant model parameters are not required to be known, and the convergence of the tracking error to a residual set of user-defined size is guaranteed. Other recent Nussbaum-SAB control schemes indicate that the Nussbaum gain technique exhibits the following drawback: (D3) the upper bound of the transient behavior of the Lyapunov function depends on integral terms that involve Nussbaum functions and have the time as the upper limit of the integral operation (see [24, page 477], [20, page 1791], [6, page 856], and [30, page 4639]). Therefore, the upper bound of the transient behavior of the tracking error depends on such integral terms, so that the tracking error may take on overly large values. This is in agreement with the violent behavior mentioned in [29, page 337]. In addition, some of the control schemes that use this technique have the following drawbacks: (i) some upper or lower bounds of the plant coefficients are required to be known in order to guarantee the asymptotic convergence of the tracking error to a residual set of user-defined size as in [25, 30], and (ii) the control or update laws involve signum type signals as in [24, 31].

SAB control schemes have been developed and applied to motors, and some of them include the incorporation of the Nussbaum and robustness techniques. In [5] an adaptive controller is designed for a linear motor drive. The mathematical model used to describe the motor is in controllable form, and the friction coefficients are assumed constant and unknown. Nevertheless, the upper bound of the disturbance term and the upper and lower bounds of the friction coefficients are required to be known. In [6] an adaptive controller based on the Nussbaum gain technique and the modification of the update law is designed for a class of SISO systems and applied to a DC motor turning a robotic load. Each differential equation of the SISO system involves an additive and unknown disturbance-like term, which is upper bounded by a known nonnegative function with unknown coefficients. Nevertheless, the upper and lower bounds of the plant model parameters must be known to guarantee the convergence of the tracking error to a residual set of user-defined size, and the upper bound of the transient behavior of the tracking error depends on integral terms that involve the Nussbaum functions. The last drawback is common in Nussbaum adaptive control schemes. In [7], an adaptive controller is designed for the position control of an motion control stage using a linear ultrasonic motor. The friction force includes the static friction, Coulomb friction, and viscous friction. The idea is to control the -axis, -axis, and -axis, separately. A lumped uncertainty term results from the unknown parameter variations and external force disturbances. The lumped uncertainty is represented by means of an adaptive fuzzy neural network. The identification error is defined as the difference between the real value of the lumped parameter and the representation based on the Sugeno adaptive fuzzy neural network. Such identification error is handled by means of an updated parameter provided by an additional update law and an input compensator. The Lyapunov function includes a quadratic form depending on the difference between the identification error and its updated value. Nevertheless, the time derivative of the Lyapunov function neglects the time derivative of the identification error; see page 681. It amounts to assume that the identification error is constant or zero in the Lyapunov function. In [8], a linear induction motor is considered and the goal is to control the mover position. The friction force and the unknown time varying model parameters are lumped into an unknown term whose upper bound is constant and unknown. The lumped unknown term is represented by a radial basis function network (RBFN), estimated in real time. The reconstructed error is defined as the difference between the lumped term and the representation based on RBFN. The effect of the reconstructed error is tackled by means of an updated parameter provided by an additional updating law. The Lyapunov function involves a quadratic form for the difference between the reconstructed error and its updated parameter. The drawback is that the time derivative of the reconstructed error is neglected in the time derivative of the Lyapunov function, which is not realistic and could degrade the robustness of the controller. In summary, the main drawbacks of the above control schemes are the following:(D4) upper and lower bounds of plant model parameters and lumped plant model terms are required to be known; (D5) the upper bound of the transient behavior of the tracking error depends on integral terms that involve Nussbaum functions; (D6) the time derivative of identification error is neglected in the time derivative of the Lyapunov function.

In the present work, an adaptive controller is developed for a permanent magnet DC motor. The state adaptive backstepping (SAB) of [4] is used as the basic framework for the controller design. In order to handle the unknown varying model parameters, significant modifications are introduced in the approach, on the basis of the modifications appearing in [32]. The main modifications are as follows: (i) use a truncated version of the quadratic form that depends on the backstepping states, and (ii) develop a convergence analysis based on the truncated version of the quadratic form. Using the scheme proposed in this paper, the following benefits are obtained: (RC1) the resulting upper bound of the transient behavior of the tracking error is constant and does not depend on integral terms involving Nussbaum functions, so that the transient behavior of the tracking error can be rendered small by properly choosing the controller parameters; (RC2) none of the exact values of the plant model parameters are required to be known;(RC3) none of the upper bounds of the plant model parameters are required to be known;(RC4) the tracking error converges to a residual set whose size is user defined, despite the lack of knowledge on both the exact values and the upper bounds of the plant model parameters;(RC5) discontinuous signals are avoided in the control and update laws; (RC6) the time derivative of the Lyapunov function does not neglect the time derivative of any varying parameter.

The controller was applied to a permanent magnet DC motor whose voltage input is supplied by a buck power converter. With the aim to obtain a good agreement between simulations and experimental set-up, the numerical simulation includes realistic characteristics such as internal resistances, discretization, and time delay. The controller was implemented in a digital platform. The control design procedure and the stability analysis indicate that the drawbacks (D1), (D2), (D3), (D4), (D5), and (D6) are overcome, as the benefits (RC1) to (RC6) of the control scheme in [32] are achieved in the present work. In addition, the bounded nature of all the closed loop signals is guaranteed.

This paper is organized as follows. In Section 2 the plant model used to design the controller and the goal of the control are presented. In Section 3 the design of the controller is developed. In Section 4 the bounded nature of the closed loop signals and the convergence of the tracking error are proven. In Section 5 numerical and experimental results are presented, and finally, Section 6 is devoted to conclusions.

2. Plant Model and Control Goal

The linear model corresponding to a DC permanent magnet motor is given by The state variables are the armature current and the motor speed . The control input is (i.e., the capacitor voltage supplied by the buck converter) and the output of the system is . ; [V/rad/s] is the voltage constant, [mH] is the armature inductance, [] is the armature resistance, [N·m/rad/s] is the viscous friction coefficient, [kg·m2] is the inertia moment, [N·m/A] is the motor torque constant, [N·m] is the friction torque, and [N·m] is the load torque.

Remark 1. The only objective of the buck converter is to supply the voltage value obtained from the controller law. For this reason it is not taken into account in the controller design.

The following assumptions for the model (1) are made: (Ai) the parameters and vary with time but they are upper and lower bounded by unknown constants, (Aii) the parameters , , , , are unknown and constant, and (Aiii) and are measured. The plant model (1) can be rewritten as where , , , , , and are positive constants. Assumption (Ai) implies that parameters , , and are unknown and time varying, but they are upper and lower bounded by unknown constants: where , , , and are unknown positive constants, and means the minimum value taken for . Similarly means the maximum value taken for . Assumption (Aii) indicates that the parameters , , and are unknown constants, and assumption (Aiii) implies that and must be measured. Now, consider where is the tracking error; is the desired output is the reference value which is user defined; , , and are user-defined positive constants; and is a residual set. The objective of the control design is to formulate a control law for the plant model (1) subject to assumptions (Ai) to (Aiii), and such that (Cgi) the tracking error asymptotically converges to the residual set , (Cgii) the controller does not involve discontinuous signals, (Cgiii) the control law provides bounded values, and (Cgiv) the closed loops signals are bounded.

3. Control Design

In this section a controller for the plant defined by (1) and subject to assumptions (Ai) to (Aiii) is developed taking into account the control goals (Cgi) to (Cgiv) defined previously. The procedure is based on the state adaptive backstepping of [4], but important modifications are introduced in order to handle the unknown time-varying plant model parameters. The controller is developed such that the tracking error converges to a residual set whose size is user defined. Indeed, the control and update laws are formulated such that the time derivative of the Lyapunov-like function is upper bounded by a function with the following characteristics: (TDi) the function is nonpositive, (TDii) the function is zero if the quadratic form that depends on and is lower than a prespecified constant size, and (TDiii) the function is negative if such quadratic form is larger than a prespecified constant. If the time derivative of the Lyapunov-like function is upper bounded by a function with such properties, then the asymptotic convergence of the tracking error to a residual set of user-defined size is guaranteed.

Discontinuous signals are avoided in the controller design because such signals may imply (see [33, 34]) loss of trajectory unicity, sliding motion of trajectories along the discontinuity surface that may lead to chattering (see [34, pages 282-283]), and input chattering, which is an undesired component of large commutation rate in the control input (see [34, page 292]). Large commutation rate may lead to high power consumption and wear of mechanical components (cf. [35, 36]). Adaptive control based on the direct Lyapunov method involving discontinuous signals needs a rigorous analysis which includes ensuring that trajectory unicity is preserved and developing the Filippov's construction for the case in which sliding motion occurs, in order to avoid chattering. Therefore, it is advisable to avoid discontinuous signals in the controller design.

With the aim to compute the controller the following steps are developed: (i) define the first state as the difference between the output and the desired output and differentiate it with respect to time, (ii) define a quadratic function that depends on and differentiate it with respect to time; (iii) introduce upper bounds for the time-varying model coefficients, and parameterize them in terms of parameter and regression vectors; (iv) express the parameter vector in terms of updating error and updated parameters, and define the state ; (v) differentiate with respect to time, define a quadratic function that depends on , and differentiate it with respect to time; (vi) introduce upper bounds for the time-varying model coefficients, and parameterize them in terms of parameter and regression vectors; (vii) express the parameter vector in terms of updating error and updated parameter, and formulate the control law; and (viii) formulate the Lyapunov-like function and differentiate it with respect to time, and formulate the update laws.

Step 1. The state variable is defined as Differentiating (9) with respect to time and using (2) the following is obtained:

Step 2. A quadratic form given by is defined. Differentiating (11) with respect to time, using (10), and adding and subtracting yields The term has been added to obtain asymptotic convergence of the tracking error later. The unknown time-varying behavior of , , and is a significant obstacle for the controller design; for this reason the bounds defined in (5), (6), and (7) will be introduced in Step 3 using the Young's inequality and parameterizations.

Step 3. Because and are time varying and unknown, they should be expressed in terms of their upper bounds, and these bounds should be expressed in terms of updated parameters and updating errors. Properties defined in (5) and (7) yield Substituting (13) into (12) and arranging terms the following is obtained: Equation (14) implies that the possible definition of would include the discontinuous term sgn. To remedy that the Young's inequality can be applied to (13) such that the term leads to . Applying the Young's inequality (cf. [37, page 123]) and arranging yield The lower bound and the constant have been introduced in order to complete the proof of stability and boundedness of the closed loop signals later. For compactness, the terms involving the unknown constants and can be arranged in an unknown constant vector . Substituting (15) into (12) and parameterizing, the following is obtained: where where is an unknown constant parameter vector and is the known regressor vector.

Step 4. Since is unknown, it should be expressed in terms of updated parameter vector and updating error. The parameter vector can be rewritten as where and is the updated parameter vector provided by the updating law which will be defined later, and is the updating error. Substituting (19) into (16) and using (6) yield The updated parameter vector is nonnegative as will be shown later. Using this fact and (6) it follows that notice that is common to the terms involving and . Thus, is as a common factor of those terms and the new state is defined by Replacing (23) into (22) yields

Remark 2. The definition of the state is significantly different with respect to that of the basic adaptive backstepping scheme of [4]. Indeed, involves the vector , and such vector is multiplied by .

Remark 3. Important modifications have been developed until now, that is, the introduction of the upper bounds of and (see (13)), the application of the Young's inequality (see (15)), and the parameterization including the constant (see (16)) are some of them.

Step 5. Differentiating (23) with respect to time, the following is obtained: where . can be rewritten as where Introducing (2) and (3) into (26) yields The following quadratic form that depends on and is chosen: Differentiating with respect to time and introducing (24) and (28) the following is obtained: The term is added and subtracted in order to obtain asymptotic convergence of the tracking error: The control input is defined as follows: where is a user-defined constant. In particular, an adequate choice of could prevent saturations of the control input; for this reason the value of should be taken from its normal operation range. is established by means of the controller design. Substituting (33) into (32) yields

Step 6. Since , , and are unknown and time varying they should be expressed in terms of their upper bounds. In view of (5), (6), and (7) the term involving the squared brackets can be rewritten as Substituting (35) into (34) yields This expression indicates that the possible control rule for would involve the discontinuous signal sgn. This can be remedied by using the Young's inequality, so that the term appearing in the right side of (35) leads to . For compactness (35) can be rewritten as where is the regression vector whose entries are known, and is the parameter vector, whose entries are positive, constant, and unknown. The constant has been introduced in order to handle the unknown constant parameter appearing in the term .

Step 7. Because the parameter vector is unknown, it should be expressed in terms of updated parameter vector and updating error. The parameter can be rewritten as where where is the updated parameter vector provided by the update law which will be defined later, and is the updating error. Substituting (39) into (37) yields Arranging the term and applying the Young's inequality (cf. [37, page 123]) yield The constant is added to prove the stability. Substituting (42) into (41) yield Substituting (43) into (34) and arranging yield The following expression can be used for : In view of (33), the control law for is Substituting (46) into (44) the following is obtained: To handle the effect of the constant , the following quadratic-like function is defined: The term is defined in (29). Function defined by (48) and (49) has the following properties: Differentiating (48) with respect to time the following is obtained: where From (52) it follows that is nonnegative, so that it can be introduced in both sides of (47) without changing the sense of the inequality: Combining (51) and (53) yields

Step 8. The following Lyapunov-like function is defined: where and are defined in (20) and (40), respectively. To compute , the time derivative of is computed as Now, differentiating (55) with respect to time and using (54) and (57) yield To tackle the effect of the terms involving the updating errors and the following update laws are formulated: where and are diagonal matrices whose elements are user-defined positive constants. From (17) and (52) it follows that and such that . Substituting (59) into (58) yields Although the control law (46) and the update laws (59) have been formulated, the values of the constants and have not been defined. The constants and are positive constants defined by the user and they must satisfy A simple choice that satisfies the above requirement is From (52) the following is obtained: From (63), (61), and (60) it follows that Finally, the combination of the above expressions yields The developed controller involves the control law (46) and the update laws (59). The signals and parameters necessary to implement it are , , , , , , , , and which are given by (9), (23), (17), (38), (27), (52), (29), and (48), respectively. In addition, , , the diagonal elements of and , , , and are user-defined positive constants. In particular, and must satisfy (61), where is a user-defined positive constant.

Remark 4. Expression (65) indicates that fulfills conditions (TDi), (TDii), and (TDiii) mentioned at the beginning of Section 3.

Remark 5. The developed controller has the following benefits. (i) it does not use upper or lower bounds of coefficients of model (2) and (3). Indeed, the controller does not use any of the constants , , , , , and . This implies less modeling effort. (ii) It does not involve discontinuous signals. This implies that the vector field of the closed loop system is locally Lipschitz continuous, so that trajectory unicity is preserved and sliding motion is absent according to [33]. The locally Lipschitz nature of is important to avoid discontinuous signals in the update law.

Remark 6. The main elements to handle the unknown varying nature of coefficients , , and are as follows: (i) introduce the constant in the parametrization in (16), (17), and (18); (ii) introduce the relationship between and provided by (6) in (24); (iii) express , , and in terms of their upper bounds in (35); (iv) introduce the constant in the unknown parameter vector (see (37) and (38)); (v) apply the Young's inequality to the term (see (42)); and (vi) formulate the function which is a truncated version of the quadratic form (see (48)). The vanishing of allows preserving the decreasing nature of the Lyapunov-like function, as can be noticed from (65). The continuous nature of the derivative of with respect to allows to avoid discontinuous signals in the update law.

Remark 7. The effect of a low value of is analyzed at the following. From (59), (52), (49), and (61) it follows that a low value of implies the following facts: (i) the term is nonzero for longer time lapses, and consequently the update law (59) is active for longer time lapses; the updated parameter increases during longer time lapses, which leads to reach larger values; (ii) the constant is smaller, and consequently the values of , , , and increase; and (iii) the chosen values of and have to be lower in order to accomplish condition (61). Therefore, the term becomes larger and from (46) it follows that takes on larger values, which is interpreted as a bigger control effort.

The developed controller achieves some of the benefits mentioned in introduction. Sections 4.1 and 4.2 complete the proof of the other proposed benefits.

4. Boundedness Analysis

In this section it is proven that the closed loop signals are bounded if the developed controller is used; also the convergence of the tracking error to a residual set is proven.

4.1. Boundedness of the Closed Loop Signals

Theorem 8 (boundedness of the closed loop signals). Consider the plant model given by (1) which is subject to assumptions (Ai) to (Aiii). The signals and are defined in (9) and (23); , , , and are defined in (17), (27), and (38), respectively; the signals , , and are defined in (29), (48), and (52), respectively; the constant is defined by (49) and the constants and satisfy (61). If the controller defined in (46) and (59) is applied, then the signals , , , , and remain bounded.

Proof. From (65) it follows that where From (66) and (55) it follows that Using (56) the following is obtained: and  ; consequently and . The upper bound for the tracking error is defined as follows. Solving (48) for yields Using (71) yields Both expressions of (73) can be combined to obtain Introducing (29) yields where is defined in (67). Therefore and . Because , then which is an upper bound for the transient behavior of the tracking error .
In the following it is proven that is bounded. From (9), (23), , , , and it follows that and . Therefore from (17), (27), and (38) it follows that , , , and . Finally from (46) it follows that .

Remark 9. Notice that the upper bound of (76) does not involve integral terms, which is an important advantage with respect to controllers that involve the Nussbaum gain method (see [20, 21]).

4.2. Convergence Analysis

Now it is proven that the developed controller induces asymptotic convergence of the tracking error to the residual set , where , with defined by the user.

Theorem 10 (convergence of the tracking error). Consider the plant model given by (1) which is subject to assumptions (Ai) to (Aiii); the signals , , , , , , , , and are defined by (9), (23), (17), (27), (38), (29), (48), and (52), respectively; the constant is defined in (49) and the constants , satisfy (61). If the controller given by (46) and (59) is applied, then the tracking error asymptotically converges to a residual set , where .

Proof. In view of (52), inequality (65) can be rewritten as It can be noticed that the term is not continuous, because it involves an abrupt change at ; for this reason the Barbalat's lemma cannot be applied on . To remedy that, (77) can be expressed in terms of a function with continuous derivative as follows: where Arranging and integrating (79) the following is obtained: Therefore . In order to apply the Barbalat's lemma it is necessary to prove that and . Since it follows from (80) that . Differentiating (80) with respect to time yields Notice that is continuous with respect to . Since then . Because , , , , and it follows from (10) and (25) that and . Thus, from (30) it follows that . Because and then it follows from (82) that . Because and the Barbalat's lemma (cf. [38, page 76]) indicates that asymptotically converges to zero. From (80) it follows that converges to , where . Furthermore, from (29) it follows that asymptotically converges to , where . Since and , then asymptotically converges to , where .

Remark 11. The tracking error converges to a residual set whose size is user defined and not altered by the varying parameters.

5. Numerical and Experimental Results

In this section numerical and experimental results are shown. Figure 1 shows the block diagram of the system under study. This system is divided into two major groups: the first one is composed by all hardware parts, including physical and electronic components; the second one is related to software and is implemented in a dSPACE platform, where the acquisition signals and the control technique are performed.

The hardware is composed of a permanent magnet DC motor (PMDC) with rated power 250 Watts, rated Volts 42 VDC, rated current 6 Amps, and 4000 RPM of maximum speed. For the acquisition of motor speed , a 1000 pulses per turn encoder was used. A series resistance was used to measure the armature current (). The digital part and the backstepping control technique are implemented in the control and development card dSPACE DS1104. This card is programmed from Matlab/Simulink platform and it has a graphical display interface called ControlDesk. The controller is implemented in Simulink and is downloaded to the DSP. The sampling rate for all variables ( and ) is set to 4 kHz. The state variable is 12-bit resolution; the controlled variable is sensed by an encoder which has 28-bit resolution and the duty cycle () is 10-bit resolution. At each sampling time (s) the controller uses the measured and to calculate the duty cycle , as follows: (i) the control input is determined according to the control and update laws based on the proposed procedure (see Section 4), (ii) the duty cycle is computed from , and (iii) the duty cycle is transformed into a PWMC pulse signal. To obtain simulation results the parameters of DC motor (, , , , , , and ) and backstepping controller (, , , , , , and ) are entered to the control block by the user, as constant parameters. The load torque is time varying and unknown.

Figure 2 shows a sketch of the Simulink benchmark. The controller uses the measurements of and to compute , the duty cycle applied to buck converter is given by . The zero-order hold, quantizer, and delay are included in order to model the signal acquisition and the analog to digital signal conversion. The motor and buck converter parameters used in simulation were experimentally measured and are presented in Table 1. Recall that the values of the motor parameters (, , , , , , , and ) and the converter parameters (, , , , , and ) are not used by the control or update laws, neither in simulation nor experimentation.

Figure 3 shows the desired output and the measured and simulated output when  rad/s. In Figures 4(a) and 4(b), the numerical and experimental tracking errors are shown. It can be seen that in simulation the error converges to a residual set  rad/s (whose size is given by ) and in experiment there is a bit error, probably due to quantization effects, delays, or unmodeled dynamics. Nevertheless, experimental and numerical results agree.

Figure 5 shows the numerical and experimental controller performance when changes from  rad/s to  rad/s at . As in previous example,  rad/s in steady state for simulation case and in experimental case the results are very close to this bound.

Figure 6 shows the results when the load torque changes from  N·m to  N·m at  s. Notice that the controller achieves successfully tracking error, and the steady state bound is very close to the given value . An estimator for the torque was added only with the aim to show simulation and real values of load torque, but this estimator does not work in the controller.

It can be noticed from Remark 7 that low values of lead to high control effort. For this reason, a small error region (low value of ) causes saturation and faster response of the actuator. In case that the actuator cannot respond quickly, the condition of error region is not satisfied and the control design is not completely successful. In this way, the definition of is a compromise between requirements of the output and actuator performance.

6. Conclusions

In all simulations, output error converges to a residual set defined by the user when the designed controller in this paper is applied to the plant. Small differences between experiment and theoretic results (Figures 4 and 5) are mainly due to hardware considerations and aspects related to the implementation which was not taken into account in the controller design. Some of them are delay in the control action, quantization effects which do not guarantee continuous control signal, noise and delays in the measured variables, and inaccuracy in the sensors. Nevertheless, starting from a complete unknown model, experiments and simulations show a high agreement, and experimental results validate the control technique, even in the cases when the set point is changed 50% of its initial value, and in the case when the load is changed 37% of its initial value. The designer must take into account the differences between experiments and simulations, prior to defining the error region.

The controller design based on the state adaptive backstepping involves a state transformation that provides two new states. The main elements to handle the unknown varying behavior of moment of inertia and load torque are introducing the upper bound of the model coefficients and introducing the lower bound of model coefficient in the parameterization.

With the aim to apply Lyapunov theory to demonstrate the stability of the controlled system a truncated quadratic function was formulated (Lyapunov-like function), in such a way that its magnitude and time derivative vanish when the new states reach a target region, which implied adequate properties of its time derivative.

The controller design and proof of boundedness and convergence properties are simpler in comparison to current works that use the Nussbaum gain technique.

Acknowledgments

This work was partially supported by Universidad Nacional de Colombia—Manizales, Project 12475, Vicerrectoría de Investigación, DIMA, Resolution no. VR-2185.