2009-12-11 07:45:38 +08:00
|
|
|
/**
|
|
|
|
* @file Pose2Graph.h
|
|
|
|
* @brief A factor graph for the 2D PoseSLAM problem
|
|
|
|
* @author Frank Dellaert
|
|
|
|
* @author Viorela Ila
|
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
Large gtsam refactoring
To support faster development *and* better performance Richard and I pushed through a large refactoring of NonlinearFactors.
The following are the biggest changes:
1) NonLinearFactor1 and NonLinearFactor2 are now templated on Config, Key type, and X type, where X is the argument to the measurement function.
2) The measurement itself is no longer kept in the nonlinear factor. Instead, a derived class (see testVSLAMFactor, testNonlinearEquality, testPose3Factor etc...) has to implement a function to compute the errors, "evaluateErrors". Instead of (h(x)-z), it needs to return (z-h(x)), so Ax-b is an approximation of the error. IMPORTANT: evaluateErrors needs - if asked - *combine* the calculation of the function value h(x) and the derivatives dh(x)/dx. This was a major performance issue. To do this, boost::optional<Matrix&> arguments are provided, and tin EvaluateErrors you just says something like
if (H) *H = Matrix_(3,6,....);
3) We are no longer using int or strings for nonlinear factors. Instead, the preferred key type is now Symbol, defined in Key.h. This is both fast and cool: you can construct it from an int, and cast it to a strong. It also does type checking: a Symbol<Pose3,'x'> will not match a Symbol<Pose2,'x'>
4) minor: take a look at LieConfig.h: it help you avoid writing a lot of code bu automatically creating configs for a certain type. See e.g. Pose3Config.h. A "double" LieConfig is on the way - Thanks Richard and Manohar !
2010-01-14 06:25:03 +08:00
|
|
|
#include "NonlinearFactorGraph.h"
|
2010-01-16 09:16:59 +08:00
|
|
|
#include "Pose2.h"
|
|
|
|
#include "LieConfig.h"
|
|
|
|
#include "BetweenFactor.h"
|
|
|
|
#include "Key.h"
|
2009-12-11 07:45:38 +08:00
|
|
|
|
2010-01-11 03:25:19 +08:00
|
|
|
namespace gtsam {
|
|
|
|
|
2010-01-16 09:16:59 +08:00
|
|
|
/**
|
|
|
|
* Pose2Config is now simply a typedef
|
|
|
|
*/
|
|
|
|
typedef LieConfig<Symbol<Pose2,'x'>,Pose2> Pose2Config;
|
|
|
|
|
|
|
|
typedef BetweenFactor<Pose2Config, Pose2Config::Key, Pose2> Pose2Factor;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Create a circle of n 2D poses tangent to circle of radius R, first pose at (R,0)
|
|
|
|
* @param n number of poses
|
|
|
|
* @param R radius of circle
|
|
|
|
* @param c character to use for keys
|
|
|
|
* @return circle of n 2D poses
|
|
|
|
*/
|
|
|
|
Pose2Config pose2Circle(size_t n, double R);
|
|
|
|
|
|
|
|
|
2010-01-11 03:25:19 +08:00
|
|
|
/**
|
|
|
|
* Non-linear factor graph for visual SLAM
|
|
|
|
*/
|
|
|
|
class Pose2Graph: public gtsam::NonlinearFactorGraph<Pose2Config> {
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/** default constructor is empty graph */
|
|
|
|
Pose2Graph() {
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* equals
|
|
|
|
*/
|
|
|
|
bool equals(const Pose2Graph& p, double tol = 1e-9) const;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add a factor without having to do shared factor dance
|
|
|
|
*/
|
Large gtsam refactoring
To support faster development *and* better performance Richard and I pushed through a large refactoring of NonlinearFactors.
The following are the biggest changes:
1) NonLinearFactor1 and NonLinearFactor2 are now templated on Config, Key type, and X type, where X is the argument to the measurement function.
2) The measurement itself is no longer kept in the nonlinear factor. Instead, a derived class (see testVSLAMFactor, testNonlinearEquality, testPose3Factor etc...) has to implement a function to compute the errors, "evaluateErrors". Instead of (h(x)-z), it needs to return (z-h(x)), so Ax-b is an approximation of the error. IMPORTANT: evaluateErrors needs - if asked - *combine* the calculation of the function value h(x) and the derivatives dh(x)/dx. This was a major performance issue. To do this, boost::optional<Matrix&> arguments are provided, and tin EvaluateErrors you just says something like
if (H) *H = Matrix_(3,6,....);
3) We are no longer using int or strings for nonlinear factors. Instead, the preferred key type is now Symbol, defined in Key.h. This is both fast and cool: you can construct it from an int, and cast it to a strong. It also does type checking: a Symbol<Pose3,'x'> will not match a Symbol<Pose2,'x'>
4) minor: take a look at LieConfig.h: it help you avoid writing a lot of code bu automatically creating configs for a certain type. See e.g. Pose3Config.h. A "double" LieConfig is on the way - Thanks Richard and Manohar !
2010-01-14 06:25:03 +08:00
|
|
|
inline void add(const Pose2Config::Key& key1, const Pose2Config::Key& key2,
|
2010-01-11 03:25:19 +08:00
|
|
|
const Pose2& measured, const Matrix& covariance) {
|
|
|
|
push_back(sharedFactor(new Pose2Factor(key1, key2, measured, covariance)));
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Add an equality constraint on a pose
|
|
|
|
* @param key of pose
|
|
|
|
* @param pose which pose to constrain it to
|
|
|
|
*/
|
2010-01-14 09:44:00 +08:00
|
|
|
void addConstraint(const Pose2Config::Key& key, const Pose2& pose = Pose2());
|
2010-01-11 03:25:19 +08:00
|
|
|
|
|
|
|
private:
|
|
|
|
/** Serialization function */
|
|
|
|
friend class boost::serialization::access;
|
|
|
|
template<class Archive>
|
|
|
|
void serialize(Archive & ar, const unsigned int version) {
|
|
|
|
}
|
|
|
|
};
|
2009-12-11 07:45:38 +08:00
|
|
|
|
|
|
|
} // namespace gtsam
|