アーカイブ / Robotics
制御器と安定性を示す関数を一緒に学ぶ非線形制御法
Lyapunov Stability Learning with Nonlinear Control via Inductive Biases
Lyapunov Stability Learning with Nonlinear Control via Inductive Biasesの原論文から掲載した図です。細部はクリックして拡大できます。
原論文の図の説明を読む
Fig. 1: An illustration of a CLF candidate satisfying Lyapunov conditions within the closed state region Ω \Omega . It displays the maximum level set 𝒟 \mathcal{D} that can be found. The CLF value is strictly decreasing with respect to time in 𝒟 \mathcal{D} because it is a closed region.
概要
- CLF候補と制御器の形に安定性の条件を組み込み、両者を一緒に学習する。
- 著者らは倒立振子150件と経路追従90件で、CLF発見の成功率と成功例の安定領域の面積を比較対象とした。
- 手法別の結果数値は確認できた本文の範囲にない。CLF候補が平衡点以外で必ず正になるという説明も、式との照合が必要である。
補足：編集した模式図で仕組みを確認する
VISUAL EXPLAINER
図でつかむ、Lyapunov Stability Learning with Nonlinear Control via Inductive Biasesの仕組み
- 01状態と動力学
- 02CLFの値と勾配
- 03制限付き制御入力
- 04条件違反の探索
- 05CLFと安定領域
原論文の説明をもとにした模式図です。処理の細部は省略しています。
研究の背景
この方法は、非線形な系を目標状態へ戻す制御器と、その安定性を調べる関数を一緒に学ぶ。制御リアプノフ関数（CLF）は、目標から離れた状態で正の値を取り、制御中に値が減ることを使って収束を示す関数だ。
従来の学習・検証方式では、CLFに必要な複数の条件を損失として同時に調整する。著者らは、重みの調整や検証器の実装が難しく、学習の成功にも影響すると説明している。
手法
対象は、状態と操作から状態変化を表せる非線形な系である。状態、目標の平衡点、動力学、操作の上下限を使う。動力学が未知なら、状態・操作・状態変化の記録から先に推定する。例えば経路追従では、経路との距離誤差と向きの誤差を状態として扱う。
ネットワークでCLF候補を作り、その勾配、つまり状態を少し変えたときのCLFの変化方向から制御入力を組み立てる。入力を上下限内に収めつつ、CLFが時間とともに十分減らない状態を損失で学習する。条件違反の状態を探して学習に戻し、条件を確認できた範囲から安定領域を求める。安定領域は、その中の初期状態から目標への収束を示す範囲を指す。
新規性
著者らの提案は、安定性の条件を学習上の罰則としてすべて扱う代わりに、CLF候補と制御器の構造へ組み込む点にある。CLFと制御器を一緒に学習し、CLFの時間変化に関する条件を一つの損失項で扱う。
条件に違反する状態の探索も学習の流れに入れ、平衡点の周囲を検証対象から外す領域を設けない。
従来手法との違い
本文が比較対象として説明する従来の学習・検証方式では、通常のニューラルネットワークでCLF候補を作り、複数の安定性の条件を損失項で調整する。方式によっては平衡点近くを検証から除外し、別の非線形ソルバーを使う。
提案法はCLFと制御器の形を定め、学習で扱うCLFの減少条件を一つの損失項に絞る。ただし、制御入力を制限する際のずれにも別の損失項を使う。本文に結果表がないため、手法別の差の大きさは確認できない。
実験結果
著者らは倒立振子と車輪型車両の経路追従を対象に、条件を変えた倒立振子150件、経路追従90件を用意した。乱数シードは10から19で、CLFの発見に成功した割合と、成功例で確認した安定領域の面積を比較対象としている。
著者らは既存法より高い学習の成功率と広い安定領域を報告する。面積は、安定条件を確認した閉じた輪郭の内側について算出する。ただし、確認できた本文の範囲では結果表が示されておらず、手法別の成功率や面積の数値は確認できない。
応用の可能性
編集上の応用案 · 論文が実証した用途とは区別しています。
編集上の応用案：車輪型ロボットを指定経路へ戻す制御を、小さな試験範囲で検討する。経路からの距離誤差と向きの誤差、操作上限を入力とし、操舵指令と、安定条件を確認できた状態範囲を出力する。
距離と向きを測るセンサー、その値を誤差へ変換する手順、対象車両の動力学が必要になる。動力学を記録から学ぶ場合は状態・操作・状態変化の組を集め、対象車両に合わせる。正解の操舵ラベルは、この論文の学習手順には示されていない。
応用先の候補からNauhに相談できます。
導入時の検証
導入時の検証案 · 対象データでの再評価が必要です。
導入時の検証案：経路追従の試験範囲と操作上限を決め、既存の制御器を基準にする。対象車両で状態・操作・状態変化を記録し、必要なら動力学モデルを学習する。距離誤差と向きの誤差を得るセンサーと変換手順を明記する。正解操舵ラベルは提案法の学習には用いない。
次に対象車両の動力学と操作上限に合わせて学習し、同じ初期状態群で基準法と比べる。目標への収束、操作上限の超過、安定条件を確認できた領域の広さ、モデルの状態変化の予測誤差を測る。領域の確認方法と許容する予測誤差は試験前に決める。
限界と課題
著者らは、記録から動力学を推定する際、モデル誤差を見込む余裕値の設定に事前知識が要ると述べる。また、制御入力に上限がある場合、制御器の構造だけでCLFの減少条件を満たせるとはしておらず、学習と検証を行う。
編集上の検証事項：本文のCLF候補を定める式では、加算項は状態差の総和がゼロならゼロになる。ネットワークの出力差もゼロになり得るため、平衡点以外でCLFが必ず正になるという説明は式と照合が必要だ。実機での計測遅れとモデル誤差の影響も、この範囲では確認できない。
出典
元のタイトル・要旨を確認する（英語）
Lyapunov Stability Learning with Nonlinear Control via Inductive Biases
Finding a control Lyapunov function (CLF) in a dynamical system with a controller is an effective way to guarantee stability, which is a crucial issue in safety-concerned applications. Recently, deep learning models representing CLFs have been applied into a learner-verifier framework to identify satisfiable candidates. However, the learner treats Lyapunov conditions as complex constraints for optimisation, which is hard to achieve global convergence. It is also too complicated to implement these Lyapunov conditions for verification. To improve this framework, we treat Lyapunov conditions as inductive biases and design a neural CLF and a CLF-based controller guided by this knowledge. This design enables a stable optimisation process with limited constraints, and allows end-to-end learning of both the CLF and the controller. Our approach achieves a higher convergence rate and larger region of attraction (ROA) in learning the CLF compared to existing methods among abundant experiment cases. We also thoroughly reveal why the success rate decreases with previous methods during learning.
論文本体の取得範囲に基づく解説。AIが作成した未校閲の記事です。性能の数値は著者の評価条件に依存します。応用例と検証計画は編集上の提案です。解説更新：2026-10-01