1、Proceedings ofthe 1998 IEEEInternational Conference on Robotics & AutomationLeuven, Belgium May 19982A practical approach to feedback control for a mobile robot with trailerF. Lamiraux and J.P. LaumondLAAS-CNRSToulouse, Franceflorent ,jpllaas.frAbstractThis paper presents a robust method to control
2、a mobile robot towing a trailer. Both problems of trajectory tracking and steering to a given configuration are addressed. This second issue is solved by an iterative trajectory tracking. Perturbations are taken into account along the motions. Experimental results on the mobile robot Hilare illustra
3、te the validity of our approach.1 IntroductionMotion control for nonholonomic systems have given rise to a lot of work for the past 8 years. Brocketts condition 2 made stabilization about a given configuration a challenging task for such systems, proving that it could not be performed by a simple co
4、ntinuous state feedback. Alternative solutions as time-varying feedback l0, 4, 11, 13, 14, 15, 18 or discontinuous feedback 3 have been then proposed. See 5 for a survey in mobile robot motion control. On the other hand, tracking a trajectory for a nonholonomic system does not meet Brocketts conditi
5、on and thus it is an easier task. A lot of work have also addressed this problem 6, 7, 8, 12, 16 for the particular case of mobile robots.All these control laws work under the same assumption: the evolution of the system is exactly known and no perturbation makes the system deviate from its trajecto
6、ry.Few papers dealing with mobile robots control take into account perturbations in the kinematics equations. l however proposed a method to stabilize a car about a configuration, robust to control vector fields perturbations, and based on iterative trajectory tracking.The presence of obstacle makes
7、 the task of reaching a configuration even more difficult and require a path planning task before executing any motion.In this paper, we propose a robust scheme based on iterative trajectory tracking, to lead a robot towing a trailer to a configuration. The trajectories are computed by a motion plan
8、ner described in 17 and thus avoid obstacles that are given in input. In the following.We wont give any development about this planner,we refer to this reference for details. Moreover,we assume that the execution of a given trajectory is submitted to perturbations. The model we chose for these pertu
9、rbations is very simple and very general.It presents some common points with l.The paper is organized as follows. Section 2 describes our experimental system Hilare and its trailer:two hooking systems will be considered (Figure 1).Section 3 deals with the control scheme and the analysis of stability
10、 and robustness. In Section 4, we present experimental results.2 Description of the systemHilare is a two driving wheel mobile robot. A trailer is hitched on this robot, defining two different systems depending on the hooking device: on system A, the trailer is hitched above the wheel axis of the ro
11、bot (Figure 1, top), whereas on system B, it is hitched behind this axis (Figure l , bottom). A is the particular case of B, for which = 0. This system is however singular from a control point of view and requires more complex computations. For this reason, we deal separately with both hooking syste
12、ms. Two motors enable to control the linear and angular velocities (,) of the robot. These velocities are moreover measured by odometric sensors, whereas the angle between the robot and the trailer is given by an optical encoder. The position and orientation(,)of the robot are computed by integratin
13、g the former velocities. With these notations, the control system of B is: (1) Figure 1: Hilare with its trailer3 Global control scheme3.1 MotivationWhen considering real systems, one has to take into account perturbations during motion execution.These may have many origins as imperfection of the mo
14、tors, slippage of the wheels, inertia effects . These perturbations can be modeled by adding a term in the control system (l),leading to a new system of the formwhere may be either deterministic or a random variable.In the first case, the perturbation is only due to a bad knowledge of the system evo
15、lution, whereas in the second case, it comes from a random behavior of the system. We will see later that this second model is a better fit for our experimental system.To steer a robot from a start configuration to a goal, many works consider that the perturbation is only the initial distance betwee
16、n the robot and the goal, but that the evolution of the system is perfectly known. To solve the problem, they design an input as a function of the state and time that makes the goal an asymptotically stable equilibrium of the closed loop system. Now, if we introduce the previously defined term in th
17、is closed loop system, we dont know what will happen. We can however conjecture that if the perturbation is small and deterministic, the equilibrium point (if there is still one) will be close to the goal, and if the perturbation is a random variable, the equilibrium point will become an equilibrium
18、 subset.But we dont know anything about the position of these new equilibrium point or subset.Moreover, time varying methods are not convenient when dealing with obstacles. They can only be used in the neighborhood of the goal and this neighborhood has to be properly defined to ensure collision-free
19、 trajectories of the closed loop system. Let us notice that discontinuous state feedback cannot be applied in the case of real robots, because discontinuity in the velocity leads to infinite accelerations.The method we propose to reach a given configuration tn the presence of obstacles is the follow
20、ing. We first build a collision free path between the current configuration and the goal using a collision-freemotion planner described in 17, then we execute the trajectory with a simple tracking control law. At the end of the motion, the robot does never reach exactly the goal because of the vario
21、us perturbations, but a neighborhood of this goal. If the reached configuration is too far from the goal, we compute another trajectory that we execute as we have done for the former one.We will now describe our trajectory tracking control law and then give robustness issues about our global iterati
22、ve scheme.3.2 The trajectory tracking control lawIn this section, we deal only with system A. Computations are easier for system B (see Section 3.4).Figure 2: Tracking control law for a single robotA lot of tracking control laws have been proposed for wheeled mobile robots without trailer. One of th
23、em 16,a lthough very simple, give excellent results.If are the coordinates of the reference robot in the frame of the real robot (Figure 2), and if are the inputs of the reference trajectory, this control law has the following expression: (2) The key idea of our control law is the following: when th
24、e robot goes forward, the trailer need not be stabilized (see below). So we apply (2) to the robot.When it goes backward, we define a virtual robot (Figure 3) which is symmetrical to the real one with respect to the wheel axis of the trailer:Then, when the real robot goes backward, the virtual robot
25、 goes forward and the virtual system is kinematically equivalent to the real one. Thus we apply the tracking control law (2) to the virtual robot.Figure 3: Virtual robotA question arises now: is the trailer really always stable when the robot goes forward ? The following section will answer this que
26、stion.3.3 Stability analysis of the trailerWe consider here the case of a forward motion , the backward motion being equivalent by the virtual robot transformation. Let us denote by a reference trajectory and bythe real motion of the system. We assume that the robot follows exactly its reference tra
27、jectory: and we focus our attention on the trailer deviation.The evolution of this deviation is easily deduced from system (1) with (System A): is thus decreasing iff (3)Our system is moreover constrained by the inequalities (4) so that and (3) is equivalent to (5)Figure 4 shows the domain on which
28、is decreasing for a given value of . We can see that this domain contains all positions of the trailer defined by the bounds (4). Moreover, the previous computations permit easily to show that 0 is an asymptotically stable value for the variable .Thus if the real or virtual robot follows its referen
29、ce forward trajectory, the trailer is stable and will converge toward its own reference trajectory.Figure 4: Stability domain for3.4 Virtual robot for system BWhen the trailer is hitched behind the robot, the former construction is even more simple: we can replace the virtual robot by the trailer. I
30、n this case indeed, the velocities of the robot and of the trailer are connected by a one-to-one mapping.The configuration of the virtual robot is then given by the following system:and the previous stability analysis can be applied as well, by considering the motion of the hitching point.The follow
31、ing section addresses the robustness of our iterative scheme.3.5 Robustness of the iterative schemeWe are now going to show the robustness of the iterative scheme we have described above. For this,we need to have a model of the perturbations arising when the robot moves. l model the perturbations by
32、 a bad knowledge of constants of the system, leading to deterministic variations on the vector fields. In our experiment we observed random perturbations due for instance to some play in the hitching system. These perturbations are very difficult to model. For this reason,we make only two simple hyp
33、otheses about them:where s is the curvilinear abscissa along the planned path, and are respectively the real and reference configurations, is a distance over the configuration space of the system and , are positive constants.The first inequality means that the distance between the real and the refer
34、ence configurations is proportional to the distance covered on the planned path. The second inequality is ensured by the trajectory tracking control law that prevents the system to go too far away from its reference trajectory. Let us point out that these hypotheses are very realistic and fit a lot
35、of perturbation models.We need now to know the length of the paths generated at each iteration. The steering method we use to compute these paths verifies a topological property accounting for small-time controllability17. This means that if the goal is sufficiently close to the starting configurati
36、on, the computed trajectory remains in a neighborhood of the starting configuration. In 9we give an estimate in terms of distance: if and are two sufficiently close configurations, the length of the planned path between them verifieswhere is a positive constant.Thus, if is the sequence of configurat
37、ions reached after i motions, we have the following inequalities:These inequalities ensure that distCS is upper bounded by a sequence of positive numbers defined byand converging toward after enough iterations.Thus, we do not obtain asymptotical stability of the goal configuration, but this result e
38、nsures the existence of a stable domain around this configuration.This result essentially comes from the very general model of perturbations we have chosen. Let us repeat that including such a perturbation model in a time varying control law would undoubtedly make it lose its asymptotical stability.
39、The experimental results of the following section show however, that the converging domain of our control scheme is very small.4 Experimental resultsWe present now experimental results obtained with our robot Hilare towing a trailer, for both systems A and B. Figures 5 and 6 show examples of first p
40、aths computed by the motion planner between the initialFigure 5: System A: the initial and goal configurationsand the first path to be tracked Figure 6: System B: the initial and goal configurations,the first path to be tracked and the final maneuverconfigurations (in black) and the goal configurati
41、ons (in grey), including the last computed maneuver in the second case. The lengths of both hooking system is the following: ,cm for A and cm,cm for B. Tables 1 and 2 give the position of initial and final configurations and the gaps between the goal and the reached configurations after one motion a
42、nd two motions, for 3 different experiments. In both cases, the first experiment corresponds to the figure.Empty columns mean that the precision reached after the first motion was sufficient and that no more motion was performed.Comments and Remarks: The results reported in the tables 1 and 2 lead t
43、o two main comments. First,the precision reached by the system is very satisfying and secondly the number of iterations is very small (between 1 and 2). In fact, the precision depends a lot on the velocity of the different motions. Here the maximal linear velocity of the robot was 50 cm/s.5 Conclusi
44、onWe have presented in this paper a method to steer a robot with one trailer from its initial configuration to a goal given in input of the problem. This method is based on an iterative approach combining open loop and close loop controls. It has been shown robust with respect to a large range of pe
45、rturbation models. This robustness mainly comes from the topological property of the steering method introduced in 17. Even if the method does not make the robot converge exactly to the goal, the precision reached during real experiments is very satisfying.Table 1: System A: initial and final config
46、urations,gaps between the first and second reached configurations and the goalTable 2: System B: initial and final configurations,gaps between the first and second reached configurations and the goalReferences1M. K. Bennani et P. Rouchon. Robust stabilization of flat and chained systems. in European
47、 Control Conference,1995.2R.W. Brockett. Asymptotic stability and feedback stabilization. in Differential Geometric Control Theory,R.W. Brockett, R.S. Millman et H.H. Sussmann Eds,1983.3C. Canudas de Wit, O.J. Sordalen. Exponential stabilization of mobile robots with non holonomic constraints.IEEE T
48、ransactions on Automatic Control,Vol. 37, No. 11, 1992.4J. M. Coron. Global asymptotic stabilization for controllable systems without drift. in Mathematics of Control, Signals and Systems, Vol 5, 1992.5A. De Luca, G. Oriolo et C. Samson. Feedback control of a nonholonomic car-like robot, Robot motion planning and control. J.P. Laumond Ed., Lecture Notes in Control and Information Sciences, Springer Verlag, to appear.6R. M