制約多様体の微分可能チャートに沿った計画：汎用IKソルバーを用いて

- ロボットマニピュレータの軌道計画において、kinematic equality constraints下でのfeasible configurationsをanalytic inverse kinematics (IK)でパラメタ化する手法を提案。 - 制約多様体上のdifferentiable chartsを構築し、gradient-based trajectory optimizationを可能にする。 - 主な貢献は、inverse function theoremを利用してanalytic IK parameterizationsの勾配をforward kinematic Jacobianから計算する方法、least-squares domain extension、reachability constraintの最適化に適した記述。 - 数値実験とハードウェア実演（RB-Y1による箱のpick and place）で有効性を示す。

- 従来はanalytic IK関数を手書きで微分可能にしていたが、IKFastなどの自動meta-solversで生成されたIK関数は微分可能に修正するのが困難だった。 - 提案手法はinverse function theoremを活用し、forward kinematic Jacobianから勾配を復元することで、既存のanalytic IKソルバを微分可能にする。 - また、least-squares domain extensionとreachability constraintの最適化可能な記述により、reachable workspace外でも勾配信号を保持する点が新しい。

- inverse function theoremを用いて、analytic IK parameterizationの勾配をforward kinematic Jacobianから計算する。 - least-squares domain extensionにより、reachable workspace外でも勾配信号を維持する。 - reachability constraintを最適化に適した形式で記述する。 - これにより、gradient-based trajectory optimizationが可能になる。

- 数値実験により手法の有効性を検証。 - 下流タスクとして、RB-Y1ロボットによる箱のpick and placeのハードウェア実演を実施。 - プロジェクトウェブサイトで詳細を公開。

- 要旨からは不明。

- 要旨で参照/比較されている研究: IKFast, analytic inverse kinematics, gradient-based trajectory optimization, inverse function theorem。 - 関連手法: 制約多様体上の軌道計画、differentiable IK。