Abstract
Mobile robots are increasingly used for service-like applications in which the service points are known and the mobile robot starts from a starting location, visits all the service points requested and returns to the starting location. The tour construction problem in these applications can be treated as a Travelling Salesman Problem (TSP). Classical tour construction algorithms that are proposed for the TSP find tours do not consider robot kinematic constraints. These tours may have sharp turns at some service points. When a mobile robot follows such a tour, it stops, turns and speeds up again. Therefore, the robots waste a considerable amount of power and time. In these cases, tour smoothing can be used to overcome this problem. However, smoothing an existing tour may result in unnecessarily long tours. In this study, a Smooth Tour Construction (STC) approach is proposed for mobile robots with kinematic constraints. The STC approach considers tour construction and tour smoothing concurrently. The logic behind the tour construction part of the approach is based on the Savings Algorithm (SA). The tour smoothing is based on Dubins' arc-line approach. Experiments are conducted for P3-DX robots in a laboratory environment. Comparisons are also drawn with various tour smoothing algorithms in simulation environments to demonstrate the effectiveness of the proposed STC approach.
1. Introduction
Nonholonomic mobile robots are increasingly used in environments such as offices, hospitals, houses and outdoors ([1], [2]) for service-type applications. In these applications, the service points are known, and the mobile robot starts from a starting location, visits all the service asking points and returns to the starting location. This problem is a tour construction problem and can be treated as a Travelling Salesman Problem (TSP) [3] that finds a tour for a salesman who starts from a home location, visits a prescribed set of cities and returns to the original location via the minimum possible distance [4].
In the literature, there are studies which apply TSP to mobile robot path planning problems ([5], [6]). In their work, Yu et al. [5] described how to apply a genetic algorithm to find a globally sub-optimal path for a robot group. They formulized the path planning problem for the robot group as a multiple Travelling Salesman Problem that employs either total-path-shortest or longest-path-shortest as the evaluating criterion. In [6], a heuristic-based TSP approach is applied to the tour construction problem of a mobile robot in a dynamic environment. In this study, a method that is a combination of the Savings and Dijkstra algorithms is proposed to construct tours in real time. It was shown through simulations and experiments that tours are constructed in real time. The proposed method also constructs a tour in cases of changes in the network structure. However, the works mentioned above do not consider mobile robot kinematic constraints during tour construction. Because the resulting tour of a classical TSP has sharp turns, when the mobile robot follows such a tour, it must slow down, orient itself and then accelerate. These turns take a significant amount of time. Therefore, smooth tours are preferred for real applications. Smooth tour construction which considers kinematic constraints is a difficult problem.
A similar problem is widely studied ([8], [9], [10]) for classical start-goal oriented path planning problems, which differ from the TSP. In [8], a smooth path planning method for a car-like vehicle is presented. In [9], a smooth motion planning for differential driving mobile robots is presented. In [10], a smooth path planning approach is proposed and compared with path smoothing for a differential driving mobile robot with kinematic constraints. As mentioned before, start-goal oriented path planning differs from the tour construction problem considered in this paper.
There are a few approaches that consider mobile robot kinematic constraints for a Travelling Salesman Problem. In [11], the authors defined tour construction problems for mobile robots with kinematic constraints. They proposed an algorithm to smooth a constructed tour for a mobile robot. The tour smoothing is achieved using the circular arcs-lines [7] approach based alternating algorithm. Therefore, tour construction and smoothing are decoupled.
In this study, tour construction and smoothing are coupled for service-like problems, considering mobile robot kinematic constraints. Finding the optimal solution of a TSP is time-consuming because of the NP-Hard nature of the TSP. For this reason, the heuristic approach used in [6] is extended to take the mobile robot kinematic constraints into consideration.
In the following section, the mobile robot kinematic model, the Travelling Salesman Problem and the tour smoothing are briefly presented. In section 3, the proposed smooth tour construction approach is explained. An application of the proposed method for dynamic environments is also described. Experimental results for P3-DX robots in a laboratory environment and comparisons with various tour smoothing algorithms in simulation environments are described in Section 4. The conclusions are given in the last section.
2. Preliminaries
The problem considered in this paper is composed of two main components: the mobile robot kinematic constraints and the tour construction problem. In the following subsection, the kinematic model of a differential-drive mobile robot used in our laboratory is presented. Next, the basics of the tour construction problem, the Travelling Salesman Problem and the solution approach are given.
2.1 Mobile Robot Kinematic model and path tracking problem
Most Wheeled Mobile Robots (WMRs) have differential drives. The P3-DX mobile robot is an example of this type of robot (Fig. 1 (a)); the P3-DX has two main wheels attached to its motors and a caster wheel placed in the rear. Let (xR, yR) be the position of the robot, and θR the heading of the robot.

In the compact form, the kinematics of the robot can be modelled by the equation
where, in general,
where

A curvature trajectory
In Fig. 2,
Note that under the assumption
If a tour and its first derivative are continuous (e.g., combinations of lines and arcs of circles with a minimum turning radius that are tangent at some defined points), then a car-like or differential-drive mobile robot can track such a tour with zero tracking error [12]. However, if the tour is continuous without a continuous derivative (e.g., just a combination of straight lines), only a differential-drive mobile robot can track the tour with zero tracking error. However, in the case of such a tour, a differential mobile robot should stop, reorient itself and then accelerate at line-intersection points. During the application, these turns take a significant amount of time [13]. Therefore, for differential-drive mobile robots, a continuous first derivative is preferable for tracking. The differential-drive mobile robot can track such a smooth tour using the following kinematic controller [14]:
where
2.2 The Travelling Salesman Problem and tour smoothing
In the tour construction problems, the robot is required to visit a set of points and return to the starting location. This can be considered as a Travelling Salesman Problem (TSP). The TSP involves finding a route for a salesman who starts from a home location, visits a prescribed set of cities and returns to the original location in such a way that the total distance travelled is minimized and each city is visited exactly once [4]. The TSP is one of the most widely studied combinatorial optimization problems [15]. It requires a network modelling of the problem. A network can be represented as a graph
The Savings Algorithm (SA) [16] is a typical tour construction method. It is flexible enough to handle a wide range of practical constraints [17]. Although the Savings Algorithm does not guarantee the optimal solution, it constructs a tour very fast. It is shown that, on average, the results of the Savings Algorithm are 6.71% away from the optimal solution [18]. It starts with a subset of points linked in a cycle and adds the others one by one until the cycle is complete. Therefore, it is a complete algorithm. The complexity of the algorithm is O(

A typical TSP tour
Note that a differential-drive mobile robot can follow the tour in Figure 3 with zero tracking error. However, it will decelerate, stop and accelerate at each node, as in [6]. These turns take a significant amount of time and cause errors in the sensors' perception of the environment. Note that the initial and final orientations of the mobile robot are also not considered in this tour. Assuming that the robot starts with an initial orientation of
Step 1: Set
Step 2: If not defined, set
Step 3: Construct the smooth tour
Note that the approach in [7] finds the minimal length path between two points with described initial and terminal positions and tangents. In step 2, the orientations at each node can be directly assigned by the user. These can also be set to the value of the slope of the line between before-current nodes, current-after nodes or before-after nodes.

Smoothing of a tour of a SA using a) the TS Algorithm or b) The alternating algorithm [11]
The resulting tour obtained by the SA (Figure 3) is smoothed using the TS algorithm as in Figure 4.a. In Figure 4.b., the Alternating Algorithm (AA) [11] is also used to smooth the tour constructed by the SA. In either case, smoothing a constructed tour may result in a longer tour depending on the radius of the smoothing arc. In this study, a coupled tour construction and smoothing are proposed for mobile robots with kinematic constraints. The proposed approach is given in the next section.
3. The proposed smooth tour construction approach
A mobile robot with kinematic constraints (i.e., a minimum turning radius) that starts from a node, visits the required nodes and returns to the same location can be treated as a Dubins TSP; it is still NP-hard [11]. It can be solved using the approach in [11], but smoothing an existing tour may result in an unnecessarily long tour. A coupled tour construction and tour smoothing may reduce the tour. Therefore, a Smooth Tour Construction (STC) approach is proposed for mobile robots with kinematic constraints. The STC approach considers tour construction and tour smoothing concurrently. The logic behind the tour construction part is based on the SA tour construction method [6]. Additionally, it uses the TS algorithm given in section 2.2. The proposed approach also considers the mobile robot's initial and final orientation.
Assume a mobile robot starts from a node with an initial orientation of
i- Set the robot's initial orientation
ii- Calculate the savings Sij = d0i +dj0 -dij for all pairs of i,j ∈
iii- Sort the savings in a non-increasing order. Select the first i,j pair from the list and construct an initial smooth tour
Main Step:
Insert each node j ∈
If
If 2 ⩽
If
Sort the savings in non-increasing order, remove the node
If
In this algorithm, the Initialization Step is used to determine an initial smooth tour segment
The STC algorithm adds one of the eligible nodes to the tour at each step by considering the smooth transitions in the tour. This is repeated until there are no nodes left in
When the robot starts the tour from the home location, the proposed STC algorithm is used to construct the tour. If changes in service requests and/or arc status occur while following the tour, the current position of the robot is assumed to be connected to the home location. This is firstly handled in the Initialization Step. In Step 1, the unvisited remaining nodes are stored in
4. Applications
Experiments and simulations were performed to show the effectiveness of the proposed approach. Experiments were conducted of the smooth tour construction of Pioneer 3-DX (P3-DX) mobile robots. Simulations were performed for test problems.
4.1. Experimental results for the tour construction of P3-DX Mobile Robots
A platform at the Eskisehir Osmangazi University (ESOGU) Artificial Intelligence & Robotic Laboratory [20] (Figure 5) was used as a test bed. The nodes and a picture of the laboratory environment are given in Figure 5.a-b. The laboratory is a 25-node test environment and is assumed to be fully connected without loss of generality. This platform was also used to test various planning algorithms on P3-DX robots ([6], [13]).
The P3-DX robot used in the studies has an on-board P3-800 computer with Linux OS. The sensors on the robot include a SICK LMS laser range finder, sonar sensors, a camera, and a compass. A wireless network is set for communication with other robots and computers. There are cameras on the ceiling for the localization. The location of each robot is calculated and sent to the robots via the wireless network. The low-level control of the robot is carried out using a behaviour-based control approach. The necessary behaviours, such as obstacle avoidance, wandering, moving toward the goal, tracking a reference path, etc. are developed.

The ESOGU-AIRLAB: a) The placement of the nodes and b) A representative photo.

Maximum translational speed versus the smoothing arc radius

Test of the SA a) start Node is 1 and b) the start node is 5
The mobile robot uses the “moving toward the goal” behaviour to track any tour with sharp turns. In this case, the robot decelerates, stops and accelerates at each node. The acceleration and deceleration values are 300
In the experimental part, the algorithms SA, SA-TS and the proposed STC are compared in terms of travel distance and travel time. In the first application, the robot is assumed to be at node 1 (starting Node S) with an initial orientation angle of 0° and visits only nodes 1–14 and 17 and then returns to the charging point with an orientation angle of 90°. The SA plans the tour and the robot visits the nodes in the following order T=[1, 2,3,4,12,5,6, 7,10,17,8,9,11, 14,13,1] as shown in Figure 7.a. The length of this tour is 2309.89 cm, and the robot can complete this tour in 271.06 s. In the second application, when the robot arrives at node 5, nodes 15–16 and 18–25 request service after the robot has visited nodes 2,3,4,1 and 2. The cost of the completed tour is 727.23 cm, which was travelled in 82.6 s. In this case, the SA given in [6] is able to find a tour in such a dynamic case. The required remaining nodes are used to plan a tour T=[1, 2,3,4,12,5,6,7,10,17,8,9,11,14,13,1] as shown in Figure 7.b. The length of this tour is 2399.25 cm and the robot can complete this in 288.9 s. Note that these tours are followed by the mobile robot using the “moving toward the goal” behaviour; therefore, the WMR decelerates, stops and accelerates at each node.

Tours for SA-TS and STC for
In the third application, the SA-Tour Smoothing (TS) and Smooth Tour Construction (STC) are compared. The experimental settings are the same as in the previous applications (see Figure 7). Both SA-TS and STC have the same results as in Figure 8.a for a smoothing radius of
In the fourth application, the effect of the tour smoothing radius is examined. Considering the same experimental settings of Figure 7.a, the SA-TS and STC have different results, as shown in Figure 9.a-b, for a smoothing radius of
4.2. Comparisons of the SA, SA-ST, SA-AA, and STC methods
In this subsection, the results of the SA, SA-TS, SA-AA and STC are compared for all possible initial start nodes for the environment in Figure 6. During the simulations, the start node is changed and the planner is asked to visit all the nodes in Figure 6 and then return to node 1 again. Comparisons are made for the smoothing radius of 35 cm and 45 cm in Table 1 and Table 2, respectively. In these tables, the first column shows the initial start node, and TD and TT after the methods denotes the travel distance and travel time, respectively. The last row shows the average values of these values for all possible initial start nodes.
Note that in each table, the SA-TS, SA-AA or STC approaches increase the total travel distance. The average travel distance and travel time of SA-TS and SA-AA are higher than the proposed STC approach. The STC also has a better average travel time than the SA approach. For the 25 node problem, the SA calculation time is approximately 3ms for all the initial start nodes. The STC method calculates the tours at approximately 0.3s. The travel time cost benefit is acceptable.
The results of the methods for a smoothing radius of
The results of the methods for a smoothing radius of
Simulations are also conducted to find the effect of the radius of the smoothing arc (
For the lower values of the smoothing radius (
The STC has the minimum average travel time value for a smoothing radius of approximately 90 cm. This can also be used to find the optimum tour smoothing radius value for the minimum time completion of a task in a given environment.
4.3. Comparison of SA-TS, SA-AA and STC on test problems from TSPLIB
The methods are compared with Eil51 and Eil76 TSP-test problems from TSPLIB [21] in terms of the average travel distance (Fig 11). Considering the dimensions of the test problems, the range of the radius is selected between 0–5 units. Because they are test problems, no velocity is defined.
Considering Figure 11.a.b, the SA-TS and STC distances are almost the same at a radius interval of 0–2 units. They have the same cost values when
As a result, the proposed STC method has an advantage over smoothing an existing tour for higher smoothing radius (

The result of the tours for

a) Average travel distance versus

Travel Distance versus
5. Conclusion
In this study, a smooth tour construction algorithm is proposed and tested for P3-DX robots and TSPLIB test problems. As the radius of the smoothing-arc increases, smoothing an existing tour leads to longer travel distances and travel times. Therefore, smooth tour construction is needed for efficient travel distance and travel time tours. The proposed approach can be used to find the optimal tour radius of the smoothing-arc for a minimum time tour for a given task environment. The proposed approach is also tested for dynamic cases. In future works, multi-robot applications will be considered.
Footnotes
11. Acknowledgements
This work was partially supported by the Research Fund of Eskişehir Osmangazi University under Contract 201215013.
