GaitGeneration by Graph Search
読み取り中…
検索中…
一致する文字列を見つけられません
node_creator_leg_up_down.cpp
[詳解]
1
3
4// Copyright(c) 2023-2025 Design Engineering Laboratory, Saitama University
5// Released under the MIT license
6// https://opensource.org/licenses/mit-license.php
7
9
10#include <algorithm>
11#include <boost/dynamic_bitset.hpp>
12
13#include "com_type.h"
14#include "leg_state.h"
15#include "math_const.h"
16#include "math_util.h"
17
18namespace designlab {
19
21 const DividedMapState& divided_map,
22 const std::shared_ptr<const IHexapodCoordinateConverter>& converter_ptr,
23 const std::shared_ptr<const IHexapodStatePresenter>& presenter_ptr,
24 const std::shared_ptr<const IHexapodPostureValidator>& checker_ptr,
25 HexapodMove next_move)
26 : kLegMargin(20),
27 kHighMargin(5),
28 map_(divided_map),
29 converter_ptr_(converter_ptr),
30 presenter_ptr_(presenter_ptr),
31 checker_ptr_(checker_ptr),
32 next_move_(next_move){};
33
35 const RobotStateNode& current_node, const int current_num,
36 std::vector<RobotStateNode>* output_graph) const {
37 // 脚の遊脚・接地によって生じるとりうる重心を com type として仕分けている.
38 // (詳しくは com_type.h を参照).
39 // vector<bool>を使用したいが,vector<bool>はテンプレートの特殊化で,
40 // 通常の vector とは違う挙動をするので,boost::dynamic_bitset<>を使用する.
41 boost::dynamic_bitset<> is_able_leg_ground_pattern(
43
44 is_able_leg_ground_pattern.set(); // 全て true にする.
45
46 // まず離散化された重心位置から取り得ない接地パターンを除外する.
49 &is_able_leg_ground_pattern);
50
51 // 次に脚が地面に接地可能か調べる.
52
53 // 脚が設置可能ならば true になる.既に接地しているならば true になる.
54 bool is_groundable_leg[HexapodConst::kLegNum];
55 Vector3 ground_pos[HexapodConst::kLegNum]; // 脚が接地する座標.
56
57 for (int i = 0; i < HexapodConst::kLegNum; i++) {
58 ground_pos[i] = current_node.leg_pos[i];
59 }
60
61 for (int i = 0; i < HexapodConst::kLegNum; i++) {
62 if (leg_func::IsGrounded(current_node.leg_state, i)) {
63 // すでに接地している脚は接地可能に決まっているので true にする.
64 is_groundable_leg[i] = true;
65 ground_pos[i] = current_node.leg_pos[i];
66 } else {
67 // 現在遊脚中の脚は自身の脚状態で接地できるか検討する.
68 Vector3 res_ground_pos;
69
70 if (IsGroundableLeg(i, current_node, &res_ground_pos)) {
71 is_groundable_leg[i] = true; // 接地可能にする.
72 ground_pos[i] = res_ground_pos;
73 } else {
74 is_groundable_leg[i] = false; // 接地不可能にする.
76 i, &is_able_leg_ground_pattern);
77 }
78 }
79 }
80
81 // 子ノードを生成する.
82 for (int i = 0; i < com_func::GetLegGroundPatternNum(); i++) {
83 // その重心タイプが可能であれば,追加する
84 if (is_able_leg_ground_pattern[i]) {
85 RobotStateNode res_node = current_node;
86
87 res_node.ChangeToNextNode(current_num, next_move_);
88
89 // 遊脚・接地を書き換える.
90 leg_func::LegGroundedBit new_is_ground =
92
93 leg_func::ChangeAllLegGround(new_is_ground, &res_node.leg_state);
94
95 // 脚位置を書き換える.
96 for (int j = 0; j < HexapodConst::kLegNum; j++) {
97 if (new_is_ground[j]) {
98 res_node.leg_pos[j] = ground_pos[j];
99
100 res_node.leg_reference_pos[j] = ground_pos[j];
101 } else {
102 res_node.leg_pos[j] = presenter_ptr_->GetFreeLegPosLegCoordinate(j);
103
104 res_node.leg_reference_pos[j].x =
105 presenter_ptr_->GetFreeLegPosLegCoordinate(j).x;
106 res_node.leg_reference_pos[j].y =
107 presenter_ptr_->GetFreeLegPosLegCoordinate(j).y;
108 }
109 }
110
111 if (checker_ptr_->IsStable(res_node.leg_state, res_node.leg_pos)) {
112 (*output_graph).push_back(res_node);
113 }
114 } // if is_able_leg_ground_pattern[i]
115 } // for i
116}
117
118bool NodeCreatorLegUpDown::IsGroundableLeg(const int now_leg_num,
119 const RobotStateNode& current_node,
120 Vector3* output_ground_pos) const {
121 // 脚座標がマップのどこに当たるか調べて,そのマスの2つ上と2つ下の範囲内を全て探索する.
122 const Vector3 global_leg_base_pos =
123 converter_ptr_->ConvertLegToGlobalCoordinate(
124 current_node.leg_reference_pos[now_leg_num], now_leg_num,
125 current_node.center_of_mass_global_coord, current_node.posture, true);
126
127 int max_x_dev = map_.GetDividedMapIndexX(global_leg_base_pos.x) + 2;
128 int min_x_dev = map_.GetDividedMapIndexX(global_leg_base_pos.x) - 2;
129 int max_y_dev = map_.GetDividedMapIndexY(global_leg_base_pos.y) + 2;
130 int min_y_dev = map_.GetDividedMapIndexY(global_leg_base_pos.y) - 2;
131
132 // 値がマップの範囲外にあるときは丸める.
133 max_x_dev = DividedMapState::ClampDividedMapIndex(max_x_dev);
134 min_x_dev = DividedMapState::ClampDividedMapIndex(min_x_dev);
135 max_y_dev = DividedMapState::ClampDividedMapIndex(max_y_dev);
136 min_y_dev = DividedMapState::ClampDividedMapIndex(min_y_dev);
137
138 // マップ内を全探索して,現在の脚位置(離散化した物)に適した脚設置可能点が存在するか調べる.
139
140 Vector3 candidate_pos; // 現在の脚位置に合致する候補座標群.
141 bool is_candidate_pos = false; // 候補座標が存在するかどうか.
142
143 // 範囲内の点を全て調べる.
144 for (int x = min_x_dev; x < max_x_dev; x++) {
145 for (int y = min_y_dev; y < max_y_dev; y++) {
146 const auto pos_num = map_.GetPointNum(x, y);
147 if (!pos_num) {
148 continue; // このマスに脚設置可能点が存在しない場合はスキップ.
149 }
150
151 for (int n = 0; n < *pos_num; n++) {
152 // 脚設置可能点の座標を取り出す.
153 const auto map_point_pos_exp = map_.GetPointPos(x, y, n);
154 if (!map_point_pos_exp) {
155 continue; // 範囲外の値を指定した場合はスキップ.
156 }
157
158 const Vector3 map_point_pos =
159 converter_ptr_->ConvertGlobalToLegCoordinate(
160 *map_point_pos_exp, now_leg_num,
161 current_node.center_of_mass_global_coord, current_node.posture,
162 true);
163
164 // 脚位置を更新したノードを作成する.
165 RobotStateNode new_node = current_node;
166
167 new_node.leg_pos[now_leg_num] = map_point_pos;
168
169 // 前の候補地点と比較して,より良い候補地点の時のみ実行すする
170 if (is_candidate_pos) {
171 // 反対方向をむいている場合は候補地点として採用しない.
172 if (new_node.leg_reference_pos[now_leg_num].ProjectedXY().Cross(
173 candidate_pos.ProjectedXY()) *
174 new_node.leg_reference_pos[now_leg_num].ProjectedXY().Cross(
175 map_point_pos.ProjectedXY()) <
176 0 - MathConst<float>::kAllowableError) {
177 continue;
178 }
179
180 // 現在の脚位置と候補地点の間に障害物がある場合は候補地点として採用しない.
181 if (map_point_pos.ProjectedXY().Cross(candidate_pos.ProjectedXY()) *
182 map_point_pos.ProjectedXY().Cross(
183 new_node.leg_reference_pos[now_leg_num].ProjectedXY()) <
184 0 - MathConst<float>::kAllowableError) {
185 continue;
186 }
187
189 // if ((candidate_pos -
190 // new_node.leg_reference_pos[now_leg_num]).ProjectedXY().GetSquaredLength()
191 // <
192 // (map_point_pos -
193 // new_node.leg_reference_pos[now_leg_num]).ProjectedXY().GetSquaredLength())
194 //{
195 // continue;
196 // }
197 }
198
199 leg_func::ChangeGround(now_leg_num, true, &new_node.leg_state);
200
201 // 脚が範囲外ならば追加せずに続行.
202 if (!checker_ptr_->IsLegInRange(now_leg_num,
203 new_node.leg_pos[now_leg_num])) {
204 continue;
205 }
206
207 // 候補座標として,適していないならば追加せずに続行.
208 if (!IsAbleLegPos(new_node, now_leg_num)) {
209 continue;
210 }
211
212 // 脚先が干渉しないか調べる.
213 if (checker_ptr_->IsLegInterfering(new_node.leg_pos)) {
214 continue;
215 }
216
217 is_candidate_pos = true;
218 candidate_pos = map_point_pos;
219 }
220 }
221 }
222
223 // 候補点を全列挙したのち,候補点が一つもなければ false.
224 if (!is_candidate_pos) {
225 return false;
226 }
227
228 // 存在するなら,その中で最も適したものを結果として返し,true.
229 (*output_ground_pos) = candidate_pos;
230
231 return true;
232}
233
234bool NodeCreatorLegUpDown::IsAbleLegPos(const RobotStateNode& _node,
235 const int leg_index) const {
236 const DiscreteLegPos discrete_leg_pos = leg_func::GetDiscreteLegPos(
237 _node.leg_state, leg_index); // 脚位置を取得(1~7)
238
239 // まず最初に脚位置4のところにないか確かめる.
240 if ((_node.leg_reference_pos[leg_index] - _node.leg_pos[leg_index])
241 .GetSquaredLength() < math_util::Squared(kLegMargin)) {
242 if (discrete_leg_pos == DiscreteLegPos::kCenter) {
243 return true;
244 } else {
245 return false;
246 }
247 } else {
248 if (discrete_leg_pos == DiscreteLegPos::kCenter) {
249 return false;
250 }
251 }
252
253 // 脚位置4と比較して前か後ろか.
254 if (_node.leg_reference_pos[leg_index].ProjectedXY().Cross(
255 _node.leg_pos[leg_index].ProjectedXY()) *
256 _node.leg_pos[leg_index].ProjectedXY().Cross({1, 0}) >
257 0) {
258 // 前.
259 if (discrete_leg_pos == DiscreteLegPos::kLowerBack ||
260 discrete_leg_pos == DiscreteLegPos::kBack ||
261 discrete_leg_pos == DiscreteLegPos::kUpperBack) {
262 return false;
263 }
264 } else {
265 // 後ろ.
266 if (discrete_leg_pos == DiscreteLegPos::kLowerFront ||
267 discrete_leg_pos == DiscreteLegPos::kFront ||
268 discrete_leg_pos == DiscreteLegPos::kUpperFront) {
269 return false;
270 }
271 }
272
273 // 脚位置4と比較して上か下か.
274 if (discrete_leg_pos == DiscreteLegPos::kLowerFront ||
275 discrete_leg_pos == DiscreteLegPos::kLowerBack) {
276 // 脚位置4と比較して下.
277 if (_node.leg_reference_pos[leg_index].z - kHighMargin >=
278 _node.leg_pos[leg_index].z) {
279 return true;
280 }
281 } else if (discrete_leg_pos == DiscreteLegPos::kUpperFront ||
282 discrete_leg_pos == DiscreteLegPos::kUpperBack) {
283 // 脚位置4と比較して上.
284 if (_node.leg_reference_pos[leg_index].z + kHighMargin <=
285 _node.leg_pos[leg_index].z) {
286 return true;
287 }
288 } else {
289 // 脚位置4と同じくらい.
290 if (std::abs(_node.leg_reference_pos[leg_index].z -
291 _node.leg_pos[leg_index].z) <= kHighMargin) {
292 return true;
293 }
294 }
295
296 return false;
297}
298
299} // namespace designlab
マップを格子状に分割して管理するクラス.
constexpr int GetDividedMapIndexX(const float pos_x) const noexcept
指定した座標を DividedMap のインデックスに変換する. 範囲外の値を指定した場合でも,値を丸めずに返す. そのため,IsInMap で範囲内に存在するかどうかを確認する必要がある.
nostd::expected< Vector3, std::string > GetPointPos(int x_index, int y_index, int divided_map_index) const
格子状に切り分けられたマップから,脚設置可能点の実際の座標を取得する. 範囲外の値を指定した場合は, unexpected を返す.
constexpr int GetDividedMapIndexY(const float pos_y) const noexcept
指定した座標を DividedMap のインデックスに変換する. 範囲外の値を指定した場合でも,値を丸めずに返す. そのため,IsInMap で範囲内に存在するかどうかを確認する必要がある.
nostd::expected< int, std::string > GetPointNum(int x_index, int y_index) const
格子状に切り分けられたマップから,脚設置可能点の数を取得する. 範囲外の値を指定した場合は, unexpected を返す.
static constexpr int ClampDividedMapIndex(const int index) noexcept
指定した座標がマップのインデックスの範囲内になるように丸める.
static constexpr int kLegNum
NodeCreatorLegUpDown(const DividedMapState &devide_map, const std::shared_ptr< const IHexapodCoordinateConverter > &converter_ptr, const std::shared_ptr< const IHexapodStatePresenter > &presenter_ptr, const std::shared_ptr< const IHexapodPostureValidator > &checker_ptr, HexapodMove next_move)
void Create(const RobotStateNode &current_node, int current_node_index, std::vector< RobotStateNode > *output_graph) const override
現在のノードから次のノード群を生成する.
void RemoveLegGroundPatternFromCom(enums::DiscreteComPos discrete_com_pos, boost::dynamic_bitset<> *output)
離散化された重心位置から,その重心位置では取り得ない脚接地パターンを falseにする.
Definition com_type.cpp:216
int GetLegGroundPatternNum()
脚の接地パターンの総数を返す.
Definition com_type.cpp:204
leg_func::LegGroundedBit GetLegGroundedBitFromLegGroundPatternIndex(const int leg_ground_pattern_index)
脚の接地パターンの番号から,その番号に該当する接地パターンを返す.
Definition com_type.cpp:206
void RemoveLegGroundPatternFromNotGroundableLeg(int not_groundable_leg_index, boost::dynamic_bitset<> *output)
接地できない脚番号から, その脚が接地できない場合に取り得ない接地パターンを falseにする.
Definition com_type.cpp:229
std::bitset< HexapodConst::kLegNum > LegGroundedBit
脚の遊脚・接地を表す型.6bitのビット型.接地が 1 遊脚が 0.
Definition leg_state.h:58
bool IsGrounded(const LegStateBit &leg_state, const int leg_index)
脚番号 leg_index 0 ~ 5 に応じて,その脚が接地しているかを調べる. 脚は右前脚を0番として,時計回りに0,1,2,3,4,5となる.左前足が5番.
Definition leg_state.cpp:46
DiscreteLegPos GetDiscreteLegPos(const LegStateBit &leg_state, const int leg_index)
脚状態を取得する.
enums::DiscreteComPos GetDiscreteComPos(const LegStateBit &leg_state)
現在の脚状態から重心パターンを取得する.
void ChangeGround(const int leg_index, const bool is_ground, LegStateBit *leg_state)
脚の接地・遊脚情報を変更する.
void ChangeAllLegGround(const LegGroundedBit &is_ground_list, LegStateBit *leg_state)
全ての脚の接地・遊脚情報を変更する.
constexpr T Squared(const T num) noexcept
2乗した値を返す関数.
Definition math_util.h:55
DiscreteLegPos
離散化された脚位置を表す列挙体. 先行研究では 1~7の int型の数値で表現されているが, 可読性を上げるために列挙体にした. 離散化された脚位置は 3bit (0 ~ 7)の範囲で表現される...
@ kUpperBack
現在の位置より後方かつ上方にある.
@ kBack
現在の位置より後方にある.
@ kCenter
現在の位置にある.
@ kUpperFront
現在の位置より前方かつ上方にある.
@ kFront
現在の位置より前方にある.
@ kLowerBack
現在の位置より後方かつ下方にある.
@ kLowerFront
現在の位置より前方かつ下方にある.
HexapodMove
ロボットが次にどの動作をするのかを表す列挙体.
グラフ構造のためのノード(頂点).
std::array< Vector3, HexapodConst::kLegNum > leg_pos
[4 * 3 * 6 = 72 byte] 脚先の座標.(coxa(脚の付け根)を原点とする)
leg_func::LegStateBit leg_state
[4 byte] 脚状態,重心パターンを bitで表す.旧名 leg_con.
constexpr void ChangeToNextNode(const int parent_index_, const HexapodMove next_move_)
次の動作を設定する関数. 深さを一つ深くして,親と次の動作を設定する.
Vector3 center_of_mass_global_coord
[4 * 3 = 12byte] グローバル座標系における重心の位置.旧名 GCOM
Quaternion posture
[4 * 4 = 16byte] 姿勢を表すクォータニオン.
std::array< Vector3, HexapodConst::kLegNum > leg_reference_pos
3次元の位置ベクトルを表す構造体.
float x
ロボットの正面方向に正.
constexpr Vector2 ProjectedXY() const noexcept
XY平面に射影したベクトルを返す.
float y
ロボットの左向きに正.