Nav2 Navigation Stack - lyrical  lyrical
ROS 2 Navigation Stack
navfn_planner.cpp
1 // Copyright (c) 2018 Intel Corporation
2 // Copyright (c) 2018 Simbe Robotics
3 // Copyright (c) 2019 Samsung Research America
4 //
5 // Licensed under the Apache License, Version 2.0 (the "License");
6 // you may not use this file except in compliance with the License.
7 // You may obtain a copy of the License at
8 //
9 // http://www.apache.org/licenses/LICENSE-2.0
10 //
11 // Unless required by applicable law or agreed to in writing, software
12 // distributed under the License is distributed on an "AS IS" BASIS,
13 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14 // See the License for the specific language governing permissions and
15 // limitations under the License.
16 
17 // Navigation Strategy based on:
18 // Brock, O. and Oussama K. (1999). High-Speed Navigation Using
19 // the Global Dynamic Window Approach. IEEE.
20 // https://cs.stanford.edu/group/manips/publications/pdfs/Brock_1999_ICRA.pdf
21 
22 // #define BENCHMARK_TESTING
23 
24 #include "nav2_navfn_planner/navfn_planner.hpp"
25 
26 #include <chrono>
27 #include <cmath>
28 #include <iomanip>
29 #include <iostream>
30 #include <limits>
31 #include <memory>
32 #include <string>
33 #include <vector>
34 
35 #include "builtin_interfaces/msg/duration.hpp"
36 #include "nav2_navfn_planner/navfn.hpp"
37 #include "nav2_util/costmap.hpp"
38 #include "nav2_ros_common/node_utils.hpp"
39 #include "nav2_costmap_2d/cost_values.hpp"
40 #include "nav2_ros_common/tf2_factories.hpp"
41 
42 using namespace std::chrono_literals;
43 using namespace std::chrono; // NOLINT
44 using rcl_interfaces::msg::ParameterType;
45 using std::placeholders::_1;
46 
47 namespace nav2_navfn_planner
48 {
49 
50 NavfnPlanner::NavfnPlanner()
51 : tf_(nullptr), costmap_(nullptr)
52 {
53 }
54 
56 {
57  RCLCPP_INFO(
58  logger_, "Destroying plugin %s of type NavfnPlanner",
59  name_.c_str());
60 }
61 
62 void
64  const nav2::LifecycleNode::WeakPtr & parent,
65  std::string name, nav2::TransformBuffer::SharedPtr tf,
66  std::shared_ptr<nav2_costmap_2d::Costmap2DROS> costmap_ros)
67 {
68  tf_ = tf;
69  name_ = name;
70  costmap_ = costmap_ros->getCostmap();
71  global_frame_ = costmap_ros->getGlobalFrameID();
72 
73  node_ = parent;
74  auto node = parent.lock();
75  clock_ = node->get_clock();
76  logger_ = node->get_logger();
77 
78  RCLCPP_INFO(
79  logger_, "Configuring plugin %s of type NavfnPlanner",
80  name_.c_str());
81 
82  // Handles storage and dynamic configuration of parameters.
83  // Returns pointer to data current param settings.
84  param_handler_ = std::make_unique<ParameterHandler>(
85  node, name_, logger_);
86  params_ = param_handler_->getParams();
87 
88  // Create a planner based on the new costmap size
89  planner_ = std::make_unique<NavFn>(
90  costmap_->getSizeInCellsX(),
91  costmap_->getSizeInCellsY());
92 }
93 
94 void
96 {
97  RCLCPP_INFO(
98  logger_, "Activating plugin %s of type NavfnPlanner",
99  name_.c_str());
100  param_handler_->activate();
101 }
102 
103 void
105 {
106  RCLCPP_INFO(
107  logger_, "Deactivating plugin %s of type NavfnPlanner",
108  name_.c_str());
109  param_handler_->deactivate();
110 }
111 
112 void
114 {
115  RCLCPP_INFO(
116  logger_, "Cleaning up plugin %s of type NavfnPlanner",
117  name_.c_str());
118  planner_.reset();
119 }
120 
121 nav_msgs::msg::Path NavfnPlanner::createPlan(
122  const geometry_msgs::msg::PoseStamped & start,
123  const geometry_msgs::msg::PoseStamped & goal,
124  const std::vector<geometry_msgs::msg::PoseStamped> & viapoints,
125  std::function<bool()> cancel_checker)
126 {
127  std::unique_lock<nav2_costmap_2d::Costmap2D::mutex_t> costmap_lock(
128  *(costmap_->getMutex()));
129 
130 #ifdef BENCHMARK_TESTING
131  steady_clock::time_point a = steady_clock::now();
132 #endif
133 
134  if (!viapoints.empty()) {
135  RCLCPP_WARN(logger_, "Received %zu viapoints, but this planner ignores them",
136  viapoints.size());
137  }
138 
139  std::lock_guard<std::mutex> lock_reinit(param_handler_->getMutex());
140  unsigned int mx_start, my_start, mx_goal, my_goal;
141  if (!costmap_->worldToMap(start.pose.position.x, start.pose.position.y, mx_start, my_start)) {
143  "Start Coordinates of(" + std::to_string(start.pose.position.x) + ", " +
144  std::to_string(start.pose.position.y) + ") was outside bounds");
145  }
146 
147  if (!costmap_->worldToMap(goal.pose.position.x, goal.pose.position.y, mx_goal, my_goal)) {
149  "Goal Coordinates of(" + std::to_string(goal.pose.position.x) + ", " +
150  std::to_string(goal.pose.position.y) + ") was outside bounds");
151  }
152 
153  if (params_->tolerance == 0 && costmap_->getCost(mx_goal,
154  my_goal) == nav2_costmap_2d::LETHAL_OBSTACLE)
155  {
157  "Goal Coordinates of(" + std::to_string(goal.pose.position.x) + ", " +
158  std::to_string(goal.pose.position.y) + ") was in lethal cost");
159  }
160 
161  // Update planner based on the new costmap size
162  if (isPlannerOutOfDate()) {
163  planner_->setNavArr(
164  costmap_->getSizeInCellsX(),
165  costmap_->getSizeInCellsY());
166  }
167 
168  nav_msgs::msg::Path path;
169 
170  // Corner case of the start(x,y) = goal(x,y)
171  if (start.pose.position.x == goal.pose.position.x &&
172  start.pose.position.y == goal.pose.position.y)
173  {
174  path.header.stamp = clock_->now();
175  path.header.frame_id = global_frame_;
176  geometry_msgs::msg::PoseStamped pose;
177  pose.header = path.header;
178  pose.pose.position.z = 0.0;
179 
180  pose.pose = start.pose;
181  // if we have a different start and goal orientation, set the unique path pose to the goal
182  // orientation, unless use_final_approach_orientation=true where we need it to be the start
183  // orientation to avoid movement from the local planner
184  if (start.pose.orientation != goal.pose.orientation &&
185  !params_->use_final_approach_orientation)
186  {
187  pose.pose.orientation = goal.pose.orientation;
188  }
189  path.poses.push_back(pose);
190  return path;
191  }
192 
193  if (!makePlan(start.pose, goal.pose, params_->tolerance, cancel_checker, path)) {
195  "Failed to create plan with tolerance of: " + std::to_string(params_->tolerance) );
196  }
197 
198 
199 #ifdef BENCHMARK_TESTING
200  steady_clock::time_point b = steady_clock::now();
201  duration<double> time_span = duration_cast<duration<double>>(b - a);
202  std::cout << "It took " << time_span.count() * 1000 << std::endl;
203 #endif
204 
205  return path;
206 }
207 
208 bool
210 {
211  if (!planner_.get() ||
212  planner_->nx != static_cast<int>(costmap_->getSizeInCellsX()) ||
213  planner_->ny != static_cast<int>(costmap_->getSizeInCellsY()))
214  {
215  return true;
216  }
217  return false;
218 }
219 
220 bool
222  const geometry_msgs::msg::Pose & start,
223  const geometry_msgs::msg::Pose & goal, double tolerance,
224  std::function<bool()> cancel_checker,
225  nav_msgs::msg::Path & plan)
226 {
227  // clear the plan, just in case
228  plan.poses.clear();
229 
230  plan.header.stamp = clock_->now();
231  plan.header.frame_id = global_frame_;
232 
233  double wx = start.position.x;
234  double wy = start.position.y;
235 
236  RCLCPP_DEBUG(
237  logger_, "Making plan from (%.2f,%.2f) to (%.2f,%.2f)",
238  start.position.x, start.position.y, goal.position.x, goal.position.y);
239 
240  std::unique_lock<nav2_costmap_2d::Costmap2D::mutex_t> lock(*(costmap_->getMutex()));
241 
242  unsigned int mx, my;
243  worldToMap(wx, wy, mx, my);
244 
245  // clear the starting cell within the costmap because we know it can't be an obstacle
246  clearRobotCell(mx, my);
247 
248  // make sure to resize the underlying array that Navfn uses
249  planner_->setNavArr(
250  costmap_->getSizeInCellsX(),
251  costmap_->getSizeInCellsY());
252 
253  planner_->setCostmap(costmap_->getCharMap(), true, params_->allow_unknown);
254 
255  int map_start[2];
256  map_start[0] = mx;
257  map_start[1] = my;
258 
259  wx = goal.position.x;
260  wy = goal.position.y;
261 
262  worldToMap(wx, wy, mx, my);
263  int map_goal[2];
264  map_goal[0] = mx;
265  map_goal[1] = my;
266 
267  planner_->setStart(map_goal);
268  planner_->setGoal(map_start);
269  if (params_->use_astar) {
270  planner_->calcNavFnAstar(cancel_checker);
271  } else {
272  planner_->calcNavFnDijkstra(cancel_checker, true);
273  }
274 
275  double resolution = costmap_->getResolution();
276  geometry_msgs::msg::Pose p, best_pose;
277 
278  bool found_legal = false;
279 
280  p = goal;
281  double potential = getPointPotential(p.position);
282  if (potential < POT_HIGH) {
283  // Goal is reachable by itself
284  best_pose = p;
285  found_legal = true;
286  } else {
287  // Goal is not reachable. Trying to find nearest to the goal
288  // reachable point within its tolerance region
289  double best_sdist = std::numeric_limits<double>::max();
290 
291  p.position.y = goal.position.y - tolerance;
292  while (p.position.y <= goal.position.y + tolerance) {
293  p.position.x = goal.position.x - tolerance;
294  while (p.position.x <= goal.position.x + tolerance) {
295  potential = getPointPotential(p.position);
296  if (potential < POT_HIGH) {
297  double sdist = squared_distance(p, goal);
298  if (sdist < best_sdist) {
299  best_sdist = sdist;
300  best_pose = p;
301  found_legal = true;
302  }
303  }
304  p.position.x += resolution;
305  }
306  p.position.y += resolution;
307  }
308  }
309 
310  if (found_legal) {
311  // extract the plan
312  if (getPlanFromPotential(best_pose, plan)) {
313  smoothApproachToGoal(best_pose, plan);
314 
315  // If use_final_approach_orientation=true, interpolate the last pose orientation from the
316  // previous pose to set the orientation to the 'final approach' orientation of the robot so
317  // it does not rotate.
318  // And deal with corner case of plan of length 1
319  if (params_->use_final_approach_orientation) {
320  size_t plan_size = plan.poses.size();
321  if (plan_size == 1) {
322  plan.poses.back().pose.orientation = start.orientation;
323  } else if (plan_size > 1) {
324  double dx, dy, theta;
325  auto last_pose = plan.poses.back().pose.position;
326  auto approach_pose = plan.poses[plan_size - 2].pose.position;
327  // Deal with the case of NavFn producing a path with two equal last poses
328  if (std::abs(last_pose.x - approach_pose.x) < 0.0001 &&
329  std::abs(last_pose.y - approach_pose.y) < 0.0001 && plan_size > 2)
330  {
331  approach_pose = plan.poses[plan_size - 3].pose.position;
332  }
333  dx = last_pose.x - approach_pose.x;
334  dy = last_pose.y - approach_pose.y;
335  theta = atan2(dy, dx);
336  plan.poses.back().pose.orientation =
337  nav2_util::geometry_utils::orientationAroundZAxis(theta);
338  }
339  }
340  } else {
341  RCLCPP_ERROR(
342  logger_,
343  "Failed to create a plan from potential when a legal"
344  " potential was found. This shouldn't happen.");
345  }
346  }
347 
348  return !plan.poses.empty();
349 }
350 
351 void
353  const geometry_msgs::msg::Pose & goal,
354  nav_msgs::msg::Path & plan)
355 {
356  if (plan.poses.size() >= 2) {
357  auto second_to_last_pose = plan.poses.end()[-2];
358  auto last_pose = plan.poses.back();
359  // Replace the last pose of the computed path if it's actually further away
360  // to the second to last pose than the goal pose.
361  if (
362  squared_distance(last_pose.pose, second_to_last_pose.pose) >
363  squared_distance(goal, second_to_last_pose.pose))
364  {
365  plan.poses.back().pose = goal;
366  return;
367  }
368  // Replace the last pose of the computed path if its position matches but orientation differs
369  if (squared_distance(last_pose.pose, goal) < 1e-6) {
370  plan.poses.back().pose = goal;
371  return;
372  }
373  }
374  geometry_msgs::msg::PoseStamped goal_copy;
375  goal_copy.pose = goal;
376  goal_copy.header = plan.header;
377  plan.poses.push_back(goal_copy);
378 }
379 
380 bool
382  const geometry_msgs::msg::Pose & goal,
383  nav_msgs::msg::Path & plan)
384 {
385  // clear the plan, just in case
386  plan.poses.clear();
387 
388  // Goal should be in global frame
389  double wx = goal.position.x;
390  double wy = goal.position.y;
391 
392  // the potential has already been computed, so we won't update our copy of the costmap
393  unsigned int mx, my;
394  worldToMap(wx, wy, mx, my);
395 
396  int map_goal[2];
397  map_goal[0] = mx;
398  map_goal[1] = my;
399 
400  planner_->setStart(map_goal);
401 
402  const int max_dimension = static_cast<int>(
403  costmap_->getSizeInCellsX() >= costmap_->getSizeInCellsY() ?
404  costmap_->getSizeInCellsX() : costmap_->getSizeInCellsY());
405  const int max_cycles = max_dimension * params_->max_cycles_factor;
406 
407  int path_len = planner_->calcPath(max_cycles);
408  if (path_len == 0) {
409  return false;
410  }
411 
412  auto cost = planner_->getLastPathCost();
413  RCLCPP_DEBUG(
414  logger_,
415  "Path found, %d steps, %f cost\n", path_len, cost);
416 
417  // extract the plan
418  float * x = planner_->getPathX();
419  float * y = planner_->getPathY();
420  int len = planner_->getPathLen();
421 
422  for (int i = len - 1; i >= 0; --i) {
423  // convert the plan to world coordinates
424  double world_x, world_y;
425  mapToWorld(x[i], y[i], world_x, world_y);
426 
427  geometry_msgs::msg::PoseStamped pose;
428  pose.header = plan.header;
429  pose.pose.position.x = world_x;
430  pose.pose.position.y = world_y;
431  pose.pose.position.z = 0.0;
432  pose.pose.orientation.x = 0.0;
433  pose.pose.orientation.y = 0.0;
434  pose.pose.orientation.z = 0.0;
435  pose.pose.orientation.w = 1.0;
436  plan.poses.push_back(pose);
437  }
438 
439  return !plan.poses.empty();
440 }
441 
442 double
443 NavfnPlanner::getPointPotential(const geometry_msgs::msg::Point & world_point)
444 {
445  unsigned int mx, my;
446  if (!worldToMap(world_point.x, world_point.y, mx, my)) {
447  return std::numeric_limits<double>::max();
448  }
449 
450  unsigned int index = my * planner_->nx + mx;
451  return planner_->potarr[index];
452 }
453 
454 // bool
455 // NavfnPlanner::validPointPotential(const geometry_msgs::msg::Point & world_point)
456 // {
457 // return validPointPotential(world_point, tolerance_);
458 // }
459 
460 // bool
461 // NavfnPlanner::validPointPotential(
462 // const geometry_msgs::msg::Point & world_point, double tolerance)
463 // {
464 // const double resolution = costmap_->getResolution();
465 
466 // geometry_msgs::msg::Point p = world_point;
467 // double potential = getPointPotential(p);
468 // if (potential < POT_HIGH) {
469 // // world_point is reachable by itself
470 // return true;
471 // } else {
472 // // world_point, is not reachable. Trying to find any
473 // // reachable point within its tolerance region
474 // p.y = world_point.y - tolerance;
475 // while (p.y <= world_point.y + tolerance) {
476 // p.x = world_point.x - tolerance;
477 // while (p.x <= world_point.x + tolerance) {
478 // potential = getPointPotential(p);
479 // if (potential < POT_HIGH) {
480 // return true;
481 // }
482 // p.x += resolution;
483 // }
484 // p.y += resolution;
485 // }
486 // }
487 
488 // return false;
489 // }
490 
491 bool
492 NavfnPlanner::worldToMap(double wx, double wy, unsigned int & mx, unsigned int & my)
493 {
494  if (wx < costmap_->getOriginX() || wy < costmap_->getOriginY()) {
495  return false;
496  }
497 
498  mx = static_cast<int>(
499  std::round((wx - costmap_->getOriginX()) / costmap_->getResolution()));
500  my = static_cast<int>(
501  std::round((wy - costmap_->getOriginY()) / costmap_->getResolution()));
502 
503  if (mx < costmap_->getSizeInCellsX() && my < costmap_->getSizeInCellsY()) {
504  return true;
505  }
506 
507  RCLCPP_ERROR(
508  logger_,
509  "worldToMap failed: mx,my: %d,%d, size_x,size_y: %d,%d", mx, my,
510  costmap_->getSizeInCellsX(), costmap_->getSizeInCellsY());
511 
512  return false;
513 }
514 
515 void
516 NavfnPlanner::mapToWorld(double mx, double my, double & wx, double & wy)
517 {
518  wx = costmap_->getOriginX() + mx * costmap_->getResolution();
519  wy = costmap_->getOriginY() + my * costmap_->getResolution();
520 }
521 
522 void
523 NavfnPlanner::clearRobotCell(unsigned int mx, unsigned int my)
524 {
525  // TODO(orduno): check usage of this function, might instead be a request to
526  // world_model / map server
527  costmap_->setCost(mx, my, nav2_costmap_2d::FREE_SPACE);
528 }
529 
530 } // namespace nav2_navfn_planner
531 
532 #include "pluginlib/class_list_macros.hpp"
Abstract interface for global planners to adhere to with pluginlib.
unsigned char getCost(unsigned int mx, unsigned int my) const
Get the cost of a cell in the costmap.
Definition: costmap_2d.cpp:265
unsigned char * getCharMap() const
Will return a pointer to the underlying unsigned char array used as the costmap.
Definition: costmap_2d.cpp:260
bool worldToMap(double wx, double wy, unsigned int &mx, unsigned int &my) const
Convert from world coordinates to map coordinates.
Definition: costmap_2d.cpp:292
double getResolution() const
Accessor for the resolution of the costmap.
Definition: costmap_2d.cpp:578
unsigned int getSizeInCellsX() const
Accessor for the x size of the costmap in cells.
Definition: costmap_2d.cpp:548
double getOriginY() const
Accessor for the y origin of the costmap.
Definition: costmap_2d.cpp:573
unsigned int getSizeInCellsY() const
Accessor for the y size of the costmap in cells.
Definition: costmap_2d.cpp:553
double getOriginX() const
Accessor for the x origin of the costmap.
Definition: costmap_2d.cpp:568
void setCost(unsigned int mx, unsigned int my, unsigned char cost)
Set the cost of a cell in the costmap.
Definition: costmap_2d.cpp:275
double squared_distance(const geometry_msgs::msg::Pose &p1, const geometry_msgs::msg::Pose &p2)
Compute the squared distance between two points.
double getPointPotential(const geometry_msgs::msg::Point &world_point)
Compute the potential, or navigation cost, at a given point in the world must call computePotential f...
nav_msgs::msg::Path createPlan(const geometry_msgs::msg::PoseStamped &start, const geometry_msgs::msg::PoseStamped &goal, const std::vector< geometry_msgs::msg::PoseStamped > &viapoints, std::function< bool()> cancel_checker) override
Creating a plan from start and goal poses.
void activate() override
Activate lifecycle node.
void mapToWorld(double mx, double my, double &wx, double &wy)
Transform a point from map to world frame.
bool makePlan(const geometry_msgs::msg::Pose &start, const geometry_msgs::msg::Pose &goal, double tolerance, std::function< bool()> cancel_checker, nav_msgs::msg::Path &plan)
Compute a plan given start and goal poses, provided in global world frame.
bool worldToMap(double wx, double wy, unsigned int &mx, unsigned int &my)
Transform a point from world to map frame.
bool isPlannerOutOfDate()
Determine if a new planner object should be made.
void configure(const nav2::LifecycleNode::WeakPtr &parent, std::string name, nav2::TransformBuffer::SharedPtr tf, std::shared_ptr< nav2_costmap_2d::Costmap2DROS > costmap_ros) override
Configuring plugin.
void clearRobotCell(unsigned int mx, unsigned int my)
Set the corresponding cell cost to be free space.
void smoothApproachToGoal(const geometry_msgs::msg::Pose &goal, nav_msgs::msg::Path &plan)
Remove artifacts at the end of the path - originated from planning on a discretized world.
void cleanup() override
Cleanup lifecycle node.
void deactivate() override
Deactivate lifecycle node.
bool getPlanFromPotential(const geometry_msgs::msg::Pose &goal, nav_msgs::msg::Path &plan)
Compute a plan to a goal from a potential - must call computePotential first.