trajectory_generator.h

Go to the documentation of this file.

/*
 * Copyright (c) 2018 Pilz GmbH & Co. KG
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.

 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.

 * You should have received a copy of the GNU Lesser General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef TRAJECTORYGENERATOR_H
#define TRAJECTORYGENERATOR_H

#include <string>
#include <sstream>

#include <moveit/robot_model/robot_model.h>
#include <moveit/planning_interface/planning_interface.h>
#include <Eigen/Geometry>
#include <kdl/frames.hpp>
#include <kdl/trajectory.hpp>

#include "pilz_extensions/joint_limits_extension.h"
#include "pilz_trajectory_generation/limits_container.h"
#include "pilz_trajectory_generation/trajectory_functions.h"
#include "pilz_trajectory_generation/trajectory_generation_exceptions.h"

using namespace pilz_trajectory_generation;

namespace pilz
{

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(TrajectoryGeneratorInvalidLimitsException, moveit_msgs::MoveItErrorCodes::FAILURE);

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(VelocityScalingIncorrect, moveit_msgs::MoveItErrorCodes::INVALID_MOTION_PLAN);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(AccelerationScalingIncorrect, moveit_msgs::MoveItErrorCodes::INVALID_MOTION_PLAN);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(UnknownPlanningGroup, moveit_msgs::MoveItErrorCodes::INVALID_GROUP_NAME);

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(NoJointNamesInStartState, moveit_msgs::MoveItErrorCodes::INVALID_ROBOT_STATE);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(SizeMismatchInStartState, moveit_msgs::MoveItErrorCodes::INVALID_ROBOT_STATE);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(JointsOfStartStateOutOfRange, moveit_msgs::MoveItErrorCodes::INVALID_ROBOT_STATE);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(NonZeroVelocityInStartState, moveit_msgs::MoveItErrorCodes::INVALID_ROBOT_STATE);

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(NotExactlyOneGoalConstraintGiven, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(OnlyOneGoalTypeAllowed, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(StartStateGoalStateMismatch, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(JointConstraintDoesNotBelongToGroup, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(JointsOfGoalOutOfRange, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);

CREATE_MOVEIT_ERROR_CODE_EXCEPTION(PositionConstraintNameMissing, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(OrientationConstraintNameMissing, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(PositionOrientationConstraintNameMismatch, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(NoIKSolverAvailable, moveit_msgs::MoveItErrorCodes::NO_IK_SOLUTION);
CREATE_MOVEIT_ERROR_CODE_EXCEPTION(NoPrimitivePoseGiven, moveit_msgs::MoveItErrorCodes::INVALID_GOAL_CONSTRAINTS);

class TrajectoryGenerator
{
public:

  TrajectoryGenerator(const robot_model::RobotModelConstPtr& robot_model,
                      const pilz::LimitsContainer& planner_limits)
    :robot_model_(robot_model),
      planner_limits_(planner_limits)
  {
  }

  virtual ~TrajectoryGenerator() = default;

  bool generate(const planning_interface::MotionPlanRequest& req,
                planning_interface::MotionPlanResponse&  res,
                double sampling_time=0.1);

protected:
  class MotionPlanInfo
  {
  public:
    std::string group_name;
    std::string link_name;
    Eigen::Affine3d start_pose;
    Eigen::Affine3d goal_pose;
    std::map<std::string, double> start_joint_position;
    std::map<std::string, double> goal_joint_position;
    std::pair<std::string, Eigen::Vector3d> circ_path_point;
  };

  std::unique_ptr<KDL::VelocityProfile> cartesianTrapVelocityProfile(
      const double& max_velocity_scaling_factor,
      const double& max_acceleration_scaling_factor,
      const std::unique_ptr<KDL::Path> &path) const;

private:
  virtual void cmdSpecificRequestValidation(const planning_interface::MotionPlanRequest &req) const;

  virtual void extractMotionPlanInfo(const planning_interface::MotionPlanRequest& req,
                                     MotionPlanInfo& info) const = 0;

  virtual void plan(const planning_interface::MotionPlanRequest &req,
                    const MotionPlanInfo& plan_info,
                    const double& sampling_time,
                    trajectory_msgs::JointTrajectory& joint_trajectory) = 0;

private:
  void validateRequest(const planning_interface::MotionPlanRequest& req) const;

  void setSuccessResponse(const std::string& group_name,
                          const moveit_msgs::RobotState& start_state,
                          const trajectory_msgs::JointTrajectory& joint_trajectory,
                          const ros::Time &planning_start,
                          planning_interface::MotionPlanResponse& res) const;

  void setFailureResponse(const ros::Time &planning_start,
                          planning_interface::MotionPlanResponse& res) const;

  void checkForValidGroupName(const std::string& group_name) const;

  void checkStartState(const moveit_msgs::RobotState &start_state) const;

  void checkGoalConstraints(const moveit_msgs::MotionPlanRequest::_goal_constraints_type &goal_constraints,
                            const std::vector<std::string> &expected_joint_names,
                            const std::string &group_name) const;

  void checkJointGoalConstraint(const moveit_msgs::Constraints& constraint,
                                const std::vector<std::string>& expected_joint_names,
                                const std::string &group_name) const;

  void checkCartesianGoalConstraint(const moveit_msgs::Constraints& constraint,
                                    const std::string &group_name) const;

  void convertToRobotTrajectory(const trajectory_msgs::JointTrajectory& joint_trajectory,
                                const moveit_msgs::RobotState &start_state,
                                robot_trajectory::RobotTrajectory& robot_trajectory) const;

private:
  static bool isScalingFactorValid(const double& scaling_factor);
  static void checkVelocityScaling(const double& scaling_factor);
  static void checkAccelerationScaling(const double& scaling_factor);

  static bool isCartesianGoalGiven(const moveit_msgs::Constraints& constraint);

  static bool isJointGoalGiven(const moveit_msgs::Constraints& constraint);

  static bool isOnlyOneGoalTypeGiven(const moveit_msgs::Constraints& constraint);

protected:
  const robot_model::RobotModelConstPtr robot_model_;
  const pilz::LimitsContainer planner_limits_;
  static constexpr double MIN_SCALING_FACTOR {0.0001};
  static constexpr double MAX_SCALING_FACTOR {1.};
  static constexpr double VELOCITY_TOLERANCE {1e-8};
};

inline bool TrajectoryGenerator::isScalingFactorValid(const double& scaling_factor)
{
  return (scaling_factor > MIN_SCALING_FACTOR && scaling_factor <= MAX_SCALING_FACTOR);
}

inline bool TrajectoryGenerator::isCartesianGoalGiven(const moveit_msgs::Constraints &constraint)
{
  return constraint.position_constraints.size() == 1 && constraint.orientation_constraints.size() == 1;
}

inline bool TrajectoryGenerator::isJointGoalGiven(const moveit_msgs::Constraints& constraint)
{
  return constraint.joint_constraints.size() >= 1;
}

inline bool TrajectoryGenerator::isOnlyOneGoalTypeGiven(const moveit_msgs::Constraints& constraint)
{
  return (isJointGoalGiven(constraint) && !isCartesianGoalGiven(constraint))
      || (!isJointGoalGiven(constraint) && isCartesianGoalGiven(constraint));
}

}
#endif // TRAJECTORYGENERATOR_H