• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

錐計画に基づく再帰型ニューラルネットワークの安定性解析と最適設計

研究課題

研究課題/領域番号 23K20949
補助金の研究課題番号 21H01354 (2021-2023)
研究種目

基盤研究(B)

配分区分基金 (2024)
補助金 (2021-2023)
応募区分一般
審査区分 小区分21040:制御およびシステム工学関連
研究機関九州大学

研究代表者

蛯原 義雄  九州大学, システム情報科学研究院, 教授 (80346080)

研究分担者 脇 隼人  九州大学, マス・フォア・インダストリ研究所, 准教授 (00567597)
研究期間 (年度) 2021-04-01 – 2026-03-31
研究課題ステータス 交付 (2024年度)
配分額 *注記
16,770千円 (直接経費: 12,900千円、間接経費: 3,870千円)
2025年度: 3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2024年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
2023年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2022年度: 3,380千円 (直接経費: 2,600千円、間接経費: 780千円)
2021年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
キーワード再帰型ニューラルネットワーク / 安定性 / 半正定値計画 / 共正値計画 / 非線形フィードバック系 / 非線形ダイナミカルシステム / 安定性解析 / 非負値信号 / 錐計画 / 誘導ノルム
研究開始時の研究の概要

時系列解析や自然言語処理の分野で,再帰型ニューラルネットワーク(Recurrent Neural Network, RNN)の有効性が広く認識されている.RNNの最大の特徴はフィードバック機構を有することであり,この機構のおかげでRNNはダイナミカルシステムの振る舞いを模擬できる.しかしながらこのフィードバック機構の存在により,重みや活性化関数の選定によってはRNNの振る舞いが不安定化する.そこで本研究では,制御理論および最適化理論に基づいた,RNNの安定性解析手法の確立を目指す.すなわち,RNNの安定性を判別する問題を凸可解問題に帰着させ,その可解性によって安定判別を行う手法を確立する.

研究実績の概要

本研究は,制御理論的手法と錐計画を用いた再帰型ニューラルネットワーク(Recurrent Neural Network, RNN)の安定性解析手法と最適設計手法の確立を目的としている.同時に,RNNを包含する,非線形ダイナミカルシステムの解析と設計のための新たな理論的成果の創出を目指している.本年度は,RNNの非線形活性化作用素として標準的に用いられる正規化線形ユニット (Rectified Linear Unit, ReLU) が冪等性 (idempotence) を有することに着目し,RNNの安定性解析のための冪等性を活用した新たな解析手法を開発した.一方,RNNの安定性解析問題は,入力を非負に限定した場合の線形時不変システムのL2誘導ノルム(L2+誘導ノル
ムと称する)の計算問題と密接に関連している.L2+誘導ノルムの厳密な計算は非常に困難であるため,昨年度までは上界値計算手法,対象を1入力システムに限定した場合の下界値計算手法の開発を進めてきたが,今年度はこの下界値計算手法を多入力システムに拡張することに成功した.さらに本研究は,動的なニューラルネットワークであるRNNを主たる研究対象とするものであるが,解析に関する基本的なアイデアは静的なニューラルネットワークであるフィードフォワードニューラルネットワーク(Feedforward Neural Network, FNN)にも適用可能である.本年度は,画像認識などに用いられるFNNの信頼性を解析するための,錐計画に基づく新たな解析手法を開発することに成功した.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

これまでの取り組みにより,積分2次制約(Integral Quadratic Constraint, IQC)とマルチプライアを用いたRNNの安定性解析手法に関する基本的な枠組みと,RNNの安定性解析に密接に関連する,線形時不変システムのL2+誘導ノルムの上界値および下界値の計算手法の基本的な枠組みを構築することができている.とくにRNNの非線形活性化作用素として標準的に用いられる ReLU の非負性に着目した安定性解析に関する研究は,独自性の高いものと思われる.これらに関する基本的な考え方をまとめた論文は,European Control Conference 2021 (ECC2021) での発表を受理されただけでなく,one of the very best papers at ECC2021 に選出され,制御分野の主要な国際雑誌の一つである European Journal of Control の特集号に掲載を受理された.一方,L2+誘導ノルムの解析に関する研究自体も独自性の高いものであり,下界値解析手法に関する研究に対して2023年度計測自動制御学会制御制御部門マルチシンポジウム賞(基礎分野)が授与されるなどの評価が得られている.このように我々の研究は国内外で高く評価されており,研究はおおむね順調に進展しているものと思われる.

今後の研究の推進方策

今後は,これまでに得られた再帰型ニューラルネットワーク(Recurrent Neural Network, RNN)の安定性解析に関する結果を基盤としつつ,大規模RNNのモデル縮約(非線形活性化関数の個数の低減),非線形ダイナミカルシステムの安定性保証・不安定性検出,静的なニューラルネットワークであるフィードフォワードニューラルネットワークの信頼性保証に関する研究を広く展開する.制御理論,最適化理論を駆使した研究となるが,これらの分野を専門とする共同研究者であるD. Peaucelle, S. Tarbouriech, V. Magron (LAAS-CNRS, France)らとの密接な連携を維持し,強固な国際共同研究実施体制のもとで研究を推進する.

報告書

(3件)
  • 2023 実績報告書
  • 2022 実績報告書
  • 2021 実績報告書
  • 研究成果

    (27件)

すべて 2024 2023 2022 2021 その他

すべて 国際共同研究 (2件) 雑誌論文 (5件) (うち国際共著 1件、 査読あり 5件、 オープンアクセス 1件) 学会発表 (16件) (うち国際学会 9件、 招待講演 1件) 備考 (2件) 学会・シンポジウム開催 (2件)

  • [国際共同研究] LAAS-CNRS(フランス)

    • 関連する報告書
      2023 実績報告書
  • [国際共同研究] LAAS-CNRS(フランス)

    • 関連する報告書
      2021 実績報告書
  • [雑誌論文] 積分二次制約と共正値マルチプライアを用いた連続時間再帰型ニューラルネットワークの安定性解析2023

    • 著者名/発表者名
      Takao Ryota、Fujii Tatsuki、Motooka Hayato、Ebihara Yoshio
    • 雑誌名

      システム制御情報学会論文誌

      巻: 36 号: 1 ページ: 17-25

    • DOI

      10.5687/iscie.36.17

    • ISSN
      1342-5668, 2185-811X
    • 年月日
      2023-01-15
    • 関連する報告書
      2023 実績報告書
    • 査読あり
  • [雑誌論文] Lower Bound Analysis of L+ Induced Norm for LTI Systems2023

    • 著者名/発表者名
      Ebihara Yoshio、Sebe Noboru、Waki Hayato、Hagiwara Tomomichi
    • 雑誌名

      IFAC-PapersOnLine

      巻: 56 号: 2 ページ: 2425-2430

    • DOI

      10.1016/j.ifacol.2023.10.1218

    • 関連する報告書
      2023 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 非負値入力に対する<i>L</i><sub>2</sub>誘導ノルムの解析と再帰型ニューラルネットワークの安定性解析への応用2022

    • 著者名/発表者名
      Motooka Hayato、Ebihara Yoshio
    • 雑誌名

      システム制御情報学会論文誌

      巻: 35 号: 2 ページ: 29-37

    • DOI

      10.5687/iscie.35.29

    • ISSN
      1342-5668, 2185-811X
    • 年月日
      2022-02-15
    • 関連する報告書
      2022 実績報告書
    • 査読あり
  • [雑誌論文] 非負値入力に対するL2 誘導ノルムの解析と 再帰型ニューラルネットワークの安定性解析への応用2022

    • 著者名/発表者名
      本岡駿人, 蛯原義雄
    • 雑誌名

      システム制御情報学会論文誌

      巻: 35 ページ: 29-37

    • 関連する報告書
      2021 実績報告書
    • 査読あり
  • [雑誌論文] l2 induced norm analysis of discrete-time LTI systems for nonnegative input signals and its application to stability analysis of recurrent neural networks2021

    • 著者名/発表者名
      Ebihara Yoshio、Waki Hayato、Magron Victor、Mai Ngoc Hoang Anh、Peaucelle Dimitri、Tarbouriech Sophie
    • 雑誌名

      European Journal of Control

      巻: 62 ページ: 99-104

    • DOI

      10.1016/j.ejcon.2021.06.022

    • 関連する報告書
      2021 実績報告書
    • 査読あり / 国際共著
  • [学会発表] Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification2024

    • 著者名/発表者名
      Y. Ebihara, X. Dai, T. Yuno, V. Magron, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      The 22nd European Control Conference
    • 関連する報告書
      2023 実績報告書
    • 国際学会
  • [学会発表] Stability Analysis of Feedback Systems with Idempotent Nonlinearities2023

    • 著者名/発表者名
      S. Nishinaka, K. Kadota, T. Yuno, and Y. Ebihara
    • 学会等名
      SICE Annual Conference
    • 関連する報告書
      2023 実績報告書
    • 国際学会
  • [学会発表] Lp+ Induced Norm Analysis of Linear Systems2023

    • 著者名/発表者名
      Y. Ebihara
    • 学会等名
      Workshop on Uncertain Dynamical Systems (WUDS2023)
    • 関連する報告書
      2023 実績報告書
    • 国際学会 / 招待講演
  • [学会発表] フィードフォワードニューラルネットワークの局所的 Lipschitz 定数:上界値計算と厳密性検証2023

    • 著者名/発表者名
      Dai Xin,西中伸吾,藤井達希,蛯原義雄
    • 学会等名
      第 10 回計測自動制御学会制御部門マルチシンポジウム
    • 関連する報告書
      2022 実績報告書
  • [学会発表] 離散時間線形時不変システムの lp+ 誘導ノルムの下界値解析2023

    • 著者名/発表者名
      伊藤龍之介,本岡駿人,蛯原義雄
    • 学会等名
      第 10 回計測自動制御学会制御部門マルチシンポジウム
    • 関連する報告書
      2022 実績報告書
  • [学会発表] L2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming2022

    • 著者名/発表者名
      Y. Ebihara, H. Motooka, H. Waki, N. Sebe, V. Magron, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      The 18th European Control Conference
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] Tractable Semidefinite Bounds of Positive Maximal Singular Values2022

    • 著者名/発表者名
      V. Magron, N. H. A. Mai, Y. Ebihara, and H. Waki
    • 学会等名
      The 25th International Symposium on Mathematical Theory of Networks and Systems
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] Stability Analysis of Dynamical Systems with Saturation Nonlinearities via IQC with Copositive Multipliers2022

    • 著者名/発表者名
      R. Saeki and Y. Ebihara
    • 学会等名
      The SICE Annual Conference
    • 関連する報告書
      2022 実績報告書
    • 国際学会
  • [学会発表] L2+ Induced Norm Analysis of Continuous-Time LTI Systems Using Positive Filters and Copositive Programming2022

    • 著者名/発表者名
      Y. Ebihara, H. Waki, N. Sebe, V. Magron, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      European Control Conference
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] L2+ 誘導ノルムの解析I: 上界値解析2022

    • 著者名/発表者名
      本岡駿人,蛯原義雄,脇隼人,瀬部昇
    • 学会等名
      第9 回計測自動制御 学会制御部門マルチシンポジウム
    • 関連する報告書
      2021 実績報告書
  • [学会発表] L2+ 誘導ノルムの解析II: 下界値解析2022

    • 著者名/発表者名
      蛯原義雄,本岡駿人,脇隼人,瀬部昇
    • 学会等名
      第9 回計測自動制御 学会制御部門マルチシンポジウム
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 単層フィードフォワードニューラルネットワークのモデル縮約と信頼性保証2022

    • 著者名/発表者名
      藤井達希,蛯原義雄
    • 学会等名
      第9 回計測自動制御 学会制御部門マルチシンポジウム
    • 関連する報告書
      2021 実績報告書
  • [学会発表] l2 Induced Norm Analysis of Discrete-Time LTI Systems for Nonnegative Input Signals and Its Application to Stability Analysis of Recurrent Neural Networks2021

    • 著者名/発表者名
      Y. Ebihara, H. Waki, V. Magron, N. H. A. Mai, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      European Control Conference
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] Stability Analysis of Recurrent Neural Networks by IQC with Copositive Mutipliers2021

    • 著者名/発表者名
      Y. Ebihara, H. Waki, V. Magron, N. H. A. Mai, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      IEEE Conference on Decision and Control
    • 関連する報告書
      2021 実績報告書
    • 国際学会
  • [学会発表] 非負フィルタと共正値計画を用いたL2+ 誘導ノルムの解析2021

    • 著者名/発表者名
      本岡駿人,蛯原義雄
    • 学会等名
      第64 回自動制御 連合講演会
    • 関連する報告書
      2021 実績報告書
  • [学会発表] 単層フィードフォワードニューラルネットワークのモデル縮約と信頼性保証2021

    • 著者名/発表者名
      藤井達希,蛯原義雄
    • 学会等名
      第40 回計測自動制御学会九州支部学術講演会
    • 関連する報告書
      2021 実績報告書
  • [備考] https://ctrl.ees.kyushu-u.ac.jp/~ebihara/

    • 関連する報告書
      2023 実績報告書
  • [備考] http://ctrl.ees.kyushu-u.ac.jp/~ebihara/

    • 関連する報告書
      2021 実績報告書
  • [学会・シンポジウム開催] Seminar on Control Theory at Fukuoka2023

    • 関連する報告書
      2023 実績報告書
  • [学会・シンポジウム開催] Workshop on Unceratin Dyanamical Systems2023

    • 関連する報告書
      2023 実績報告書

URL: 

公開日: 2021-04-28   更新日: 2024-12-25  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi