Composite state variable based nonlinear backstepping design for the underactuated TORA system
Weiping Guo^{1} , Diantong Liu^{2}
^{1, 2}School of Computer and Control Engineering, Yantai University, Yantai City, People’s Republic of China
^{2}Corresponding author
Journal of Vibroengineering, Vol. 17, Issue 4, 2015, p. 1929-1936.
Received 1 November 2014; received in revised form 24 December 2014; accepted 13 January 2015; published 30 June 2015
JVE Conferences
A nonlinear vibration controller is proposed for the translational oscillators with rotating actuator (TORA) system with the recursive technology. A composite state variable (CSV) is defined for the TORA system to start the recursive process. The design procedure treats the some state variables as virtual control inputs to design the virtual controllers step by step until the nonlinear vibration controller is obtained. The system stability is studied via a stability theorem and simulation results show the validity of the proposed controller.
Keywords: composite state variable, TORA, backstepping design, vibration control.
1. Introduction
The TORA is composed of a non-actuated translational oscillators and an actuated pendulum so that it has been seen as a classical underactuated mechanical system. It was firstly developed as a simplified model for a dual spin spacecraft [1]. The TORA system has been a research focus with two reasons. One research motivation is the possible use to suppress the translational vibration with a rotational actuation and another is an independent interest to control the TORA as a benchmark problem to design or validate a nonlinear control system or an underactuated control system.
The control problems on TORA have a considerable amount of attention from the all world researchers. There are two focuses on the methods to design a controller, i.e. intelligent design methods and nonlinear design methods. Among the intelligent design methods, some fuzzy based control methods are proposed. The self-tuning fuzzy sliding mode control methods are designed [2, 3] but there are some fuzzy rules and parameters to be preset. A decoupled method is designed to divide the system into two subsystems [4] and two fuzzy controllers corresponding to the subsystems are designed to stabilize the TORA system. However, the fuzzy controllers must be predesigned, and stability cannot be guaranteed. Moreover, some neural network based controllers are proposed. An adaptive neural network controller with SPSA Algorithm is designed [5]. In the literature [6], a method was proposed that is based on system approximation using $n$ neural network. However, a time-consuming learning process is needed and the disturbance rejection cannot be considered. Among the nonlinear design methods, the energy-based design [7-9], the recursive design [10, 11] and sliding mode based design [12], the design processes and the obtained controllers are relatively cumbersome. A comparison study of nonlinear control techniques for the TORA is performed [7]. The energy-based hybrid, entropy-based hybrid, and sliding mode control techniques are experimentally validated and compared on the example of the RTAC testbed. The experimental results indicate that the energy- and entropy-based hybrid controllers use less control effort than the sliding mode controller while stabilizing the zero equilibrium state in less time.
The backstepping design provides a systematic framework and recursive design methodology for nonlinear control [13]. The design procedure treats the state variables as virtual control inputs to design the virtual controllers step by step, and illustrates the stability via the Lyapunov stability theorem. However, a nonlinear feedback cascade model is needed in the traditional backstepping design process and the obtained controllers are relatively cumbersome. In this paper, we propose a backsteppping process that is not based on a nonlinear feedback cascade model but begins from a predefined CSV, and a simple control is expected.
This paper is organized as follows. The TORA system is transformed into a nonlinear system through a collocated partial feedback linearization. Then a nonlinear recursive design method is adopted and a CSV is defined to start the recursive process. The design procedure treats the some state variables as virtual control inputs to design the virtual controllers step by step, and the stability is studied via a stability theorem.
2. The TORA system model
The TORA is shown schematically in Fig. 1. The oscillator consists of a cart of mass ${m}_{1}$ connected to a fixed wall by a linear spring of stiffness $k$. The cart is constrained to have one-dimensional travel and its position is ${q}_{1}$. The rotational actuator with the output torque is attached to the cart and it has a pendulum with the equivalent mass ${m}_{2}$, the rotate radius $r$, the moment of inertia $I$ and the rotate angle ${q}_{2}$. Since the rotating torque can not drive the cart directly, it is a benchmark example of the underactuated mechanical system, which has one control input $\tau $ and two configuration variables (${q}_{1}\text{,}$${q}_{2}$), and its Euler-Lagrange equations of motion can be obtained as:
Fig. 1. TORA system configuration
Through the following collocated partial feedback linearization [14]:
$-\frac{k{m}_{2}r{q}_{1}\mathrm{cos}\left({q}_{2}\right)}{{m}_{1}+{m}_{2}}+{m}_{2}gr\mathrm{s}\mathrm{i}\mathrm{n}\left({q}_{2}\right).$
The dynamics can be reduced to:
3. The nonlinear controller design through backstepping
The controller is designed with the recursive technology and the design process is:
Step 1.
A composite state variable for the nonlinear underactuated TORA system is defined as:
where, ${k}_{1}$, ${k}_{2}$ and ${k}_{3}$ are some positive constants for the system stability to be proved. The derivative of the CSV can be obtained:
According to Eq. (1), Eq. (5) yields:
The ${k}_{2}{\dot{q}}_{2}$ is looked as the virtual input to control the above equation and define a reference trajectory ${\dot{q}}_{2r}$ for ${\dot{q}}_{2}$ to follow as:
where ${b}_{1}$ is a design constant, it leads to an error ${e}_{1}$ defined as:
i.e.:
Its derivative is:
According to Eq. (2), Eq. (8) yields:
Consider a scalar positive definite Lyapunov function given by:
Using Eq. (7) and (9), the time derivative $\dot{V}$ is given by:
$\mathrm{}\mathrm{}\mathrm{}\mathrm{}=-{b}_{1}{{x}_{1}}^{2}+\left({k}_{1}\frac{{m}_{2}r\mathrm{s}\mathrm{i}\mathrm{n}{q}_{2}{\dot{q}}_{2}^{2}-k{q}_{1}-{m}_{2}r\mathrm{c}\mathrm{o}\mathrm{s}{q}_{2}u}{{m}_{1}+{m}_{2}}+{k}_{2}u-{k}_{3}k{\dot{q}}_{1}-{b}_{1}{\dot{x}}_{1}+{\dot{e}}_{1}\right){e}_{1}.$
Step 2.
In step 1, the time derivative of the Lyapunov function $V$ is obtained in Eq. (11). We note that the variable $u$ enters the right hand side of Eq. (11).
In order to make the $\dot{V}$ be negative definite, we can make the following equation hold:
Such that:
Therefore, the control law can be obtained from Eq. (12) as:
Since the system parameters ${m}_{1}$, ${m}_{2}$ and $r$ are known and $\mathrm{c}\mathrm{o}\mathrm{s}{q}_{2}\in \text{[-1,}\text{}\text{1]}$, the choices of ${k}_{1}$ and ${k}_{2}$ can make Eq. (14) away from the singularity.
Theorem 1. The TORA system described by Eq. (1) is asymptotically stable to its equilibrium point $({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2})=(\mathrm{0,0},\mathrm{0,0})$under the control input Eq. (2) with Eq. (14) and positive constants ${k}_{1}$, ${k}_{2}$, ${k}_{3}$, ${b}_{1}$, ${b}_{2}$.
Proof:
The backstepping design process has proved: the time derivative $\dot{V}$ of the chosen positive definite Lyapunov function $V$ is negative definite.
Integrating both sides of Eq. (13) yields:
Then:
We find that:
Therefore it can be obtained that ${x}_{1}\in {L}_{\mathrm{\infty}}$ and ${e}_{1}\in {L}_{\mathrm{\infty}}\text{,}$ i.e. $\mathrm{s}\mathrm{u}\mathrm{p}\left|{x}_{1}\right|={\Vert {x}_{1}\Vert}_{\mathrm{\infty}}<\mathrm{\infty}\text{,}$$\mathrm{s}\mathrm{u}\mathrm{p}\left|{e}_{1}\right|={\Vert {e}_{1}\Vert}_{\mathrm{\infty}}<\mathrm{\infty}$.
At the same time, from Eq. (13):
It is obvious that ${\dot{x}}_{1}\in {L}_{\mathrm{\infty}}$ and ${\dot{e}}_{1}\in {L}_{\mathrm{\infty}}$, i.e. $\mathrm{s}\mathrm{u}\mathrm{p}\left|{\dot{x}}_{1}\right|={\Vert {\dot{x}}_{1}\Vert}_{\mathrm{\infty}}<\mathrm{\infty}$, $\mathrm{s}\mathrm{u}\mathrm{p}\left|{\dot{e}}_{1}\right|={\Vert {\dot{e}}_{1}\Vert}_{\mathrm{\infty}}<\mathrm{\infty}$.
Now let:
Thus:
From our research result (Theorem 1 in [15]), it can be known that ${s}_{1}\in {L}_{2}$, ${s}_{2}\in {L}_{2}$ and ${s}_{1}\in {L}_{\mathrm{\infty}}$, ${\dot{s}}_{1}\in {L}_{\mathrm{\infty}}$, ${s}_{2}\in {L}_{\mathrm{\infty}}$, ${\dot{s}}_{2}\in {L}_{\mathrm{\infty}}$. According to Barbalat’s lemma, $\underset{t\to \mathrm{\infty}}{\mathrm{l}\mathrm{i}\mathrm{m}}{s}_{1}=0$, $\underset{t\to \mathrm{\infty}}{\mathrm{l}\mathrm{i}\mathrm{m}}{s}_{2}=0$, i.e. when $t\to \mathrm{\infty}$:
For Eq. (15), a positive definite Lyapunov function ${V}_{1}={{q}_{1}}^{2}/2$ is selected and ${\dot{V}}_{1}={q}_{1}{\dot{q}}_{1}=-{k}_{3}({m}_{1}+{m}_{2}){{\dot{q}}_{1}}^{2}/{k}_{1}$ is negative definite. For Eq. (16), a positive definite Lyapunov function ${V}_{2}={{q}_{2}}^{2}/2$ is selected and ${\dot{V}}_{2}={q}_{2}{\dot{q}}_{2}=-{k}_{3}{m}_{2}r\mathrm{c}\mathrm{o}\mathrm{s}{q}_{2}{\dot{q}}_{2}^{2}/{k}_{2}$is negative definite when ${q}_{2}\in (-\pi /2,\pi /2)$. Therefore, the TORA system is asymptotically stable to the equilibrium point $({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2})=\text{(0,}\text{}\text{0,}\text{}\text{0,}\text{}\text{0)}$.
Remark 1. As we know, a nonlinear feedback cascade model is needed in the traditional backstepping design process. The proposed design do not need a nonlinear feedback cascade model and it begins from a predefined CSV and treats some state variables as virtual control inputs to design the nonlinear controllers step by step. Therefore, it may be a choice to realize a backstepping design for those systems that can not be transformed into a nonlinear feedback cascade model.
Remark 2. The TORA is a system that can be transformed into a nonlinear feedback cascade model and the backstepping design can be realized [16]. However, the design process and the obtained controller are more cumbersome because the design process is composed of a second-order system design and a first-order system design.
Remark 3. From the process to prove the Theorem 1, it can be seen that the Eq. (15) is convergent only when ${k}_{1}$ and ${k}_{3}$ have same sign and the Eq. (16) is convergent only when ${k}_{2}$ and ${k}_{3}$ have same sign, i.e. only when ${k}_{1}$, ${k}_{2}$ and ${k}_{3}$ have same sign, the system is stable. Therefore, some positive constants are chosen for ${k}_{1}$, ${k}_{2}$ and ${k}_{3}$ in Eq. (4).
4. Simulation studies
In order to test the proposed nonlinear control algorithm, the following system parameters [13] are used: ${m}_{1}=\text{10}$, ${m}_{2}=\text{1}$, $k=\text{5}$, $r=\text{1}$, $I=\text{1}$. The parameters of the nonlinear controller are chosen as ${k}_{1}=\text{1}$, ${k}_{2}=\text{3}$, ${k}_{3}=\text{3}$, ${b}_{1}=\text{5}$, ${b}_{2}=\text{5}$. The simulation results are shown in Fig. 2 and Fig. 3.
The simulation results in Fig. 2 are obtained under the initial state $\left({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2}\right)=\text{(0.1,}\text{}\text{0,}\text{}\text{0,}\text{}\text{0)}$ and the simulation results in Fig. 3 are obtained under the initial state $\left({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2}\right)=\text{(0,}\text{}\text{0,}\text{}\text{18}\text{0}\text{\xb0,}\text{}\text{0)}$. It can be seen form the simulation results and many other simulations that the TORA system is asymptotically stable under any initial states with the proposed control algorithm. At the same time, it is shown that it is possible to suppress the translational vibration with a rotational actuation. On the other hand, the control performance can be improved through adjusting the parameters of the proposed controller. Lots of simulation experiments show that the parameters ${k}_{1}$, ${k}_{2}$ respectively correspond to the system states ${q}_{1}$, ${q}_{2}$, therefore it is easy to adjust the parameters for a improved system performance. Moreover, compared with the traditional backstepping design [16], it can be seen that the control performance of the proposed method is improved from the simulation results in [16] with the same system parameters or more difficult-to-control initial state. If only the simulation or experimental results are compared with the other control algorithms [2-12], a shorter stabilization time, a better states response and a lower number of oscillations are realized. Therefore, the proposed controller is simpler and more efficient.
Fig. 2. Simulation results under system initial state $\left({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2}\right)=\text{(0.1,}\text{}\text{0,}\text{}\text{0,}\text{}\text{0)}$
a) Position and velocity of the cart
b) Angle and angle velocity of the pendulum
c) Control torque
d) Responses of CSV ${x}_{1}$ and error ${e}_{1}$
Fig. 3. Simulation results under system initial state $\left({q}_{1},{\dot{q}}_{1},{q}_{2},{\dot{q}}_{2}\right)=\text{(0,}\text{}\text{0,}\text{}\text{18}\text{0}\text{\xb0,}\text{}\text{0)}$
a) Position and velocity of the cart
b) Angle and angle velocity of the pendulum
c) Control torque
d) Responses of CSV ${x}_{1}$ and error ${e}_{1}$
5. Conclusions
Using a collocated partial feedback linearization, the underactuated TORA is transformed to a nonlinear system that is used in the recursive process. A CSV is defined and a nonlinear control algorithm is proposed with the recursive technology. The design procedure treats the state variables as virtual control inputs to design the virtual controllers step by step, and the system stability is studied via a stability theorem.
Acknowledgements
This work is supported by the National Natural Science Foundation of China (61175086) and a Project of Shandong Province Higher Educational Science and Technology Program (No. J13LN25).
References
- Robert T. B., Bernstein D. S., Coppola V. T. A benchmark problem for nonlinear control design. International Journal of Robust and Nonlinear Control, Vol. 8, Issue 4-5, 1998, p. 307-310. [Search CrossRef]
- Hung L. C., Lin H. P., Chung H. Y. Design of self-tuning fuzzy sliding mode control for TORA system. Expert Systems with Applications, Vol. 32, Issue 1, 2007, p. 201-212. [Search CrossRef]
- Li C. D., Yi J. Q., Zhao D. B. Control of the TORA system using SIRMs based type-2 fuzzy logic. Proceedings of IEEE International Conference on Fuzzy System, Jeju Island, 2009, p. 694-699. [Search CrossRef]
- Lee C. H., Pan H. Y., Chang H. H., Wang B. H. Decoupled adaptive type-2 fuzzy controller (DAT2FC) design for nonlinear TORA systems. IEEE International Conference on Fuzzy Systems, Vancouver, Canada, 2006, p. 506-512. [Search CrossRef]
- Lee C. H., Yu T. M., Chien J. C. Adaptive neural network controller design for a class of nonlinear systems using SPSA algorithm. International MultiConference of Engineers and Computer Scientists, Hong Kong, 2011, p. 868-873. [Search CrossRef]
- Lee C. H., Chang S. K. Experimental implementation of nonlinear TORA system and adaptive backstepping controller design. Neural Computing and Applications, Vol. 21, Issue 4, 2012, p. 785-800. [Search CrossRef]
- Avis J. M., Nersesov S. G., Nathanb R., et al. A comparison study of nonlinear control techniques for the RTAC system. Nonlinear Analysis: Real World Applications, Vol. 11, Issue 4, 2010, p. 2647-2658. [Search CrossRef]
- Jankovic M., Fontaine D., Kokotovic P. V. TORA example: cascade and passivity based control designs. IEEE Transactoins on Control System Technology, Vol. 4, Issue 3, 1996, p. 292-297. [Search CrossRef]
- Gao B. T., Zhang X. H., Chen H. J., et al. Energy-based control design of an underactuated 2-dimensional TORA system. Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, St. Louis, 2009, p. 1296-1301. [Search CrossRef]
- Bupp R., Bernstein D. S., Coppola V. T. Experimental implementation of integrator backstepping and passive nonlinear controllers on the RTAC testbed. International Journal of Robust and Nonlinear Control, Vol. 8, Issue 4-5, 1998, p. 435-457. [Search CrossRef]
- Wang Y. Q., Li S., Chen Q. W. A recursive design method of controller for the stabilization of the translational oscillator with a rotational actuator system. Proceedings of the IEEE International Conference on Computer Science and Automation Engineering, Shanghai, 2011, p. 558-561. [Search CrossRef]
- Chen Y. F., Huang A. C. Controller design for a class of underactuated mechanical systems. IET Control Theory Application, Vol. 6, Issue 1, 2012, p. 103-110. [Search CrossRef]
- Khalil H. K. Nonlinear Systems, 3rd Edition. Prentice Hall, NJ, 2000. [Search CrossRef]
- Spong M. W. Underactuated Mechanical Systems. Control Problems in Robotics and Automation. Springer Verlag, London, UK, 1997. [Search CrossRef]
- Wang W., Yi J., Zhao D., Liu D. Design of a stable sliding-mode controller for a class of second-order underactuated systems. IEEE Proceedings on Control Theory and Applications, Vol. 151, Issue 6, 2004, p. 683-690. [Search CrossRef]
- Liu D. T., Guo W. P. Nonlinear backstepping design for the underactuated TORA system. Journal of Vibroengineering, Vol. 16, Issue 2, 2014, p. 552-559. [Search CrossRef]