Background of the Invention
1. Field of the Invention
This invention pertains to an unmanned nonholonomic wheeled robot vehicle that automatically drives on a flat or moderately tilted ground. More specifically, this invention claims a method of how to control unmanned vehicles smoothly when given a geometrical path specification, which is a sequence of directed straight lines and circles described in the global coordinate system.
2. Description of the Related Art
Unmanned robot vehicles have been used for the automatic material transfer and/or handling purposes in factories, in hospitals, and in clean rooms for semiconductor manufacturing. In order to navigate the unmanned vehicles, the most widely used method is to attach inductive wires or optical reflexive tapes on the floor to tell the vehicle whether it is on track.
However, these conventional methods entails three barriers that limit more extensive applications of unmanned vehicles: The inductive wires and optical tapes are subject to wear because vehicles and people could step on them; Modifying and creating their path patterns is time consuming and expensive; In environments such as in semiconductor factories, even the use of wires and tapes should be avoided, because they are potential source of dusts.
The theoretical aspect of path-tracking for nonholonomic wheeled mobile robots by feedback controllers has been studied from various points of view. Motion planning/control problems for autonomous vehicles is one of the most difficult problems in robotics, because these motions are under nonholonomic constraints and the equations are not integrable. See Goldsteing, H., Classical Mechanics, Second Edition, Addison-Wesley, pp. 11-16, 1980 and Laumond, J. P., "Feasible Trajectories for Mobil Robots with Kinematic and Environment Constraints," in Intelligent Autonomous Systems, (O. L. Hertzberger and F. C. A. Groen, eds), pp. 346-354, 1987. The "configuration tracking" problem, when posed as stabilizing a nonholonomic vehicle to a given final configuration is known to have no smooth-state feedback solution, as described in Brockett, R. W., "Asymptotic Stability and Feedback Stabilization," in Progress in Math., vol. 27, Birkhauser, pp. 181-208, 1983. To overcome this difficulty, Samson and Pomet proposed a smooth time varying feedback control law for stabilizing a robot, or even a chained system of wheeled robots to a given final configuration. See: Samson, C. "Velocity and Torque Feedback Control of a Nonholonomic Cart," in Advanced Robot Control, Lecture Notes in Control and Information Sciences, No. 162, pp. 125-151, 1991, Samson, C., "Time-varying Feedback Stabilization of Car-like Wheeled Mobil Robots," International Journal of Robotics Research, vol. 12, No. 1, pp. 55-64, 1995, and Pomet, J. B., "Explicit Design of Time Varying Stabilizing Feedback Laws for a Class of Controllable Systems without Drift," System and Control Letters, vol. 18, pp. 139-145, 1992. Others such as Canudas and S.o slashed.rdalen have proposed piecewise smooth feedback laws for exponentially stabilizing a mobile robot. See: Canudas de Witt, C. and S.o slashed.rdalen, O. J., "Exponential Stabilization of Mobil Robots with Nonholonomic Constraints," IEEE Transaction on Automatic Control, Vol 37, pp. 1791-1797, 1992. For the specific problem of tracking a simple path such as a straight-line or a circle, DeSantis has developed a control rule based on the geometric path tracking principle for a tractor-trailer-like robots to track a straight line or a circular arc. See: DeSantis, R. M., "Path-tracking for a Trailer-like Robot," International Journal of Robotics Research, Vol. 13, No. 6, pp. 533-543, 1994. Murray and Sastry use sinusoidal input to solve a similar nonholonomic motion planning problem. See Murray, R. M., and Sastry, S. S., "Steering Nonholonomic Control Systems Using Sinusoids," in Nonholonomic Planning, Li and Canny eds., Kluwer Academic Publishers, pp. 23-51. 1993.
The research article, "A Stable Tracking Control Method for an Autonomous Mobile Robot," by Kanayama, et al., in Proc. IEEE International Conference on Robotics and Automation in Cincinnati, Ohio, pp. 384-389, May 1990, by this inventor is the closest prior technology to solve the path tracking problem for autonomous vehicles. Given a moving reference target, this method computes a pair (.upsilon., .OMEGA.) of the goal linear velocity .upsilon. and the goal rotational velocity .OMEGA. knowing the vehicle's own current state. A reference state is (p.sub.r, .theta..sub.r, .upsilon..sub.r, .OMEGA..sub.r) that the vehicle should follow, where p.sub.r is the reference point, .theta..sub.r the reference orientation, .upsilon..sub.r the reference linear speed, and .OMEGA..sub.r the reference rotational speed. Since the curvature .kappa. is equal to .OMEGA./.upsilon., this method can be said to be evaluating the target speed and curvature among other control variables. This method has the following shortcomings as a solution to the aforementioned problem:
(1) This method is proven effective in tracking straight lines only. The fact that this method is optimal for tracking circles or a more complex path cannot be proved.
(2) The vehicle guidance method of using the moving reference state imposes an unnecessary constraint on its movement in the heading.
(3) This method is computing curvature .kappa. itself instead of its derivative ##EQU1## Therefore, if there is a discontinuous change in the reference state, its curvature may have a discontinuity which may give a shock to the vehicle or may cause slippage in its motion.
While the above theoretical approaches are mathematically elegant and general enough to be applied to a variety of situations, these procedures have not yielded the simplest and most efficient feedback controllers for the specific problem of "line/circle tracking". The aforementioned tracking-control method is not satisfactory to this motion control problem either. To solve this shortcoming this invention addresses another solution to how to control a nonholonomic vehicle to track a path consisting of directed straight lines and directed circular arcs. This invention discloses a new solution using the "steering function" and a "neutral switching principle", which are simple and appropriate for real-time applications. Since this invention realizes continuous curvature motion, slippage of wheels on the ground can be minimized.
Objectives of the Invention
It is an objective of this invention to provide a path specification method to the vehicle control computer, so that the implementation of optical tapes or inductive wires on the floor can be eliminated. Specifically a path is a sequence of segments, where a segment is a directed straight line or a directed circle defined in a global coordinate system.
Providing a robust and flexible method to track this path with continuous curvature is another objective of this invention. This tracking algorithm with the steering function is critical in this invention. Especially when the vehicle switches from the present path segment to the next, or when the vehicle is initially not on track, its effectiveness is obvious. In order to specify the extent of smoothness in switching or tracking of segments, this method has a parameter .sigma. called smoothness. The vehicle trajectory becomes sharper if a smaller (.sigma. is used, while the vehicle trajectory becomes smoother if a larger .sigma. is used. In order to switch from the present path segment to the next segment, a method called neutral switching is adopted in this invention.
Since paths for the vehicle are described in relation to the global coordinate system, the vehicle must keep track of its position and heading orientation in the global coordinate system; otherwise the vehicle cannot recognize whether it is on the path or not. To give a simple and efficient method for this odometry capability is another purpose of this invention. This odometry and the steering function capabilities are crucial components for the positional feedback operation.
List of Advantages of the Invention
The first advantage comes from the fact that this path description method requires only small amount of digital data. A complex path consisting of segments of directed straight lines or circular arcs can be specified by a relatively small amount of digital information, since each segment can be specified by four real numbers, the x and y coordinates, the orientation .theta., and the curvature .kappa.. Therefore, it is not expensive nor time-consuming to create and store a path in the computer system on the vehicle. It is easy to modify a path even in real time to accommodate changes in its environments and/or missions. This path-specification method requires much less information amount and gives much more useful information to the vehicle than the method of describing a path by a dense sets of points.
The second advantage is related to the steering function method. This method allows the vehicle to perform continuous-curvature motion to make an exponential convergence with a critical-damping condition. This property is important for vehicle control, since a continuous-curvature motion without oscillation is essential for vehicle motion stability.
The third advantage is in the simplicity of the steering function. In this function, we only need to compute the vehicle path curvature, the vehicle heading orientation, and the positional difference between the vehicle position and the current path segment. Thus, its computation takes only a few milliseconds using a modern microprocessor to complete a short sampling time.
The fourth advantage is that the steering function has one parameter (positive constant) of smoothness .sigma. so that its path smoothness can be easily and precisely specified or modified. A larger .sigma. makes the vehicle's path smoother, and a smaller .sigma. makes the vehicle's path sharper. The smoothness can even be dynamically modified in real time depending of its environment and mission.
The fifth advantage is that the problem of finding the best point to leave the present tracking segment to the next tracking segment is easily and robustly computed by the neutral switching principle. By this method, not only the path curvature, but its derivative becomes continuous. Switching this point makes the transition curve the most symmetric.
The sixth advantage is that the path can be described in a computer program with the help of a vehicle motion control language system. Each path segment is described by a command, and hence, a path can be described by a sequence of commands. Thus, it is straightforward for a computer program to control the vehicle to track a complex path by issuing those segment-specifying commands in real time.
The seventh advantage is the clear separation of the vehicle into the Vehicle-Independent Subsystem and the Vehicle-Dependent Subsystem in this motion-control architecture and software. This feature makes individual embodiments simpler and more robust, because the bigger Vehicle-Independent Subsystem is the same for all embodiments.
Brief Description of the Drawings
FIG. 1 depicts the system architecture of an example of embodiment of this invention in a functional-subsystem level. The whole system is divided into the Vehicle-Independent and Vehicle-Dependent Subsystems. The interface signals between the subsystems are only four: .DELTA.s, .DELTA..theta., .upsilon..sub.c, and .kappa..sub.c. The Vehicle-Independent Subsystem is further subdivided into four Subsystems in this specific embodiment.
FIG. 2 depicts how a directed line is defined by a point p.sub.1 and an orientation .theta..sub.1.
FIG. 3 depicts how a directed circular arc is defined, (i) by a point p.sub.1, an orientation .theta..sub.1, and a curvature .kappa..sub.1, or (ii) by a center point c.sub.1 and a radius r.sub.1. Specifically in this Figure, both circles are counterclockwise.
FIG. 4 shows a detailed structure of the Path Buffer Subsystem. The path buffer stores a list (L.sub.1, L.sub.2, L.sub.3 . . . ) of segments, where the first segment L.sub.1, and the second segment L.sub.2 are read by other subsystems. There is a control mechanism which shifts the contents of the path buffer to discard L.sub.1, if the "switching-needed" command arrives.
FIG. 5 depicts a sequence (L.sub.1, L.sub.2, L.sub.3, L.sub.4, L.sub.5, L.sub.6) of directed straight lines, where L.sub.1 and L.sub.6 are the same. The vehicle is supposed to track this path with an appropriate smoothness.
FIG. 6 depicts another sequence (L.sub.1, L.sub.2, L.sub.3), where L.sub.1 and L.sub.3 are directed straight lines and L.sub.2 is a directed circular arc.
FIG. 7 depicts a vehicle's star-shaped motion behavior tracking the five directed lines that are shown in FIG. 5. The small ticks show the neutral-switching points.
FIG. 8 depicts a vehicle's behavior in a hallway, where it is avoiding an obstacle using a path depicted in FIG. 6. The ticks show the neutral-switching points.
FIG. 9 depicts a vehicle's transformation q=(x, y, .theta.) and the reference transformation (0, 0, 0).
FIG. 10 depicts a circular transformation .DELTA.q=(.DELTA.x, .DELTA.y, .DELTA..theta.) defined by .DELTA.s and .DELTA..theta..
FIG. 11 depicts a situation where the steering function is applied to track a circular arc. In this specific case, .DELTA.d.sub.1 <0.
FIG. 12 shows a situation where the vehicle is supposed to track the X-axis in the positive direction. In this specific case .DELTA.d.sub.1 =y>0.
FIG. 13 depicts a vehicle situation in a polar coordinate system. A point p is represented by (.phi., .rho.) in the polar coordinate system.
FIG. 14 depicts the vehicle's switching behaviors from one line to another leaving at several distinct switching points. Among them, p.sub.N denotes the neutral switching point.
FIG. 15 depicts a detailed architecture of the Vehicle-Dependent Subsystem for the differential-drive wheel architecture.
FIG. 16 depicts the wheel architecture of a differential-drive vehicle whose motion is controlled by two independently-driven wheels.
FIG. 17 depicts the wheel architecture of a bicycle whose motion is controlled by a steering front wheel and a driving rear wheel.
FIG. 18 depicts the wheel architecture of a car-like vehicle whose motion is controlled by two steering front wheels and two driving rear wheels.
FIG. 19 depicts the vehicle's behavior ruled by the steering function. The vehicle is initially at a transformation of (0, 100, 0) and is supposed to track the X-axis. This figure demonstrates that distinct smoothness .sigma. gives distinct behavior; a larger .sigma. makes the behavior smoother. This figure also shows the comparisons between the simulation results (in solid lines) and the experimental results (in broken lines) by the autonomous vehicle Yamabico.
FIG. 20 depicts a vehicle's behavior of tracking a path consisting of several straight lines with the .sigma. of smoothness of 0.1. Its size is shown in this Figure.
FIG. 21 is similar to FIG. 20 except for that the smoothness of 0.3 is used instead. Therefore, the behavior is smoother and is recommended for a faster motion. The size of smoothness is also shown here.
FIG. 22 is simulation results of tracking a circle with a radius of 10 after leaving the inside circle with a radius of 8, with smoothness of .sigma.=1, 2, 4, and 8. Notice that each trajectory never intersects the target circle.
FIG. 23 depicts how this algorithm makes a vehicle track a series of circles. The first and third circles (from left) are counterclockwise and others are clockwise.
Description of the Preferred Embodiment
An embodiment of this invention consists of two subsystems: Vehicle-Independent Subsystem and Vehicle-Dependent Subsystem [FIG. 1]. This clear separation of the Vehicle-Independent and Vehicle-Dependent Subsystems is one of the advantages of this invention. This control architecture makes embodiments of this method easy and economical, since the Vehicle-Independent Subsystem stays the same for all individual vehicle implementations. The Vehicle-Independent Subsystem is common to the embodiment for any vehicle architecture and is further divided into four subsystems: (i) Vehicle-Configuration Estimation Subsystem, (ii) Path Buffer Subsystem, (iii) Continuous-Curvature Motion Calculation Subsystem, and (iv) Segment Switching Test Subsystem. For the Vehicle-Dependent Subsystem five typical distinct embodiments, for the differential-drive, bicycle, tricycle, car-like wheel architectures, and a simulator, are described. Obviously many modifications and variations of the present invention are possible in light of the above teachings. It is, therefore, to be understood that the present invention may be practiced within the scope of the claims other than as specifically described.
[1] Path Buffer Subsystem
A path consists of a sequence of segments, where a segment is either a directed line or a directed circle.
A directed line is represented by a point p.sub.1 and an orientation .theta..sub.1, i.e., it has the same amount of information as a transformation q does. [FIG. 2]
A directed circular arc is represented either (i) by a point p.sub.1, an orientation .theta..sub.1, and a curvature .kappa..sub.1, or (ii) by a center point c.sub.1 and a radius r.sub.1 [FIG. 3]. In the first representation (p.sub.1, .theta..sub.1, .kappa..sub.1), p.sub.1 specifies a point on the circular arc and .theta..sub.1 the tangential orientation to the arc at p.sub.1. The last parameter .kappa..sub.1 is the curvature of the circular arc, and hence, its absolute value is equal to 1/r, where r is its radius. The circular arc is counterclockwise if .kappa..sub.1 >0, and clockwise if .kappa..sub.1 <0. In the second representation (c.sub.1, r.sub.1), different from the normal practice, the radius r.sub.1 may be positive or negative. The circle specified is counterclockwise if r.sub.1 >0 and clockwise if r.sub.1 <0.
The Path Buffer Subsystem consists of a path buffer and its control [FIG. 4]. A path stored in the buffer is a sequence (L.sub.1, L.sub.2, . . . , L.sub.n), where each L.sub.i is a segment. FIG. 5 and FIG. 6 depict two examples of paths. Given this path information, the vehicle tracks the first segment L.sub.1. For that purpose L.sub.1 is supplied to the Continuous-Curvature Motion Calculations Subsystem to find the optimal feedback way to navigate the vehicle [FIG. 1]. The Segment-Switching Test Subsystem finds the optimal point to leave L.sub.1 and to turn into the next segment L.sub.2, if L.sub.2 exits. When this Segment-Switching Test Subsystem recognizes that this is the optimal time to switch, it triggers the Path Buffer Subsystem by the "switching needed" command, which in turn discards L.sub.1, moves the old L.sub.2 into new L.sub.1, moves the old L.sub.3 into new L.sub.2, and so forth [FIG. 4]. The example paths shown in FIG. 5 and FIG. 6 actually navigate the vehicle to make a star motion [FIG. 7] and an obstacle avoidance behavior [FIG. 8] when the steering function and the neutral switching algorithm are correctly applied [See Section 2 and Section 3].
[2] Vehicle-Configuration Estimation Subsystem
The function of this subsystem is to compute the best estimates of the vehicle's present configuration, which is a pair of a transformation q (the position p and heading orientation .theta.) and a path curvature .kappa.. This transformation q is always registered and updated in this subsystem to be used for the motion control method [FIG. 1]. The capability of this subsystem sometimes is called odometry on autonomous robot vehicles.
The input set for this capability includes (1) the incremental movement .DELTA.s of the vehicle reference point and the incremental heading orientation change .DELTA..theta. during the previous sampling time interval that are sent from the vehicle-dependent subsystem, (2) the previous vehicle transformation q=(p, .theta.) registered in this subsystem, and (3) the values of the sampling time interval .DELTA.t that is a constant.
The output of this subsystem are the updated present transformation q, the present path curvature .kappa., and the present vehicle speed .upsilon..
A global cartesian coordinate system is defined in the plane where the robot vehicle is operated. The vehicle's positioning is described by its position p=(x, y) and heading orientation .theta. in the global coordinate system, where x, y, and .theta. are real numbers [FIG. 9]. The orientation .theta. is measured counterclockwise from the positive orientation of X-axis. This positioning
is considered as a transformation of the vehicle from the reference transformation of
[FIG. 9]. The transformation q is the composition of a translation (x, y, 0) and a rotation (0,0,.theta.).
While moving, the vehicle's instantaneous transformations q=(x, y, .theta.) must be iteratively estimated along a path at a constant sampling time interval .DELTA.t. The vehicle's traveling distance .DELTA.s and the heading orientation change .DELTA..theta. during the sampling interval .DELTA.t are measured in the Vehicle-Dependent Subsystem. Assuming that the vehicle's short trajectory in this period was a circular arc or a straight line [FIG. 10], the transformation .DELTA.q=(.DELTA.x, .DELTA.y, .DELTA..theta.), from the previous positioning to the final positioning, is evaluated from .DELTA.s and .DELTA..theta. as ##EQU2##
if .DELTA..theta..noteq.0
and
if .DELTA..theta.=0.
In an ordinary situation, .DELTA.s and .DELTA..theta. are very small, and hence .DELTA.q is also tiny.
If the vehicle's previous transformation is q and the circular transformation is .DELTA.q, the new vehicle transformation is the composition q.multidot..DELTA.q. This composition q.multidot..DELTA.q is calculated as
See: Kanayama, Y., MacPherson, D. L., and Krahn, G. W., "Two Dimensional Transformations and Its Application to Vehicle Motion Control and Analysis," 1993 Proceedings of International Conference on Robotics and Automation, in Atlanta, Ga., May 2-7, pp. 13-18, 1993. By repeating this updating of vehicle transformations q, the vehicle knows the best estimate of its positioning all the time. This function is called odometory. This odometry, or positional feedback, capacity is essential for the task of tracking a path described by the global coordinate system.
The present vehicle path curvature .kappa. is calculated by ##EQU3##
The present vehicle speed .upsilon. is calculated by ##EQU4## These outputs, q, .kappa., and .upsilon. are sent to the Continuous-Curvature Motion Calculation Subsystem and the Segment-Switching Test Subsystem as shown in FIG. 1.
[3] Continuous-Curvature Motion Calculation Subsystem
A nonholonomic vehicle cannot make a trajectory that has curvature discontinuity. See Kanayama, Y., "Two Dimensional Wheeled Vehicle Kinematics," Proceedings of International Conference on Robotics and Automation, in San Diego, Calif., May 8-13, pp. 3079-3084, 1994. This invention, thus, proposes a method to compute the derivative d.kappa./ds of curvature, so that the curvature itself is continuous as long as the derivative d.kappa./ds has a finite value. The function J to compute this derivative d.kappa./ds is called a steering function.
As seen in FIG. 1, this subsystem is supplied with the present vehicle configuration (q, .kappa.)=((p, .theta.), .kappa.) and the present vehicle speed .upsilon. from the Vehicle-Configuration Estimation Subsystem, and the present segment L.sub.1 from the Path Buffer Subsystem. Let p.sub.0 be the closest point on L.sub.1 from the vehicle position p [FIG. 11]). The steering function J to track a segment L.sub.1 is ##EQU5## where .kappa. is the vehicle's curvature, .theta. is the vehicle's heading orientation, .kappa..sub.1 is the curvature of L.sub.1, .theta..sub.1 is the tangential orientation of L.sub.1 at p.sub.0, and .DELTA.d.sub.1 is the signed distance from p to p.sub.0. The computation algorithm for .theta..sub.1 and .DELTA.d.sub.1 are described in Subsection [3.1]. The three terms in the right side of this steering function work as negative feedback for the curvature error, orientational error, and positional error respectively. Positive constants a, b, and c are called feedback gains, which are defined through a single positive constant k as follows:
The soundness of this selection of the feedback gains is given in the following Subsections, [3.3] and [3.4]. The reciprocal of k is denoted by .sigma. and is called smoothness: ##EQU6## With a larger .sigma., the trajectory of the vehicle becomes smoother; with a smaller .sigma., the trajectory becomes sharper. This simple controllability of smoothness is one of the major advantages of this invention for path tracking.
After calculating the steering function J(L.sub.1), a commanded curvature .kappa..sub.c is calculated by
This commanded curvature .kappa..sub.c is output to the Vehicle-Dependent Subsystem.
[3.1] Computation of .theta..sub.1 and .DELTA.d.sub.1
The sign (+ or -) of .DELTA.d.sub.1 is defined as follows: .DELTA.d.sub.1 >0 if p (vehicle position) is on the left side of L.sub.1 [FIG. 12], .DELTA.d.sub.1 <0 if p is on the right side of L.sub.1 [FIG. 11], and .DELTA.d.sub.1 =0 if p is on L.sub.1. Now the tangential orientation .theta..sub.1 and signed distance .DELTA.d.sub.1 are calculated as follows:
(i) If L.sub.1 is a straight line, .theta..sub.1 is given as one component of the line definition itself; i.e., L.sub.1 =(x.sub.1, y.sub.1, .theta..sub.1). The signed distance .DELTA.d.sub.1 is computed as
See: Kanayama, Y., MacPherson, D. L., and Krahn, G. W., "Two Dimensional Transformations and Its Application to Vehicle Motion Control and Analysis," 1993 Proceedings of International Conference on Robotics and Automation, in Atlanta, Ga., May 2-7, pp. 13-18, 1993.
(ii) If L.sub.1 is a circular arc and is represented by the first representation [FIG. 3]; i.e., a configuration (p.sub.1, .theta..sub.1, .kappa..sub.1), this is translated into the second representation by ##EQU7##
As stated in Section [2], the sign of r.sub.1 tells the orientation of the circular arc: counterclockwise or clockwise. Then the tangential orientation .theta..sub.1 and signed distance .DELTA.d.sub.1 are ##EQU8##
This concludes the computation of .theta..sub.1 and .DELTA.d.sub.1.
[3.2] Speed control method
We assume that a default speed .upsilon..sub.0 and a default acceleration .mu. are given. When the vehicle is tracking a circle with a radius r, the centrifugal force .function. is ##EQU9## where m is the mass of the vehicle and .kappa. is the circle's curvature. Furthermore, the maximum of the centrifugal force .function..sub.max is also given for a situation where the vehicle is in a curved motion. Then
and hence, the restriction on the speed .upsilon. due to the curvature is that ##EQU10## Then the maximum speed .upsilon..sub.max in this situation is ##EQU11## If the present vehicle speed .upsilon. is less than this maximum speed, we accelerate the vehicle with the default acceleration .mu.. Thus the commanded speed .upsilon..sub.c becomes
if .upsilon..ltoreq..upsilon..sub.max.
If the present vehicle speed .upsilon. is greater than this maximum speed, we decelerate the vehicle with the default acceleration .mu.,
if .upsilon..gtoreq..upsilon..sub.max.
This commanded speed .upsilon..sub.c is the output to the Vehicle-Dependent Subsystem. The speed control method stated so far is only one of similar embodiments of the basic principle of reducing speed for a larger curvature.
[3.3] Linearization in Line Tracking
The purpose of this subsection is to prove the theoretical soundness of the feedback gains (a, b, c) given in Equations (9). Since this section deals with the line tracking case, .kappa..sub.1 =0 and the feedback gains becomes a=3k, b=3k.sup.2, and c=k.sup.3. To make the linearization task simpler, we take the global X-axis as the line L.sub.1 to be tracked [FIG. 12]. The steering function Equation (8) becomes ##EQU12## since .DELTA.d.sub.1 =y and .DELTA..kappa.=.kappa..
We temporarily impose the condition ##EQU13## in applying the linearization method. We write the steering function as a system of first order equations by using the following variables: ##EQU14## we would like to have the form
where the dot denotes differentiation with respect to x. We represent all the variables in the steering function in terms of x.sub.1 to x.sub.3.
where f=[.function..sub.1, .function..sub.2, .function..sub.3 ].sup.r clearly satisfies f(0)=0. We linearize the system by using the Jacobian of ##EQU18## The Lyapunov's indirect method informs us that the nature of the eigenvalues of matrix M determines the stability properties of the system. More precisely, the method states that the equilibrium point 0 is uniformly asymptotically stable if all the eigenvalues of M have negative real parts. For our problem, the eigenvalues .lambda. of M satisfies the equation, .lambda..sup.3 +a.lambda..sup.2 +b.lambda.+c=0. In this invention we take all the eigenvalues to be equal to one negative value -k. Thus we have the equations a=3k, b=3k.sup.2, and c=k.sup.3, concluding the proof. The advantage of using this critical damping relation is clearly seen in the simulation and experimental results shown later.
[3.4] Linearization in Circle Tracking
The purpose of this subsection is to prove the theoretical soundness of the feedback gains (a, b, c) given in Equations (9), in the circle-tracking case. We linearize the system after converting the whole geometrical relations into a polar coordinate system.
For a given circle, we define a polar coordinate system with the pole O at its circle center [FIG. 13]. A ray OX is determined in an arbitrary manner. The vehicle position p in the original Cartesian coordinate system is translated into an equation .rho.=.rho.(.phi.) (>0) where .phi. is the angle .angle.pOX and .rho. is the distance from O to p as a function of .phi.. We assume that .rho. is a single valued function: .fwdarw. [See FIG. 13]. Now the variable, s, .theta., .kappa., and others must be translated into the variable of .rho. as a function of .phi..
The derivative of trajectory length s with respect to .phi. is evaluated as: ##EQU19## Therefore, ##EQU20## The tangential direction .theta. of the vehicle trajectory is ##EQU21## Thus, its curvature .kappa., the derivative of .theta. with respect to s, becomes ##EQU22## The derivative ##EQU23## of curvature is
On the other hand, by the steering function (Equation (8)) we have ##EQU24## Therefore, by Equations (41) and (42), the following holds: ##EQU25## which yields ##EQU26## Finally we have ##EQU27## We express the original Equation (26) in terms of the following variables: ##EQU28## We would like to have the form
where the dot denotes differentiation with respect to .phi.. By substituting the new variables into the previous results, we obtain
To study the stability properties of the system of equations above, we study the linearized equation,
where ##EQU30## For that purpose ##EQU31## and ##EQU32## or ##EQU33##
It can be easily shown that the eigenvalues .lambda. of M satisfy the characteristic equation,
where
By Lyapunov's indirect method the equilibrium point 0 is uniformly asymptotically stable if all the eigenvalues (h.sub.1, h.sub.2, and h.sub.3) of M have negative real parts (See Vidyasagar, M., Nonlinear Systems Analysis, 2.sup.nd Edition, Prentice Hall, New Jersey, 1993). In the case of tracking a circle, uniform asymptotic stability means the trajectory of an object with a certain initial configuration ultimately tracks a desired circle as closely as possible. The equilibrium point 0 of the steering function is uniformly asymptotically stable if A, B, and C are positive and AB>C. Note that the last condition on the coefficients is equivalent to the condition we obtained for the line tracking, namely, AB>C. To avoid oscillations in the solutions, we desire eigenvalues that are real and negative. Furthermore, as in the case of line tracking, if we take all the real eigenvalues (h.sub.1 =h.sub.2 =h.sub.3 =h) the same, we can express the coefficients in terms of the single parameter.
Therefore, by letting h=kR for some positive constant k,
Solving these simultaneous equations for a, b, and c, we obtain ##EQU34## with the circular path curvature ##EQU35## Thus we can conclude that for Equations (9), the equilibrium point O is uniformly asymptotically stable if
for some positive constant k, and for an arbitrary curvature .kappa..sub.1. This concludes the proof we needed.
[4] Neutral Segment-Switching Subsystem
The next question is that, given a path consisting of multiple number of segments, where to switch from one segment to another to make reasonably smooth turns [FIG. 7 and FIG. 8]. For a certain period of time, a vehicle tracks a segment, but eventually it must start tracking the next segment. This decision is made by the Segment-Switching Test Subsystem. The input is the vehicle configuration (q, .kappa.) and the segment L.sub.2. The output is the switching-needed command.
Assume that a path sequence contains two directed lines, L.sub.1 and L.sub.2, as shown in FIG. 14. The vehicle first tracks L.sub.1 until it comes to a point called a switching point and then it leaves L.sub.1 to track L.sub.2. FIG. 14 shows the paths obtained by leaving at several distinct points while the smoothness a is kept constant. If the vehicle leaves L.sub.1 too soon (for instance, at p.sub.1), the vehicle's initial motion even turns away from L.sub.2 's direction. If it leaves L.sub.1 too late (for instance, at p.sub.2 or p.sub.3), its curvature becomes larger and its trajectory even may intersect L.sub.2. Both behaviors are not acceptable.
The sign (+ or -) and value of the steering function J(L.sub.2) change while the vehicle travels along L.sub.1. We call a point p.sub.N on L.sub.1 a neutral switching point if J(L.sub.2)-J(L.sub.1)=0 at the point. The method of leaving L.sub.1 at the neutral point is called neutral switching. This has obvious advantages, such as, (1) the trajectory obtained by the neutral switching method makes the maximum curvature along the trajectory minimum, (2) the trajectory obtained by the neutral switching method is more symmetric than any other trajectory, and (3) the vehicle does not make an initial turn in the opposite direction as happens when the vehicle leaves the original segment L.sub.1 too early, and (4) not only the curvature .kappa., but also the derivative ##EQU36## becomes continuous (that means the motion is smoother). We claim this method as one component of this invention.
In case both L.sub.1 and L.sub.2 are straight lines, we can find .DELTA.d for the neutral switching point as follows (notice that .DELTA..kappa.=0). ##EQU37## [5] Vehicle-Dependent Subsystem
This subsystem is a combination of the vehicle mechanisms/hardware and the related software components. Its global input is the commanded curvature .kappa..sub.c and speed .upsilon..sub.c (sent from the Continuous-Curvature Motion Calculation Subsystem), and its global output is the incremental movement .DELTA.s and orientation change .DELTA..theta. (sent to the Vehicle-Configuration Estimation Subsystem) [FIG. 1]. This subsystem naturally contains the vehicle itself. To accommodate the differences among vehicle's individual architectures, this subsystem contains two interfacing subroutines: Interface routines (I) and (II). These two routines help the other subsystems to be vehicle-independent.
To give a more realistic picture of an embodiment, a detailed description of operations is given in Section [5.1] using the "differential-drive" wheel architecture. The modes of operations for the "bicycle," and "car-like" vehicle architecture are also described in Sections [5.2] and [5.3].
[5.1] Embodiment for Differential-Drive Vehicle
A detailed architecture of the Vehicle-Dependent Subsystem for the differential-drive wheel architecture is shown in FIG. 15. FIG. 16 shows the kinematic architecture of a differential-drive vehicle having two independent driving wheels, whose axles are co-linear. Let 2W be the distance between both wheels. Although one or more casters are needed to guarantee the vehicle's balance, they are not shown in the figure. We take the origin of the vehicle's coordinate system at the middle of the two driving wheels and its X-axis aligned to the vehicle's heading direction. FIG. 16 clarifies that the right and left wheel's driving speeds, .upsilon..sub.R and .upsilon..sub.L, must satisfy ##EQU38## where .upsilon..sub.c is the vehicle's commanded speed, and r the radius ##EQU39## assuming .kappa..sub.c .noteq.0. Therefore, ##EQU40## Thus the motion command (.upsilon..sub.c, .kappa..sub.c) is converted into the vehicle's two control variables (.upsilon..sub.R, .upsilon..sub.L).
From .upsilon..sub.R and .upsilon..sub.L, we compute digital numbers n.sub.0L and n.sub.0R to be supplied to two Digital to Analog (DA) converters so that the DA converters supply appropriate voltages. Then we convert the digital numbers n.sub.0L and n.sub.0R into analog voltages, V.sub.L and V.sub.R, which are supplied to two motors in the vehicle subsystem, and driving the left motor and the right motor with V.sub.L and V.sub.R as shown in the "Motor-driver circuits" in FIG. 15. These tasks are done in Interface Routine (I) in FIG. 15.
The following tasks are executed by Interface Routine (II) in FIG. 15. Pulses are sent from the encoders to the encoder reading counters, then the incremental pulse count .DELTA..sub.NL from the left encoder, and the incremental pulse count .DELTA..sub.NR from the right encoder for the last sampling interval are obtained. Then the left wheel's incremental motion .DELTA.d.sub.L and the right wheel's incremental motion .DELTA.d.sub.R are computed as ##EQU41## where N is the number of pulses generated by the encoder for one complete turn, G is the gear ratio, and d is the diameter of the wheel.
Lastly the incremental vehicle movement distance .DELTA.s at the vehicle center and the incremental vehicle heading change .DELTA..theta. during the previous sampling time interval .DELTA.t are computed as ##EQU42##
This concludes the task of Interface routine (II) in FIG. 15.
[5.2] Embodiment for Bicycle
A bicycle has one front-steering wheel and one rear-driving wheel [FIG. 17]. Let D be the distance between both wheels. The origin for the vehicle coordinate system is set at the rear wheel and its X-axis is defined as the direction from the rear to the front wheel. Therefore, the steering angle .phi. is given by ##EQU43## and hence
Obviously, the rear wheel's driving speed .upsilon..sub.0 must be equal to the commanded speed .upsilon..sub.c :
Thus, the commanded motion (.upsilon..sub.c, .kappa..sub.c) is converted into the vehicle control variable set, (.phi., .upsilon..sub.0).
[5.3] Embodiment for Car-Like Vehicle.
A car-like vehicle has two steering front wheels and two driving rear wheels [FIG. 18]. Let D be the distance between the front and rear wheel axles and 2W be the distance between the left and right wheels in each wheel axle. The Y.sub.V axis is set to the rear wheel axle and the origin O.sub.V is set at the middle point of the two rear wheels.
Therefore, the steering angles .phi..sub.L and .phi..sub.R for the front-left and front-right wheels are given by ##EQU44## and hence, ##EQU45## The rear wheel's driving speeds, .upsilon..sub.R and .upsilon..sub.L are obtained by ##EQU46## Thus, the commanded motion (.upsilon..sub.c, .kappa..sub.c) is converted into the Vehicle's control variable set (.phi..sub.R, .phi..sub.L, .upsilon..sub.R, .upsilon..sub.L).
From the embodiments for a bicycle and for a car-like vehicle, it is straight forward to introduce an embodiment scheme for a tricycle that has one steering front wheel and two driving rear wheels.
[5.4] Embodiment for Simulator
As a special case, we have a Vehicle-Dependent Subsystem that precisely embodies the commanded speed and commanded curvature. Since the commanded speed .upsilon..sub.c is precisely attained,
and since the commanded curvature is also strictly attained,
This special "Vehicle-Dependent System" is used for a simulator.
Simulation and Experimental Results
The following simulation and experimental results demonstrate the effectiveness, stability, precision, and robustness of vehicle behaviors controlled by this method.
In FIG. 19, the vehicle has been tracking a straight line from the left, y=100, up to point (0,100). After leaving this point, it starts tracking the X-axis, y=0, with smoothness of .sigma.=20, 40, and 80 respectively. A larger .sigma. makes the behavior smoother. The solid lines are obtained numerical simulation and the broken lines are from the real experimental data by the autonomous robot Yamabico. These trajectories demonstrate the effect of using distinct smoothness. The experimental results are satisfactory.
FIG. 20 depicts a vehicle's behavior of tracking a path consisting of several straight lines with the size (0.1) of smoothness .sigma. in a street environment. The smoothness is 0.1, where the size of each block is 1. The small ticks show the neutral switching points.
FIG. 21 is similar to FIG. 20 except that the smoothness is 0.3 instead of 0.1. Therefore, the behavior is smoother and is recommended for a faster motion.
FIG. 22 is the simulation results of tracking a circle with a radius of 10 after leaving the inside circle with a radius of 8, with smoothness of .sigma.=1, 2, 4, and 8. A larger .sigma. makes its converging behavior slower. Notice that each trajectory never intersects the reference circle.
FIG. 23 depicts how this algorithm makes a vehicle track a series of circles. The first and third circles (from left) are counterclockwise and others are clockwise. Again the small ticks show the neutral switching points.
Obviously many modifications and variations of the present invention are possible in light of the above teachings. It is, therefore, to be understood that the present invention may be practiced within the scope of the claims other than as specifically described.