抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Koopmanスペクトル理論は,動的システム解析と制御のための強力なツールとして過去10年に成長した。本論文では,ニューラルネットワークを持つKoopman-Invariant部分空間を推定するための最近のデータ駆動技術が,基礎となるシステムに対するLyapunov証明書の抽出に利用できることを示した。本研究では,孤立平衡点を超える限界サイクルを持つシステムに焦点を当て,Kopman固有関数を用いて,候補Lyapunov関数を効率的にパラメータ化し,いくつかの(未知)アトラクタ動力学の下でフォワード不変集合を構築した。さらに,動力学が多項式であり,ニューラルネットワークが,著者らのアプローチにおける関数近似法の選択として多項式によって置き換えられるとき,1つは,さらに,Sum-of-Squaresプログラムおよび/または非線形プログラムを利用して,証明可能に正しいLyapunov証明書を生み出すことができる。そのような多項式の場合,Lyapunov関数を構築するためのKoopmanベース手法は,Sum-of-Squares最適化問題を直接定式化し解くのと比較して,著しく少ない決定変数を使用する。【JST・京大機械翻訳】