Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2010 (2010), Article ID 984927, 12 pages
http://dx.doi.org/10.1155/2010/984927
Research Article

Feedback Controller Stabilizing Vibrations of a Flexible Cable Related to an Overhead Crane

Department of Mathematics, Faculty of Sciences Semlalia, Cadi Ayyad University, B.P. 2390-40000, Marrakesh, Morocco

Received 30 April 2010; Accepted 27 August 2010

Academic Editor: Horst  Ecker

Copyright © 2010 Abdelhadi Elharfi. 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.

Abstract

The problem of stabilizing vibrations of flexible cable related to an overhead crane is considered. The cable vibrations are described by a hyperbolic partial differential equation (HPDE) with an update boundary condition. We provide in this paper a systematic way to derive a boundary feedback law which restores in a closed form the cable vibrations to the desired zero equilibrium. Such a control law is explicitly constructed in terms of the solution of an appropriate kernel PDE. The pursued approach combines the “backstepping method” and “semigroup theory”.

1. Introduction

In this paper, we are concerned with the problem of boundary feedback stabilization of a second-order HPDE describing vibrations of a flexible cable related to an overhead crane. As illustrated in Figure 1, the rigid load with mass is related to cart of the overhead crane by a flexible cable.

984927.fig.001
Figure 1

The cable displacement , at time and height , is mathematically modeled by the following hyperbolic equation: coupled with the update boundary condition imposed at the level , The parameter denotes the tension force of the cable at the height , being the gravitational acceleration, the mass of the cart, and the mass of the rigid load. It is assumed that the line density of the cable is homogeneous and equal to . The vibrations in system (1.1) are not only being diffused and bifurcated but also a destabilizing displacement is generated. Here, , are two constants and is a control placed at the extremity . The boundary condition (1.2) corresponds to situations where the displacement is subject to a dispositive effect when the rigid load is arrived to the soil, that is, . Such effect arises in (1.2) as an external force which depends on the displacements. System (1.1)-(1.2) serves also as a linearized model of strings. Hereafter, we assume that the parameters , and the initial data , satisfy the regularity conditions where , are the usual Sobolev spaces on , see Section 2.

The control objective that we are interested in, is to construct a feedback controller which restores the displacements to the equilibrium (as ). From a practical point of view, Rao [1] treated the stabilization problem of suppressing vibrations of the distributed overhead crane model with one rigid load, when . The exponential stability of the closed loop is proved by exploiting an energy functional. In the study by Rahn et al. in [2], a study has been conducted to develop control algorithms for flexible cable crane models. An appropriate coupling amplification controller which asymptotically stabilizes all modes of a linear gantry crane model is constructed. Sano and Otanaka [3] generalized the stabilization problem of a flexible cable with two rigid loads. The model is described by two HPDEs, but the model contained a defect by neglecting the mass of the cart, that is, . The defect of [3] is surmounted by H. Sano in [4] by using the LaSallse's invariance principle. Kim and Hong [5] augmented the simple model with an axially moving system concept. The crane was modeled as an axially moving string system. The dynamics of the moving string is derived using Hamilton's principle for systems with changing mass. Simplified versions of the concerned model was the subject, with respect to the stability, of several works by deferent approaches, see, for example, [610].

In comparison with the existing works, the model treated in this paper generalizes HPDEs describing vibrations of overhead crane cable, (). Moreover, the concerned model contains a perturbing actuation due to the update boundary condition (1.2) which has a nonneglected effect on the behavior analysis of the cable displacements. The proposed method provides a systematic way to construct a boundary feedback law which restores the cable displacements , described by the HPDE (1.1)-(1.2), to the desired equilibrium , as . Further, the boundary feedback law is explicitly represented in terms of the solution of an adequate kernel PDE.

The paper is organized as follows: in Section 2, we derive an appropriate kernel PDE, and we convert system (1.1)-(1.2) into a well-known open-loop system. A control law for the new system is constructed, and the well-posedness of the resulting closed-loop system is shown in Section 3. In Section 4, we derive a feedback controller which asymptotically stabilizes the solution of the closed-loop system associated with (1.1)-(1.2).

2. Preliminaries

To simplify the reading, we denote . , , are the usual Sobolev spaces on the interval . will denote the inner product on the Hilbert space . If is the generator of a -semigroup on a Hilbert space , we denote by the space endowed with the graph norm

First, using the transformation with the compatible changes of parameters one can eliminate the bifurcation term () from (1.1). In fact, direct computations give Then, satisfies (1.1) if and only if satisfies (1.1) with the parameters , , , and , instead of , , , and . Moreover, provided that , the parameters . So, without loss of generality, we set in what follows .

The following lemma is due to [11, Lemma ]. It describes an integral transformation which will be used to convert (1.1)-(1.2) into a well-known one.

Lemma 2.1. Let , and define the bounded operator by Then, has a linear bounded inverse ,  

Next, assume that satisfies (1.1)-(1.2) and set for    By integrating by parts from to , we get for Moreover, Taking into account of (1.2), we obtain Then, ,   if and only if the kernel verifies the PDE We note that the third (boundary) equation of (2.9) is obtained by solving the first order differential equation with the initial condition . Due to [12], for a given -function , the kernel PDE (2.9) has a unique solution , see also [13] for . Further, the function can be approximated numerically via scheme of successive approximations.

Now, let be the solution of (2.9). In view of (2.8), the new state satisfies with ,   and where We note here that the expression of is obtained using (1.1) and the first equation of (2.9). We summarize these results in the following.

Lemma 2.2. Let be the solution of (2.9), and consider , , with representation (2.13). Then, the isomorphism converts (1.1)-(1.2) into (2.11)-(2.12).

3. Stabilization of the Transformed System

We proceed in this section to construct an appropriate control which stabilizes the new open-loop system (2.11), and we show the well-posedness of the resulting closed-loop system. To do so, it is logical to think about the energy of the system as Lyapunov function. So, let us introduce the following energy associated with  (2.11) where is a positive constant. The integral term corresponds to the inner energy of the cable. The coefficient is proportional to the kinetic energy of the cart. However, the term guarantees the position convergence, it can be replaced by in order to reach any desired position by the cart, see [7] and the reference therein for a more discussions on the functional energy associated with hybrid systems.

Differentiating (3.1) with respect to , we get by using  (2.11) To cause to decrease, a simple choice of the feedback law is Substituting (3.3) in (3.4), we obtain This means that under the boundary feedback law (3.3), the energy decreases with time .

Now, let us consider the Hilbert space endowed with the inner product and introduce the operator Setting now , for . Then, (2.11)-(3.3) can be represented on the state space by the abstract Cauchy problem where . In the following lemma, we will confirm the well-posedness of (2.11)-(3.3).

Lemma 3.1. generates a -semigroup of contraction on .

Proof. Obviously, is densely defined. Moreover, by integrating by parts, we get for . Therefore, is dissipative. By the Lumer-Philips theorem [14, page 85], the proof will be accomplished if one can show that is surjective. In fact, for a given , we have to solve the functional equation which means that Substituting (3.10) in (3.11), we obtain the PDE Following the method of [15, VIII.4], one can see that the system (3.12) has a unique solution . Of course, the vector is given by which is a -solution of the functional equation (3.9). This leads us to conclude that is surjective.

Since generates a -semigroup of contraction, then , and the resolvent is well-defined for all .

Lemma 3.2. is compact for all . In particular, is relatively compact.

Proof. In view of [14, page 117], it remains to show that the injection is compact. To do so, we introduce the auxiliary Hilbert space with the inner product for and . Obviously, . Moreover, from the Sobolev's embedding theorem, the embedding from in and the one of in are compact. It follows that the injection is compact. On the other hand, direct computations show that for some constant . Therefore, the injection is continuous. Consequently, is compact from into . Thus, has a compact resolvent, and by [14, Corollary V..15], we conclude that the semigroup is relatively compact.

Taking into account of [14, page 318], and the fact that is relatively compact, the following decomposition holds where We point out here that, due to , the initial data belongs to . Since generates a semigroup , then, by [14, page 145], the evolution equation (3.7) has a unique solution given by Which implies that the closed-loop system (2.11)-(3.3) has a unique solution satisfying Equation (3.18) explains that the solution of (2.11)-(3.3) is represented by the semigroup . For that reason, we will adopt in this work the concept of stability associated with semigroup theory as defined in [14]. One says that (2.11)-(3.3) is asymptotically stable, if is strongly stable, that is, for all ,   as . In the following theorem, we show how the controller (3.3) affects on either the stability and the energy of (2.11).

Theorem 3.3. is strongly stable. In particular, (2.11)-(3.3) is asymptotically stable.
  The energy decreases with time : as .

Proof. In view of (3.16), it suffices to show that . In fact, let satisfying for some . Equation (3.19) is equivalent to By using the method of [15, VIII.4] and taking into consideration of the regularity condition , one can see that is the unique solution of (3.21). From (3.20), we conclude that . Therefore, and .
On the other hand, in view of the third equation of (3.18), we have This proves the statement (ii).

4. Closed-Loop Stability of the Cable Displacements

We will derive in this section a controller which restores, in a closed form, the cable displacements of the concerned system (1.1)-(1.2) to the equilibrium . In fact, by substituting (2.12) in (3.3), we reach, by using (2.5), the following expression of the control where ,  .

The system (1.1)-(1.2), (4.1) is well posed, since it can be obtained from the well-posed system (2.11)-(3.3) via the isomorphism . Which means that the closed-loop system (1.1)-(1.2), (4.1) has a unique solution satisfying, in view of (3.18), the following regularity conditions: Consider now the operator for .

By direct computations one can prove that the function defined by is the unique classical solution of the evolution equation where . This means that the operator generates a -semigroup given by . Moreover, the fact that is bounded, then there exists a constant such that for . Thus, , and so . By Theorem 3.3, we deduce the strong stability of . Therefore, the closed-loop system (1.1)-(1.2), (4.1) is asymptotically stable. This proves the main result of this paper which can be reformulated in the following theorem.

Theorem 4.1. The semigroup is strongly stable. In particular, the closed-loop system (1.1)-(1.2), (4.1) is asymptotically stable.

Remark 4.2. One can express the controller (4.1) using the solution   of (2.11)-(3.3). In fact, let us denote by    the kernel of the inverse transformation where is the solution of (2.11)-(3.3). Substituting (4.7) in (1.1)-(1.2), we find the PDE governing the kernel The PDE (4.8) is in the same class of (2.9). Hence, the PDE (4.8) has a unique solution . Let now be the solution of (4.8). Substituting (4.7) in (4.1), one obtains an expression of the controller (4.1) in terms of and .

5. Conclusion

The proposed approach represents a blinding of the so-called “backsteeping method” and “semigroup theory” to construct a controller which asymptotically stabilizes the solution of the HPDE (1.1)-(1.2). Various properties of parabolic PDEs and hyperbolic PDEs can be treated by using similar techniques. The idea of the study is to convert a complicated (parabolic or hyperbolic) PDE into a well-known one by using the famous integral transformation (2.4) with a kernel required to satisfy an adequate PDE. We also note that the isomorphism (2.4) transforms such PDEs without effects on their topological properties. Therefore, one can deal with others topological properties of complicated systems such as: regularity, controllability, and observability, and so forth.

References

  1. B. Rao, “Exponential stabilization of a hybrid system by dissipative boundary damping,” in Proceedings of the 2nd European Control Conference, pp. 314–317, Groningen, The Netherlands, 1993.
  2. C. D. Rahn, F. Zhang, S. Joshi, and D. M. Dawson, “Asymptotically stabilizing angle feedback for a flexible cable gantry crane,” Journal of Dynamic Systems, Measurement and Control, vol. 121, no. 3, pp. 563–566, 1999. View at Google Scholar
  3. H. Sano and M. Otanaka, “Stabilization of a flexible cable with two rigid loads,” Japan Journal of Industrial and Applied Mathematics, vol. 23, no. 3, pp. 225–237, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  4. H. Sano, “Boundary stabilization of hyperbolic systems related to overhead cranes,” IMA Journal of Mathematical Control and Information, vol. 25, no. 3, pp. 353–366, 2008. View at Publisher · View at Google Scholar
  5. C.-S. Kim and K.-S. Hong, “Boundary control of container cranes from the perspective of controlling an axially moving string system,” International Journal of Control, Automation and Systems, vol. 7, no. 3, pp. 437–445, 2009. View at Publisher · View at Google Scholar
  6. K. Ammari, M. Jellouli, and M. Khenissi, “Stabilization of generic trees of strings,” Journal of Dynamical and Control Systems, vol. 11, no. 2, pp. 177–193, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  7. B. D'Andréa-Novel and J. M. Coron, “Exponential stabilization of an overhead crane with flexible cable via a back-stepping approach,” Automatica, vol. 36, no. 4, pp. 587–593, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  8. D. L. Russell, “Controllability and stabilizability theory for linear partial differential equations: recent progress and open questions,” SIAM Review, vol. 20, no. 4, pp. 639–739, 1978. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  9. J. A. Wickert and C. D. Mote Jr., “Classical vibration analysis of axially moving continua,” Journal of Applied Mechanics, vol. 57, no. 3, pp. 738–744, 1990. View at Google Scholar
  10. K.-J. Yang, K.-S. Hong, and F. Matsuno, “Robust boundary control of an axially moving string by using a PR transfer function,” IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 2053–2058, 2005. View at Publisher · View at Google Scholar
  11. W. Liu, “Boundary feedback stabilization of an unstable heat equation,” SIAM Journal on Control and Optimization, vol. 42, no. 3, pp. 1033–1043, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  12. A. Elharfi, “Explicit construction of a boundary feedback law to stabilize a class of parabolic equations,” Differential and Integral Equations, vol. 21, no. 3-4, pp. 351–362, 2008. View at Google Scholar
  13. A. Smyshlyaev and M. Krstic, “Closed-form boundary state feedbacks for a class of 1-D partial integro-differential equations,” IEEE Transactions on Automatic Control, vol. 49, no. 12, pp. 2185–2202, 2004. View at Publisher · View at Google Scholar
  14. K.-J. Engel and R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, vol. 194 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 2000.
  15. H. Brezis, Analyse Fonctionnelle, Collection Mathématiques Appliquées pour la Maîtrise, Masson, Paris, France, 1983.