Nonholonomic Constraint

• 別名: non-holonomic constraint
• カテゴリ: Foundations & spatial maths › Kinematics
• タグ: kinematics, mobile-robots, motion-planning, wheeled-robots, control-theory

系の速度に対する拘束で、配置に関する拘束へ積分できないもの。例えば、横には滑れないがそれでも任意の位置に到達できる車輪がこれに当たる。

定義

非ホロノミック拘束（nonholonomic constraint）は、系が各瞬間に動ける方向を制限するが、最終的にどの配置に到達できるかは制限しない。ホロノミック拘束は、2 点間の距離が一定であるといったように配置そのものに関する方程式として書け、到達可能なコンフィギュレーション空間から次元を取り除く。非ホロノミック拘束は速度に関して書かれ、典型的には Pfaffian 形式 A(q) q̇ = 0 をとり、そのような方程式に積分することはできない。古典的な例は滑らずに転がる車輪である。その速度は向いている方向に沿っていなければならないが、前進と旋回を組み合わせることで、平面上の任意の位置と向きに到達できる。

車輪型移動ロボットが最も一般的な例である。差動駆動ロボットや自動車は瞬間的に横へ動くことができないため、縦列駐車には前進と後退の円弧の連続が必要になる。ほかの発生源として、車輪脚ロボットの操舵輪、ボールとプレートの転がり、そして自由浮遊型宇宙ロボットにおける角運動量保存がある。角運動量保存は、積分できない形で速度を拘束する。このような拘束をもつ系がすべての配置に到達できるかどうかは可制御性の問題であり、許される運動方向の Lie 括弧がコンフィギュレーション空間を張るかどうかを確かめることで答えられる（Chow の定理）。

非ホロノミック拘束は、計画と制御の両方に実際的な影響を与える。コンフィギュレーション空間での直線経路はしばしば実行不可能なため、プランナは Dubins 曲線や Reeds-Shepp 曲線といったステアリング関数、ラティスのプリミティブ、あるいは拘束を組み込んだ軌道最適化を使う。制御では、Brockett の 1983 年の結果により、ユニサイクルを含む多くの非ホロノミック系は、滑らかな時不変の状態フィードバック則では一点に安定化できないことが示されている。実用的な制御則は、代わりに移動する参照軌道に追従させる、時変または不連続なフィードバックを使う、あるいは車軸の前方の点を制御する。

重要な理由

車輪型ロボットのほとんどは非ホロノミックであり、これを無視すると、ロボットが追従できない計画や、目標付近で破綻する制御則が生まれる。この概念は、横方向の運動が重要な場合に全方向移動ベースやホロノミックな駆動方式が選ばれる理由も説明する。

主な用途

• 自動車、差動駆動ロボット、トラクタトレーラの経路計画
• 車輪型移動ロボットの軌道追従制御
• 車輪脚ロボットの運動最適化
• 狭い空間での駐車と切り返し
• 自由浮遊型宇宙ロボットの姿勢制御

実際の使われ方

差動駆動の屋内配送ロボットを開発しているチームは、点ロボット向けに書いたグローバルプランナが、狭い戸口で鋭い角や横方向の段差を含む経路を生成することに気づく。チームはローカルプランナを、前進速度や旋回速度など駆動方式の拘束を満たす速度指令をサンプリングするものに切り替え、その場で小さな横方向誤差を修正しようとする代わりに曲線に沿ってドッキングステーションへ進入する最終アプローチの動作を加える。車輪脚の四足ロボットでは、同様の拘束が全身最適化器に加えられる。各車輪の対地速度はその操舵角の方向に沿っていなければならず、そのためソルバが車輪の横滑りを計画することはない。

よくある誤解

• 非ホロノミックなロボットには到達できない位置がある — 通常はすべての配置に到達でき、ただあらゆる経路に沿って到達できるわけではない
• 非ホロノミックとはロボットの自由度が少ないことである — コンフィギュレーション空間の次元はそのままで、制限されるのは瞬間的な速度だけである
• 速度の制限はどれも非ホロノミック拘束である — 速度や加速度の上限は不等式の制限であり、方向に関する積分不可能な等式拘束ではない
• 標準的なフィードバック制御で車両型ロボットを一点に停止させられる — Brockett の条件により、こうした系では滑らかな時不変フィードバックは使えないため、別の戦略が必要になる

知っておくべき人

• 移動ロボットの計画・制御エンジニア
• 自動運転車の動作計画チーム
• 車輪脚ロボットやフィールドロボットの開発者
• 運動学と制御を学ぶロボティクスの学生

関連技術

• Dubins 経路（Dubins Paths）
• Reeds-Shepp 曲線（Reeds-Shepp Curves）
• 状態ラティスプランナ（State Lattice Planners）
• Pure Pursuit
• メカナムホイール（Mecanum Wheels）

関連用語

• Unicycle Model
• Configuration Space
• Omnidirectional Drive
• Kinematics
• Trajectory Planning
• Underactuated system

関連プロジェクト

• OMPL: Sampling-based motion planning library powering MoveIt and countless robotics applications
• MoveIt 2: Motion planning framework for ROS 2 robot arms, with kinematics and collision checking
• PyRoki: Modular Python toolkit for kinematic optimization across CPU, GPU, and TPU via JAX
• mink: Python inverse kinematics library built on MuJoCo supporting 20+ robot platforms
• Ruckig: Real-time jerk-constrained time-optimal trajectory generation for robots and machines
• DART: C++ physics engine for articulated rigid body dynamics and robotics simulation

動画

• Holonomic vs. Nonholonomic Constraints for Robots | Fundamentals of Robotics | Lesson 4: Mecharithm - Robotics and Mechatronics
• Nonholonomic Constraints & Lagrange Multipliers Explained | ESM 5314 Lecture 22: Dr. Shane Ross