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

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

研究課題

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

基盤研究(B)

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

研究代表者

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

研究分担者 脇 隼人  九州大学, マス・フォア・インダストリ研究所, 准教授 (00567597)
研究期間 (年度) 2024-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の安定性解析に関して,実用的なRNNが多数の非線形活性化作用素を有することが大きな障害となる(計算負荷が膨大となる)ことから,この問題を回避するための非線形活性化作用素の削減手法(モデル圧縮手法)に関して検討を行った.主結果として,圧縮モデルの安定性解析からもとのRNNの安定性を結論づけられるような条件の導出,およびこの条件の成立が期待されるような圧縮モデルの構成手法を構築した.一方,RNNの非線形活性化作用素として標準的に用いられる正規化線形ユニット (Rectified Linear Unit, ReLU) が冪等性 (idempotence) を有することに着目し,RNNの安定性解析のための冪等性を活用した新たな解析手法を開発した.具体的には,O'shea-Zames-Falb (OZF) マルチプライアを用いて導出される安定性解析条件に関して,冪等性を利用することで OZF マルチプライアの自由度を高めることができる(安定性解析条件の保守性を低減することができる)ことを示すことに成功した.その他,非線形フィードバックシステムの絶対安定性に関しても研究を展開し,絶対安定性を保証する線形行列不等式(Linear Matrix Inequality, LMI)が成立しない場合に,その双対 LMI の解が特定の条件を満足すれば,フィードバックシステムを不安定化させる非線形作用素を具体的に構築できることなどを示した.

現在までの達成度
現在までの達成度

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

理由

これまでの取り組みにより,積分2次制約(Integral Quadratic Constraint, IQC)とマルチプライアを用いたRNNの安定性解析手法,RNNの安定性解析に密接に関連する,線形時不変システムのL2+誘導ノルムの上界値および下界値の計算手法,錐計画を用いたフィードフォワードニューラルネットワークの信頼性保証,RNNのモデル圧縮,非線形作用素の冪等性を利用した安定性解析条件,非線形フィードバックシステムの絶対安定性解析における不安定化非線形作用素の抽出などに関する基本的な枠組みを構築することができている.L2+誘導ノルムの解析に関する研究は独自性の高いものであり,下界値解析手法に関する研究に対して2023年度計測自動制御学会制御制御部門マルチシンポジウム賞(基礎分野)を受賞した.一方,RNNの安定性解析に関する基本的な結果をまとめた論文に関しては,2024年度システム制御情報学会学会賞論文賞を受賞している.その他,RNNのモデル圧縮や非線形作用素の冪等性を利用した安定性解析条件に関する基本的な結果をまとめた論文が制御分野の top conference の一つである Conference on Decison and Control (2024) に採択されるなど,我々の研究は国内外で高く評価されており,研究はおおむね順調に進展しているものと思われる.

今後の研究の推進方策

今後は,これまでに得られた再帰型ニューラルネットワーク(Recurrent Neural Network, RNN)の安定性解析に関する結果を基盤としつつ,安定性を保証した RNN の学習手法の構築,標準的な RNN よりも複雑な記憶構造を有する長短期記憶機構を有するRNN の安定性解析手法の確立,非線形ダイナミカルシステムの安定性保証・不安定性検出などに関する研究を広く展開する.制御理論,最適化理論を駆使した研究となるが,これらの分野を専門とする共同研究者である D. Peaucelle, S. Tarbouriech, V. Magron (LAAS-CNRS, France)らとの密接な連携を維持し,強固な国際共同研究実施体制のもとで研究を推進する.

報告書

(4件)
  • 2024 実施状況報告書
  • 2023 実績報告書
  • 2022 実績報告書
  • 2021 実績報告書
  • 研究成果

    (37件)

すべて 2025 2024 2023 2022 2021 その他

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

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

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

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

    • 関連する報告書
      2021 実績報告書
  • [雑誌論文] 再帰型ニューラルネットワークの安定性判別のための圧縮モデルの構築と入出力特性の評価2025

    • 著者名/発表者名
      YUNO Tsuyoshi、FUKUCHI Kazuma、EBIHARA Yoshio
    • 雑誌名

      計測自動制御学会論文集

      巻: 61 号: 3 ページ: 104-114

    • DOI

      10.9746/sicetr.61.104

    • ISSN
      0453-4654, 1883-8189
    • 関連する報告書
      2024 実施状況報告書
    • 査読あり
  • [雑誌論文] A Lyapunov-Based Method of Reducing Activation Functions of Recurrent Neural Networks for Stability Analysis2024

    • 著者名/発表者名
      Yuno Tsuyoshi、Fukuchi Kazuma、Ebihara Yoshio
    • 雑誌名

      IEEE Control Systems Letters

      巻: 8 ページ: 1102-1107

    • DOI

      10.1109/lcsys.2024.3406609

    • 関連する報告書
      2024 実施状況報告書
    • 査読あり
  • [雑誌論文] Stability Analysis of Feedback Systems with ReLU Nonlinearities via Semialgebraic Set Representation2024

    • 著者名/発表者名
      Yuno Tsuyoshi、Nishinaka Shingo、Saeki Rin、Ebihara Yoshio、Magron Victor、Peaucelle Dimitri、Zoboli Samuele、Tarbouriech Sophie
    • 雑誌名

      IFAC-PapersOnLine

      巻: 58 号: 21 ページ: 138-143

    • DOI

      10.1016/j.ifacol.2024.10.160

    • 関連する報告書
      2024 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] 積分二次制約と共正値マルチプライアを用いた連続時間再帰型ニューラルネットワークの安定性解析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 実績報告書
    • 査読あり / 国際共著
  • [学会発表] On Dual of LMIs for Absolute Stability Analysis of Nonlinear Feedback Systems with Static O’Shea-Zames- Falb Multipliers2025

    • 著者名/発表者名
      H. Gyotoku, T. Yuno, Y. Ebihara, V. Magron, D. Peaucelle, and S. Tarbouriech
    • 学会等名
      The 23rd European Control Conference (to be presented)
    • 関連する報告書
      2024 実施状況報告書
    • 国際学会
  • [学会発表] Detecting Desta- bilizing Nonlinearities in Absolute Stability Analysis of Discrete-Time Feedback Systems2025

    • 著者名/発表者名
      H. Gyotoku, T. Yuno, Y. Ebihara, D. Peaucelle, S. Tarbouriech, and V. Magron
    • 学会等名
      The 11th IFAC Symposium on Robust Control Design (ROCOND 2025) (to be presented)
    • 関連する報告書
      2024 実施状況報告書
    • 国際学会
  • [学会発表] Stability Analysis of Feedback Systems with Idempotent Nonlinearities via Static O’Shea-Zames-Falb Multipliers2024

    • 著者名/発表者名
      T. Yuno, S. Nishinaka, R. Saeki, and Y. Ebihara
    • 学会等名
      SICE Festival 2024 with Annual Conference
    • 関連する報告書
      2024 実施状況報告書
    • 国際学会
  • [学会発表] A Lyapunov-based Method of Reducing Activation Functions of Recurrent Neural Networks for Stability Analysis2024

    • 著者名/発表者名
      T. Yuno, K. Fukuchi, and Y. Ebihara
    • 学会等名
      The 63rd IEEE Conference on Decision and Control
    • 関連する報告書
      2024 実施状況報告書
    • 国際学会
  • [学会発表] On Static O’Shea-Zames-Falb Multipliers for Idempotent Nonlinearities2024

    • 著者名/発表者名
      T. Yuno, S. Nishinaka, R. Saeki, and Y. Ebihara
    • 学会等名
      The 63rd IEEE Conference on Decision and Control
    • 関連する報告書
      2024 実施状況報告書
    • 国際学会
  • [学会発表] 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/

    • 関連する報告書
      2024 実施状況報告書
  • [備考] 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   更新日: 2025-12-26  

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

Powered by NII kakenhi