A Systematic Approach for Designing Analytical Dynamics and Servo Control of Constrained Mechanical Systems

2015-08-09 04:54XiaoliLiuShengchaoZhenKangHuangHanZhaoYeHwaChenandKeShao
IEEE/CAA Journal of Automatica Sinica 2015年4期

Xiaoli Liu,Shengchao Zhen,Kang Huang,Han Zhao,Ye-Hwa Chen,and Ke Shao

A Systematic Approach for Designing Analytical Dynamics and Servo Control of Constrained Mechanical Systems

Xiaoli Liu,Shengchao Zhen,Kang Huang,Han Zhao,Ye-Hwa Chen,and Ke Shao

—A systematic approach for designing analytical dynamics and servo control of constrained mechanical systems is proposed.Fundamental equation of constrained mechanical systems is first obtained according to Udwadia-Kalaba approach which is applicable to holonomic and nonholonomic constrained systems no matter whether they satisfy the D’Alember’s principle. The performance specifications are modeled as servo constraints. Constraint-following servo control is used to realize the servo constraints.For this inverse dynamics control problem,the determination of control inputs is based on the Moore-Penrose generalized inverse to complete the specified motion.Secondorder constraints are used in the dynamics and servo control. Constraint violation suppression methods can be adopted to eliminate constraint drift in the numerical simulation.Furthermore, this proposed approach is applicable to not only fully actuated but also underactuated and redundantly actuated mechanical systems.Two-mass spring system and coordinated robot system are presented as examples for illustration.

Xiaoli Liu,Kang Huang,Han Zhao,and Ke Shao are with Hefei University of Technology,Hefei 230009,China(e-mail:691365712@qq.com; hfhuang98@163.com;hanzhaoff@qq.com;15956903267@163.com).

Shengchao Zhen is with Hefei University of Technology,Hefei 230009, China,and also with Georgia Institute of Technology,GA 30332,USA(email:zhenshengchao@gmail.com).

Ye-Hwa Chen is with Georgia Institute of Technology,GA 30332,USA (e-mail:yehwa.chen@me.gated.edu).

Udwadia and Kalaba[7-8]obtained a concise explicit set of equations of motion for constrained discrete dynamical systems which lead to a simple and new fundamental view of Lagrangian mechanics.They derived the fundamental equation of motion that describes the dynamics of constrained systems derived from Gauss’s principle which seems somewhat less popular than the principles of Lagrange,Hamilton,Gibbs, and Appell.The equations can deal with holonomic and also non-holonomic constraints.Udwadia and Kalaba[9-10]observed that all the above researches have used D’Alember’s principle as their starting point which indicates that the forces of constraints are considered to be ideal and the total work done by the forces of constraints under virtual displacement is always zero.This assumption works well in many situations and is regarded as the core of classical analytical dynamics, but it is not applicable when the constraints are nonideal. Thus,Udwadia and Kalaba generalized their previous equations to constrained mechanical systems that may not satisfy D’Alember’s principle.

In this paper,we use fundamental equation of constrained system proposed by Udwadia and Kalaba to get the dynamic equations of motion of the constrained mechanical system. According to this approach,the unconstrained system is first considered whose equations of motion can be obtained byngian mechanics in terms of the generalized coordinates.Then constraint equations are written in the form of second order equation.The dynamic equations can be obtained by imposing the additional generalized forces of constraint obtained from the second order constraint equations upon the unconstrained system.Based on the obtained dynamic model,constraintfollowing servo control is used to realize the performance requirement modeled as servo constraints(also called active constraints,program constraints or prescribed constraints). That is to use a set of servo controls to generate the appropriate constraint force for the system to obey the constraints.

We know that Newton-Euler mechanics divides forces into internal and external force and the motion is structureless. While analytical mechanics divides forces into impressed(or given)and constraints.The motion is under constraints and hence has a structure.As illustrated above,over the past century and a half,key developments in Lagrangian mechanics include the Maggi equation[11-12],the Boltzmann and Hamel equation[12-14],the Gibbs and Appell equation[3-5,14],and the Udwadia and Kalaba equation[8].However,the emphasis of all these developments mainly falls into the passive constraint(also called material constraint)problem in which the constraint is followed in a passive manner.That is,as the constraint is determined,the environment(such as the structure of the machine)can generate the required constraint force automatically.Taking a particle constrained to move on a table surface as an example,the table surface can automatically generate the constraint force to support the particle.One is not necessary to consider how to generate the constraint force. So,the generation of constraint force is often considered to be a design task:design the machine structure to generate the constraint force automatically.

We consider the issue of generation of constraint forces as a control task(that is servo constraint problem),rather than a design task.The servo constraint problem has rarely been studied in analytical mechanics,perhaps because the concept of servos is relatively new in analytical mechanics.The past efforts on this problem focused on individual examples(e.g., [15-16])rather than systematic framework.In the article of Chen[17],a systematic approach for the servo constraint problem is proposed.A system is equipped with a set of servo controls to provide the required constraint force.Then,the system obeys a set of required constraints.Through the use of servo controls,the constraint force is generated,not through the passive environment.

The main contributions of this paper are fivefold.First, Udwadia-Kalaba approach is described in detail.The procedure of obtaining fundamental equation of constrained motion is shown.Second,based on the dynamic model obtained by Udwadia-Kalaba approach,constraint-following servo control is proposed to realize the performance requirement modeled as servo constraints.Third,the inverse dynamics control problem based on Moore-Penrose generalized inverse,second-order constraints and constraint violation suppression utilized in the proposed approach are explained.Fourth,the approach is novel and systematic.It is applicable to not only fully actuated but also underactuated and redundantly actuated mechanical systems.Fifth,two-mass spring system and coordinated robot system are presented as examples to specifically illustrate the approach incorporating Udwadia-Kalaba approach and constraint-following servo control.

A.Fundamental Equation of Constrained Systems

According to Udwadia-Kalaba approach,first we should consider an unconstrained discrete dynamical system whose configuration is described by the n generalized coordinates q:=[q1,q2,...,qn]T.Its equation of motion can be obtained, using Newtonian or Lagrangian mechanics,by the relation

Second,constraints present in the system should be considered.We shall assume that the system is subjected to h holonomic constraints of the form

and m-h nonholonomic constraints of the form

We can get the differentiation of the usual constraint equations in Lagrangian mechanics which are usually in Pfaffian form,that is to say,under the assumption of sufficient smoothness,take time derivative once on non-holonomic constraints and twice on holonomic constraints,then it will provide the constraint equations in the matrix form:

The final step is to form the explicit equations of motion with constraints.Due to the presence of constraints,additional“generalized forces of constraints”should be imposed on the system.So,the actual explicit equation of motion of the constrained system could be assumed to take the form:

while the work done by nonideal constraint force is:

Udwadia and Kalaba have proved that the ideal constraint force takes the form

and non-ideal constraint force can be written in the form

From(6),(7),(11)and(12),the explicit equation of motion that governs the evolution of the constrained system(including both ideal and nonideal constraints)is

where the vector c is determined by the mechanician and could be obtained by experimentation and/or observation.

When c is always zero,(13)reduces to the D’Alember’s principle,which means the total work done under virtual displacement is zero,the constraints are ideal,the constraint force is

and the explicit equation of motion of the constrained system (only including ideal constraints)is

which will be applied in the coordinated robot problem for there is no nonideal constraints in the system.

Remark 1.Udwadia and Kalaba have provided explicit general equations of motion for constrained discrete dynamical systems with their new initiated approach which is applicable to all holonomic and nonholonomic constrained systems no matter whether they satisfy the D’Alember’s principle.They generalize Lagrangian mechanics to include both ideal and nonideal constraint forces by using a new fundamental principle governing the motion of constrained systems.The equation of motion obtained by using Udwadia and Kalaba’s approach is general,simple and understandable.

Remark 2.The advantage of determining the explicit equations of motion for this constrained coordinated robot system through Udwadia-Kalaba equation is obvious.Compared to the Lagrange multiplier method,there is no need for this new approach to determine the multiplier which is often very difficult to obtain for systems having a large number of degrees of freedom and many non-integrable constraints.Also, if using the formulations offered by Gibbs,Volterra,Appell and Boltzmann,we will require a proper quasi-coordinates,but we do not have this problem using the new initiated approach.

II.CONSTRAINT-FOLLOWING SERVO CONTROL APPROACH

According to Chen’s constraint-following servo control approach,the system is now equipped with a set of servo controls which generate the active external forces to manipulate the behavior of the system.Suppose that the system is to follow a set of constraints which are determined by system performance requirements.The constraints are realized by servo controls instead of the passive environment.So,the equation of motion (6)of the system is now described as

The constraint force is provided by the active servo controls. Based on the available controls,the structure of the constraint force is predetermined as

where B is determined by the structure of the available servo controls and u is the actual servo control.

Consider the following constraints which the system is to follow:

where m≥1 and Al(·)are both Clin q and t.These constraints imply restrictions on the velocities as well as the displacement,and are the first order form of the constraints.

Now the constraints are converted into second order form. Differentiating constraint equation(6)with respect to t yields

Equation(19),the second order form of the constraints,can be rewritten as

or,in matrix form,

In fact,the second order form constraint equation(23) is a very general form.It includes typical constraints as illustrated in[22-23].It also includes a number of standard control problems such as stabilization,trajectory following and optimality[20-21].

We see that,in general,there is no relationship between B and A.B is determined by the available servo controls and A is based on the performance requirement.Actually,in the passive constraint problem,one can still use(16)and(23)by introducing B=A.The constraint force is generated by the environment not the servo control.Thus,passive constraint problem is reduced to a special case.

Assumption 1.For each q,M(q)>0.

The assumption of the inertia matrix’s positive definiteness is vital for this constraint-following servo approach.In the past,this assumption was often believed to be a fact.However, this belief has been shown to be untrue in Chen et al.[24].

Definition 1.For given A and b,the constraint equation(23) is said to be consistent if there exists at least one solution¨q.

The consistency is a necessary but not a sufficient condition to the servo constraint problem.That is,if the constraint equation(23)is not consistent,then there is no solution u to the servo constraint problem.

Assumption 2.Considering constraint equation(23),for each q,t,rank A(q,t)≥1.Also,the constraint is consistent. (This assumption ensures the existence of the Moore-Penrose inverse of A.)

Let

System equation(16)can be represented as

where B=[Bil]n×p,u=[u1,...,up].The servo constraint problem is then to design u such that system equation(25) obeys the constraint

Lemma 1.Subject to Assumption 2,(23)is consistent if and only if

Lemma 2.Subject to Assumption 1,“for given A and b, (23)is consistent”is equivalent to“for given C and b,(26)is consistent”.

Lemma 3.Subject to Assumptions 1 and 2,the solution of (26)can be given by(see proof in[17])

where c∈Rnis an arbitrary vector that may depend on q,˙q and t.

where r∈Rnis an arbitrary vector that may depend on q,˙q and t.

Because r is arbitrary,we have

Reference[8]considered a passive constraint problem and the constraint force is given by

Now we focus on the design of u.

Definition 2.The system equation(25)is said to be servo constraint controllable if there is a control u such that the system under this control observes the constraint equation(26).

This equation can be seen as a constraint on u.

Theorem 1.Subject to Assumptions 1-3,the system equation(25)is servo constraint controllable if and only if

Furthermore,the servo control u is given by(see proof in[17])

We summarize the constraint-following servo control procedure as follows.

1)Based on Udwadia-Kalaba approach,impose the additional generalized constraint forces Qcobtained from the second order constraint equations upon the unconstrained system to obtain Udwadia-Kalaba equation.

3)Determine the desirable system performance in the task space and formulate it in the form of(23).

5)Construct the feedback control u using(35).

III.DISCUSSIONS ON THE PROPOSED SYSTEMATIC APPROACH

The proposed approach is novel and systematic because it uses constraint-following servo control based on the dynamic model obtained through Udwadia-Kalaba approach.In this section,we give more discussions.

A.Inverse Dynamics Based on Moore-Penrose Generalized Inverse

The concept of generalized inverse was first introduced by Moore[18].He defined a unique inverse for all rectangular and square matrices and systematically investigated properties of this inverse.Bjerhammar[26]then noted the least squares property which was not mentioned by Penrose[19]sharpened and extended Bjerhammer’s work.Due to Moore and Penrose’s important and fruitful discovery,this unique inverse is commonly called Moore-Penrose generalized inverse(MP inverse).

More recently,MP inverse,which plays a role in leastsquares problem,has found renewed applicability in the field of analytical dynamics[7].Based on MP inverse,Udwadia-Kalaba equation[9]is derived.MP inverse also finds its advantage in the inverse dynamics control problem.The inverse dynamics control problem is to determine the control inputs that force the system to realize the specified motion.MP inverse overcomes the limitation of dimensionality and rank that are related to matrix’s inversion.The proposed novel approach incorporates Udwadia-Kalaba approach and constraintfollowing servo control(one method of inverse dynamics control)that are both based on MP inverse.Thus,the proposed approach is expected to solve underactuated and redundantly actuated(also called overactuated)problems.This will be detailed in the following section.

B.Second-order Constraints and Constraint Drift Suppression

The constraint used in Lagrangian’s equation of motion, Maggi equation,Boltzmann and Hamel equation as well as Gibbs and Appell equation is either in the zeroth-or first-order form.While,the constraint(holonomic or nonholonomic)of Udwadia-Kalaba equation is first converted into a secondorder form,which is a critical step.Due to the mathematical conformity between the system dynamics and constraint,it is much more flexible to manipulate the equations.Secondorder constraints are believed to be the most suitable form, not only for further dynamic analysis but also control design. In the constraint-following servo control design,the constraint is also in the form of second order.

Historically,the second-order constraint has been rarely mentioned perhaps because of the lack of physical correspondence.Pars[5]utilized this aspect to explore a number of interesting applications.By adopting the third form of fundamental equation(constraints of large acceleration changes),one can analyze discontinuous acceleration problems(e.g.,a ball rolling off the table).This third form was also used to prove the Gauss’s principle.With second-order constraint,Udwadia-Kalaba equation and constraint-following servo control were able to be developed.The advantage of using the second-order constraint lies in the fact that it is linear in the acceleration.

One may think that the differentiation of the constraint has resulted in the loss of information(e.g.,a constant).However, the initial condition of the state satisfies the zeroth-order or holonomic constraint which means the missing information is, in fact,retained in the initial condition.

The solution of differential equations of second-order constraints satisfies an analytical relation which is a corollary of the differential equations but which is unknown to the automatic computer.When differential equations are integrated by numerical and automatic integration,the computed numerical values of the solution satisfy the analytic relations with poor accuracy.This is called constraint drift.Direct numerical integration of the second-order constraint generally leads to error accumulation due to constraint drift.

C.Underactuated and Redundantly Actuated Problems

Underactuated problem is actually partly specified motion problem,in which the number of control inputs,equal to the number of desired system outputs,is smaller than the number of degrees of freedom.The related inverse dynamics control problem,i.e.,the determination of control inputs that force the system to complete the partly specified motion,is a challenging task.Examples of underactuated systems are mobile robots,legged robots,space robots,flexible robots and so on.The difficulty of the control problem for underactuated systems is due to the reduced dimension of the input space (some joints are not equipped with actuators).When the number of actuators is greater than the mobility(this situation usually happens in a closed-chain system),the system is called redundantly actuated system.Redundant actuation prevails in general biomechanical systems(e.g.,human body).It can alsobe found in many robotic applications including multiple arms, multi-fingered arms,walking machines and so on.Redundant actuation provides flexible manipulation,high reliability,high driving force and so on,while the principle drawback is the complexity of singularity analysis.However,this proposed approach is expected to solve underactuated and redundantly actuated problems mainly because of MP inverse(overcoming the limitation of dimensionality)and second-order constraints (mathematical conformity).

IV.TWO-MASS SPRING SYSTEM

A simple representative of underactuated problems is the two-mass spring system shown in Fig.1,in which the actuating force F is applied to mass m1,and the motion specification is a desired relation between position x1of mass m1and position x2of mass m2.This is a two-degree-of-freedom system,n=2,and the number of control inputs/outputs is m=1.First,note that,

where k is spring stiffness and l is the length between the center of mass m1and the center of mass m2when the spring is under no force.We then have

Fig.1.Two-mass spring system.

The system can be put into the form of(16)by letting

Furthermore,we can convert it into the form of(25)with

The servo constraint to be realized is

or,after taking the derivation twice with respect to t,

V.COORDINATED ROBOT SYSTEM

In this system,two coordinated robots(each robot has s links)handle the common load.Because the common load or object is rigidly held by the two end effectors(i.e.,fixed together,no sliding or rotation),the two end effectors and the common object are considered as one link.The whole system is considered as a closed chain.According to Udwadia and Kalaba’s approach,first we should obtain the equations of motion of the unconstrained dynamical system(serial manipulators of n=2s-1 links).Then,get the constraint(the end link hinged to the ground)and rewrite the constraint equations in the form of second-order.In the end,impose the additional generalized constraint forces obtained from the second-order constraint equations upon the unconstrained system to get Udwadia-Kalaba equation which is in analytical form.

As we know,the closed-form dynamic equations of any serial manipulators n links can be obtained through the systematical Lagrangian formulation.The dynamics is strongly nonlinear and can be written in the general form

where q(n-vector generalized coordinates)denotes the joint angles,M(q)is the n×n manipulator inertia matrix,C(q,˙q)˙q is a n-vector of centripetal and Coriolis torques(with C(q,˙q) a n×n matrix),G(q)is the n vector of gravitational torques and τ is the impressed(or given)force.

According to the systematical derivation of [28](pp.104-110),we get

where cijis the ij-th element of matrix C.

According to the systematical derivation of [28](pp.104-110),we also get

The closed-form dynamic equations of the n-link serial manipulators is obtained.This is considered as the equation of motion of the unconstrained dynamical system.Then,we consider the second order constraint equation and constraint force.The end link hinged to the ground is considered as the constraint.So we can get the holonomic constraints.Taking time derivation twice on the holonomic constraints,we can get the second-order constraint equations which can be written in the matrix form

According to(14),we can get the constraint force Qc.

Then,we impose the additional generalized constraint force Qcobtained from the second-order constraint equations upon the unconstrained system to get Udwadia-Kalaba equation which is in analytical form.We can rewrite(48)as

Remark 3.In(56),M,Q,Qchave already been obtained. It provides explicit general equations of motion for the closed chain of two coordinated robots.We have shown the equation of motion obtained by using Udwadia and Kalaba’s approach is simple and understandable.

We take two coordinated planar robot manipulators(each robot has s=3 links)to detail the approach.In this problem, s=3,n=2s-1=5 and q=[θ1θ2θ3θ4θ5]T.Fig.2 clearly shows the structure of the whole robot system.The two coordinated robots have 6 joints and every joint has one actuator.However,we can obtain the system dynamic equation (16)using 5 generalized coordinates(θ1,θ2,θ3,θ4,θ5)and the degree of freedom of the coordinated robot system is 3.That is to say,servo control of the coordinated robot is actually a redundantly actuated problem.We will show that the proposed approach applies to this redundantly actuated problem.

Fig.2.Model of two coordinated planar robot manipulators handling the common load.

First,we do not consider the constraint of the end link hinged to the ground.For this unconstrained dynamical system (the five-link manipulator),we know

Considering the constraint of the end link hinged to the ground,we get

where L is the horizontal distance of the two robots.Taking time derivation twice on the holonomic constraints,we get

The above second-order constraint equations can be written in the matrix form

According to(14),we can get the constraint force Qc.We know Q=τ-C˙q-G.So,Udwadia-Kalaba equation(56)is obtained.

The two coordinated planar robots system is considered as a closed kinematic chain and the dynamic equation has already been obtained.Now we focus on the servo control of the system.We first describe the performance requirement of the object in the task space.For simulation,we choose

This performance requirement is considered as constraints. We also know that

Differentiating the above equation once and twice,we get

These second order constraints can be represented in the form of matrix as(recalling(64))

We should determine the servo structure by choosing B in (17).Based on the available servo controls(see Fig.2),we get

VI.NUMERICAL SIMULATION

Control of this two coordinated planar robots system is a redundantly actuated control.According to(35),we know the solution of control u is not unique.For simulation,we take

which means s=0.This is the minimum norm choice from all possible choices of u.

For simulation,we choose m1=m2=m3=m4= m5=1,I1=I2=I3=I4=I5=1,l1=l2=l3= l4=l5=l=1,g=9.8.The initial configuration of the system is presented in Fig.3.The initial position,velocity and acceleration are shown in Table I.The second-order constraint equation does not result in the loss of of information.Because the initial condition satisfies the zeroth-order(holonomic)andfirst-order constraint.The missing information is retained in the initial condition.

Fig.3.The initial configuration of the system.

TABLE I INITIAL CONDITION OF THE COORDINATED ROBOT SYSTEM

Fig.4.θ1-t.

Fig.5.θ2-t.

Fig.6.θ3-t.

Fig.7.θ4-t.

Fig.8.θ5-t.

Fig.9.u1-t.

Fig.10.u2-t.

Fig.11.u3-t.

Fig.12.u4-t.

Fig.13.u5-t.

Fig.14.u6-t.

VII.CONCLUSION

We propose a novel and systematic approach for dynamic modeling and servo control of constrained mechanical systems.In this approach,Udwadia-Kalaba equation is applied to obtain the additional generalized constraint force and then get the system’s dynamic equation.Second-order constraint equations are used,which do not result in the loss of information because of the initial condition satisfying the zeroth-order(holonomic)and first-order constraint.For the control part,we propose to adopt the constraint-following servo control design approach which can solve fully actuated,underactuated and redundantly actuated systems.According to this control design approach,we first represent the desirable performance as a set of second order equations.Then we consider the performance requirement as the constraint and use a set of servo controls to generate appropriate constraint forces for the system to obey the constraints.Detailed discussions of the proposed approach are presented.Two-mass spring system and coordinated robots system are presented as examples for illustration.

REFERENCES

[1]Lagrange J L.Mechanique Analytique.Paris:Mme ve Courcier,1787.

[2]Gauss C F.Uber ein neues allgemeines grundgsetz der mechanik.Journal fur die Reine und Angewandte Mathematik,1829,4:232-235

[3]Gibbs J W.On the fundamental formulae of dynamics.American Journal of Mathematics,1879,2(1):49-64

[4]Appell P.Sur une forme generale des equations de la dynamique. Comptes Rendus de l’Academie des Sciences,1899,129:459-460

[5]Pars L A.A Treatise on Analytical Dynamics.Connecticut:Ox Bow Press,1979.

[6]Dirac P A M.Lectures on Quantum Mechanics.New York:Yeshiva University Press,1964.

[7]Udwadia F E,Kalaba R E.A new perspective on constrained motion.Proceedings of the Royal Society,1992,439(1906),DOI: 10.1098/rspa.1992.0158

[8]Udwadia F E,Kalaba R E.Analytical Dynamics:A New Approach. Cambridge,UK:Cambridge University Press,1996.

[9]Udwadia F E,Kalaba R E.Explicit equations of motion for mechanical systems with nonideal constraints.Journal of Applied Mechanics,2001, 68(3):462-467

[10]Udwadia F E.On constrained motion.Applied Mathematics and Computation,2005,164(2):313-320

[11]Maggi G A.Di alcune nuove forme delle equazioni della dinamica, applicabili ai sistemi anolonomi.Atti della Reale Accademia dei Lincei, Rendiconti,Classe di Scienze Fisiche,Matematiche e Naturali,1901,10: 287-291(in Italian)

[12]Neimark J I,Fufaev N A.Dynamics of Nonholonomic Systems.Phode Island,Providence:American Mathematical Society,1972.

[13]Hamel G.Die lagrange-eulersche gleichungen der mechanik.Zeitschrift fr Mathematik und Physik,1904,50:1-57(in German)

[14]Hamel G.Theoretische Mechanik.Berlin:Springer-Verlag,1949.(in German)

[15]Cabannes H.General Mechanics(Second edition).Massachusetts, Waltham:Blaisdell/Ginn,1968.(translated from the original French)

[16]Kirgetov V I.The motion of controlled mechanical systems with prescribed constraints(servoconstraints).Journal of Applied Mathematics andMechanics,1967,31(3):465-477(translated from original Russian) [17]Chen Y H.Constraint-following servo control design for mechanical systems.Journal of Vibration and Control,2009,15(3):369-389

[18]Moore E H.On the reciprocal of the general algebraic matrix.Bulletin of the American Mathematical Society,1920,26:294-395

[19]Penrose R.A generalized inverse for matrices.Proceedings of the Cambridge Philosophical Society,1955,51:404-413

[20]Chen Y H.Second-order constraints for equations of motion of constrained systems.IEEE/ASME Transaction on Mechatronics,1998,3(3): 240-248

[21]Chen Y H.Equations of motion of constrained mechanical systems: given force depends on constraint force.Mechatronics,1999,9(4): 411-428

[22]Rosenberg R M.Analytical Dynamics of Discrete Systems.New York: Plenum Press,1977.

[23]Papastavridis J G.Analytical Mechanics.New York:Oxford University Press,2002.

[24]Chen Y H,Leitmann G,Chen J S.Robust control for rigid serial manipulators:a general setting.In:Proceedings of the 1998 American Control Conference.Philadelphia,PA,USA:IEEE,1998.912-916

[25]Udwadia F E,Kalaba R E.On motion.Journal of the Franklin Institute, 1993,330(3):571-577

[26]Bjerhammar A.Rectangular reciprocal matrices with special reference to geodetic calculations.Bulletin Godsique,1951,20(1):188-220

[27]Baumgarte J.Stabilization of constraints and integrals of motion in dynamical systems.Computer Methods in Applied Mechanics and Engineering,1972,1(1):1-16

[28]Asada H,Slotine J J E.Robot Analysis and Control.New York:John Wiley and Sons,1985.

[29]Slotine J-J E,Li W P.Applied Nonlinear Control.New Jersey:Prentice Hall,1991.

Xiaoli Liu Master student at Hefei University of Technology,China.Her research interests include analytical mechanics,multi-agent,and robotics.

Shengchao Zhen Lecturer at Hefei University of Technology,China and a visiting scholar in Georgia Institute of Technology,USA.His research interests include analytic mechanics,dynamics of multi-body systems,optimal control,robust control,adaptive control,fuzzy engineering,and uncertainty management.Corresponding author of this paper.

Kang Huang Professor at Hefei University of Technology.His research interests include mechanical transmission,vehicles,dynamics and control.

Han Zhao Professor at Hefei University of Technology.His research interests include mechanical transmission,magnetic machine,vehicles,digital design and manufacturing,information system,dynamics and control.

Ye-Hwa Chen received the Ph.D.degree from University of California,Berkely,USA in 1985.He is currently a professor at Georgia Institute of Technology,USA.He is a member of IEEE,ASME and Sigma Xi.His research interests include advanced control methods for mechanical manipulators,neural networks and fuzzy engineering,adaptive robust control of uncertain systems,and uncertainty management.

Ke Shao Ph.D.candidate at Hefei University of Technology,China.His research interests include analytical mechanics,multi-agent,and robotics.

I.INTRODUCTION

t

August 13,2014;accepted May 17,2015.This work was supported by Natural Science Foundation of Anhui Province (1508085SME221).Recommended by Associate Editor Changyin Sun.

:Xiaoli Liu,Shengchao Zhen,Kang Huang,Han Zhao,Ye-Hwa Chen,Ke Shao.A systematic approach for designing analytical dynamics and servo control of constrained mechanical systems.IEEE/CAA Journal of Automatica Sinica,2015,2(4):382-393

Index Terms—Constrained system,fundamental equation, servo constraint,numerical drift,underactuated system,redundantly actuated system

I N order to control the constrained discrete mechanical system,the dynamic model should first be obtained.Obtaining equations of motion for constrained discrete mechanical systems is one of the central issues in multi-body dynamics. The problem has been energetically and continuously worked on by many scientists,engineers and mathematicians since constrained motion was initially described by Lagrange[1].He invented the special Lagrange multiplier method to deal with constrained motion.However,the Lagrange multiplier method relies on problem-specific approaches to the determination of the multipliers and it is often very difficult to find the multipliers to obtain the explicit equations of motion for systems which have large number of degrees of freedom and a mass of non-integrable constraints.Gauss[2]introduced a general, new principle of mechanics for handling constrained motion. Gauss’s principle gives a clear description of the general nature of constrained motion in terms of the minimization of a function of the accelerations of the particles of a system. Formulations of the equations of constrained motion,when the constraints satisfy D’Alember’s principle,were independently offered by Gibbs[3]and Appell[4].Pars[5]in his treatise on the analytical dynamics refers to the Gibbs-Appell equations as“probably the most comprehensive equations of motion so far discovered”.But Gibbs-Appell equations require a felicitous choice of problem-specific quasi-coordinates and suffer from similar problems in dealing with systems with a large number of degrees of freedom and many non-integrable constraints. Dirac[6]developed,using Poisson brackets,a recursive scheme for determining the Lagrange multipliers for singular Hamiltonian systems where the constraints do not exactly depend on time.