A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems

あなたは、目に見えない跳ね返る壁に囲まれた部屋の中に、予測不可能な風に吹かれながら投げ込まれた、跳ねるボールが一体どこまで遠くに飛ぶ可能性があるかを正確に予測しようとしているところだと想像してください。このボールは単に壁に跳ね返っているだけでなく、突風のような予測不能な動きによってあちこちへ押し流されています。エンジニアリングの世界では、この「ボール」は機械やロボットであり、「壁」は機械がいる場所によって変化する異なるルールであり、「風」はランダムなノイズや外乱です。

エンジニアが抱く大きな疑問は、**「この機械が到達しうる領域は、絶対として最大でどのくらいの広さになるのか？」ということです。この領域は到達集合（reachable set）**と呼ばれます。もしこの領域の周りに、ぴったりとした目に見えない泡（バブル）を描くことができれば、たとえ風がどれほど荒れ狂っても、機械がその泡の外へ出ることは決してないと断言できます。これは安全性の確保において極めて重要です。もしあなたのロボットが特定の安全圏内に留まる必要があるなら、そのゾーンが正確にどの程度の大きさになるべきかを知っておく必要があるからです。

古い地図の問題点

長い間、2つの異なる振る舞い（**バイモーダル・区分線形系（bimodal piecewise affine systems）**と呼ばれるもの）を切り替える機械に対して、この「安全な泡」を描こうとする試みは、まるで巨大なハンマーで迷路を解こうとするようなものでした。既存の手法は、単純な2Dのスケッチで済むはずなのに、巨大な3Dパズルを解こうとするかのように非常に複雑でした。計算に何時間もかかる重厚な手法もあれば、安全な泡をあまりにも大きく、かつ曖昧に描きすぎてしまい、実用性に欠けるものもありました。

この論文の著者である Le Quang Thuan、Phan Thanh Nam、Simone Baldi は、より軽量で優れたツールを構築することに決めました。彼らは単に大きくてぼやけた雲を作りたいのではなく、タイトでカスタムメイドされた形の泡を作りたかったのです。

新しいツール：2枚構成の弾力スーツ

チームの主な成果は、**区分二次リアプノフ関数（piecewise quadratic Lyapunov function）**と呼ぶものを用いて、この安全な泡を計算する新しい方法を見出したことです。

これを理解するために、安全な泡を単一の硬い球体ではなく、2枚構成の弾力スーツだと想像してみてください。

• 部屋の左側では、スーツは一方の数学的な形状によって定義される、ある種のストレッチ性のあるゴムで作られています。
• 右側では、スーツはもう一方の形状によって定義される、わずかに異なる種類のゴムで作られています。
• 魔法が起きるのは、これら2つの側面が合流する境界線です。著者たちは、これら2つのピースを完璧に縫い合わせる方法を見つけ出しました。その結果、スーツは滑らかで連続したものとなり、隙間も、裂け目も、奇妙な凹凸もなくなりました。

彼らは、これら2つのピースを正しく縫い合わせれば、結果として得られる「スーツ」が、機械の可能な経路を常にしっかりと包み込むことを数学的に証明しました。彼らは、**線形行列不等式（LMI）**と呼ばれる一連のルールを用いました。これらのルールは、コンピュータに対して、機械の動きに完璧にフィットするようにゴムをどのように引き伸ばすべきかを指示する「レシピ」のようなものです。

彼らが否定したもの

この論文は、彼らの手法が何ではないかについても明確に述べています。

• 彼らは、多くの異なる切り替えモードを持つ機械（マルチモーダル系）向けに設計された、従来の過度に複雑な手法を明確に使用していません。彼らは、2つのモード間のみで切り替わる（バイモーダル）機械に対して、それらの古い手法を用いることは、数独のパズルを解くためにスーパーコンピュータを使うようなものだと主張しています。
• また、彼らは「風（外乱）」が最終的に止まるとは仮定していません。古い手法の中には、数学的な成立のために風がゼロに収束することを必要とするものがありました。この新しい手法は、風が一定の強さの範囲内に留まっている限り、たとえ永遠に吹き続けても機能します。
• 彼らは、部屋全体に対して単一の「共通の」形状を用いることも採用していません。数値テストにおいて、単一の形状（共通の二次関数）を使用すると、より大きな、緩い泡ができてしまい、スペースが無駄になることを示しました。彼らの2枚構成のスーツは、よりタイトなのです。

どの程度確かなのか？

著者たちは単に推測したのではなく、厳密な数学を用いて、彼らの手法が機能することを証明しました。彼らは、上述のLMI（線形行列不等式）という具体的な条件を導き出し、それが安全な泡を保持することを保証しています。

実際に動作を確認するため、彼らは2つのシナリオでシミュレーション（コンピュータ実験）を行いました。

1. 単純な数学的例題： 彼らは、新しい2枚構成のスーツを、従来の単一構成のスーツと比較しました。結果はどうだったでしょうか？ 新しいスーツの方がはるかにタイトでした。従来のスーツが見逃していた、機械の動きの「直交的（ほぼ直角）」な性質を、新しいスーツは見事に捉えていたのです。
2. 機械的なカートシステム： 2つのカートとバネを備えた、現実世界の機械システムをシミュレートしました。ここでは、その差は劇的でした。
   • 彼らの新しい手法は、約0.1秒で安全な泡を計算しました。
   • 彼らは、ゾノトープ（zonotopes）を用いた異なる手法を用いる、業界で人気の高いツールであるCORAと比較しました。CORAは、同じ仕事をしようとして200秒以上（3分以上）かかり、しかも、結果をより精密にしようとしても、実際には泡のサイズが改善されないまま、計算時間が長くなるだけでした。

著者らは、この4次システムにおいて、彼らの手法が既存のツールよりもおよそ3桁高速であると述べています。彼らは、自分たちの手法がバイモーダル（2モード）システムにおいては大幅な改善であるものの、3つ以上のモードを持つシステムにとってはまだ「魔法の杖」ではないことを強調しています。それは将来の研究課題です。

まとめ

要するに、この論文は、2つの振る舞いを切り替える機械の周囲に、より速く、よりタイトに「安全な泡」を描くための、巧妙で高速な方法を提示しています。安全地帯を、一つの硬い形状としてではなく、2つの継ぎ目のある弾力性のあるパーツとして扱うことで、著者たちは数学的に健全で、計算上極めて高速な手法を生み出しました。これは、複雑な問題を解決するための最善の方法は、より大きな機械を作ることではなく、よりフィットするスーツを縫い合わせることである、ということを思い出させてくれます。