制御設計2026/8/20arXiv:2608.19754v1

Bures–Wasserstein距離に基づくLMI制約付き可制御性グラミアン整形

A Controllability Gramain Shaping with LMI Constraints under Bures--Wasserstein Distance

可制御性グラミアンを所望の形に整形する制御器設計法を提案し、Bures–Wasserstein距離を用いて最適化問題を定式化、LMIによる半正定値計画として解くことで計算効率を向上させた。

詳しい要約

1. どんなもの？

本論文は、外部入力からシステム状態への影響を設計するために、controllability Gramianを所望の形に整形するコントローラ設計法を提案している。Bures–Wasserstein距離を用いて、システムのGramianと所望のGramianとの距離最小化として整形問題を定式化し、その目的関数が対称正定値行列の集合上で狭義凸であることを示す。さらに、線形行列不等式（LMI）による半正定値計画法を導出することで計算効率を向上させ、追加のLMI制約を組み込むことを可能にしている。

2. 先行研究と比べてどこがすごい？

従来のcontrollability Gramian整形法は、特定の構造や制約を扱うのが難しかったり、計算が複雑であったりする。本手法は、Bures–Wasserstein距離を用いることで、Gramian整形問題を凸最適化問題として定式化し、LMI制約を自然に組み込める点が新しい。また、$H_2$制御との関連をoptimal transportの観点から解釈し、所望のGramianがゼロに近づくにつれて$H_2$制御に近づくことを示している点も独自性がある。

3. 技術・手法の肝は？

手法の核は、Bures–Wasserstein距離を用いたGramian整形問題の定式化と、そのLMIベースの半正定値計画法への変換である。具体的には、システムのcontrollability Gramianと所望のGramianとの間のBures–Wasserstein距離を最小化するコントローラを設計する。この距離は対称正定値行列上で狭義凸であるため、大域的最適解が得られる。さらに、LMI制約を追加することで、方向性制約などの設計仕様を柔軟に組み込める。

4. どうやって有効だと検証した？

数値例として、ガイダンスロボットの異方性controllability設計を行い、提案手法が所望のGramianを実現できることを示した。また、LMIによる追加の方向性制約を課す能力を検証した。さらに、所望のGramianをゼロに近づけると、提案手法が$H_2$制御に漸近することを数値的に確認した。

5. 議論はある？

要旨からは、提案手法の限界や仮定についての議論は不明である。ただし、Bures–Wasserstein距離を用いることで凸性が保証されるが、距離の選択が設計結果に与える影響や、大規模システムへの適用可能性などは議論の余地がある。また、$H_2$制御との関連は理論的に示されているが、実用的な意味での優位性についてはさらなる検討が必要かもしれない。

6. 次に読むべき論文は？

要旨で参照されている関連研究として、$H_2$制御やoptimal transportに関する論文が挙げられる。具体的には、Bures–Wasserstein距離の理論、LMIを用いた制御設計、controllability Gramianの整形に関する既存研究を読むことが推奨される。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Koju Nishimoto, Yuki Onishi, Riku Funada, Mitsuji Sampei

分類: math.OC, eess.SY

原文アブストラクト

This paper proposes a controller design method for shaping the controllability Gramian into a desired form to design the effect from exogenous inputs to the system state. Using the Bures--Wasserstein distance, we formulate the shaping problem as the minimization of the distance between the system Gramian and a desired Gramian, and the objective function is shown to be strictly convex on the set of symmetric positive definite matrices. In addition, by deriving a semidefinite programming formulation via a linear matrix inequality (LMI), computational efficiency is improved and additional LMI constraints can be incorporated. When the exogenous input is modeled as Gaussian white noise, the proposed framework is closely related to $H_2$ control, which can be interpreted as a special case of optimal transport. Numerical examples demonstrate anisotropic controllability design for a guidance robot and verify the ability to impose additional directional constraints through LMIs. The numerical examples also confirm that the proposed method approaches $H_2$ control as the desired Gramian tends to zero.

arXivで原文を読む →arXiv概要ページ

← 論文一覧