• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2019 Fiscal Year Research-status Report

セキュアなサイバーフィジカルシステムのための制御・検証手法の開発

Research Project

Project/Area Number 17K06486
Research InstitutionHokkaido University

Principal Investigator

小林 孝一  北海道大学, 情報科学研究院, 准教授 (50452115)

Project Period (FY) 2017-04-01 – 2021-03-31
Keywordsサイバーフィジカルシステム / エネルギー管理システム / 電力ネットワーク
Outline of Annual Research Achievements

サイバーフィジカルシステムとは,物理システムと情報システムが相互結合したシステムである.情報システムの計算機能力を活用した高性能な制御システムを構築することが可能である.したがって,応用は電力システム,医療,交通など多岐に渡る.サイバーフィジカルシステムでは,外部からの攻撃に対するセキュリティ対策が近年特に重要になっている.また,システムの大規模化に対応する必要もある.以上を踏まえて,今年度はサイバーフィジカルシステムの解析および制御の手法として,エネルギー管理システムの分散最適化および電力ネットワークの状態推定におけるセキュリティ強化に取り組んだ.
エネルギー管理システムの分散最適化では,エネルギー管理システムを工場やビルをエージェントとしたマルチエージェントシステムとして捉えている.分散最適化では,まず,各エージェントで最適化問題を解き,アグリゲータが計算結果を集約する.次に,アグリゲータは計算結果を基に最適化問題のパラメータを調整し,各エージェントに調整したパラメータを送信する.この手順を繰り返すことで,最適化が導出できる.しかしながら,計算結果の集約の際に,データが改ざんされる危険性がある.本研究では,データの改ざんを防止するセキュアな分散最適化を実現するために,ブロックチェーンの利用を検討した.
電力ネットワークの状態推定では,推定値の残差から攻撃を検知できない不正データ注入攻撃が知られている.本研究では,状態推定に利用するセンサをランダムに選択することで,不正データ注入攻撃を検出する簡便な方法を提案した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

当初の計画に従い,セキュリティの研究を進めている.また,平成30年度に実施予定であった分散最適化に関する研究を継続して進めている.研究成果も順調に得られていることから,おおむね順調に進展していると考えられる.

Strategy for Future Research Activity

セキュアなサイバーフィジカルシステムの設計論はIoT時代と呼ばれる現代において重要な研究課題である.研究期間を延長し,セキュリティ検証の一種であるオパシティ検証に取り組む予定である.これまでの成果を活かすことで研究を推進できると考えている.引き続き,通信,制御,セキュリティなどの幅広い研究会・国際会議に参加し,大局的な視点から研究を進めていく.また,書籍を購入し,関連分野の基礎的内容の理解を深めていく.

Causes of Carryover

当初の計画通りの成果が得られている.一方で,研究課題のより精緻な達成を目指し,研究期間を延長している.したがって,令和2年度の研究を円滑に推進するために,使用額の一部を次年度に繰り越すこととした.

  • Research Products

    (26 results)

All 2020 2019

All Journal Article (15 results) (of which Peer Reviewed: 15 results,  Open Access: 2 results) Presentation (11 results)

  • [Journal Article] Distributed Observer over Delayed Sensor Networks for Systems with Unknown Inputs2020

    • Author(s)
      Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E103-A Pages: 469-477

    • DOI

      https://doi.org/10.1587/transfun.2019MAP0012

    • Peer Reviewed
  • [Journal Article] Dynamic Surveillance by Multiple Agents with Fuel Constraints2020

    • Author(s)
      Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E103-A Pages: 462-468

    • DOI

      https://doi.org/10.1587/transfun.2019MAP0011

    • Peer Reviewed
  • [Journal Article] Self-Triggered Pinning Consensus Control for Multi-Agent Systems2020

    • Author(s)
      Shun Andoh, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E103-A Pages: 443-450

    • DOI

      https://doi.org/10.1587/transfun.2019MAP0009

    • Peer Reviewed
  • [Journal Article] MPC-Based Persistent Surveillance by Heterogeneous Agents Using Mixed Integer Programming2020

    • Author(s)
      Koichi Kobayashi
    • Journal Title

      Proc. of the 25th International Symposium on Artificial Life and Robotics

      Volume: なし Pages: 414-417

    • Peer Reviewed
  • [Journal Article] Hierarchical Pinning Control for Consensus of Multi-Agent Systems and Its Application to Vehicle Platooning2020

    • Author(s)
      Shun Andoh, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the 2020 IEEE/SICE International Symposium on System Integration

      Volume: なし Pages: 1064-1069

    • DOI

      https://doi.org/10.1109/SII46433.2020.9026200

    • Peer Reviewed
  • [Journal Article] Construction Method of Probabilistic Boolean Networks Based on Imperfect Information2019

    • Author(s)
      Katsuaki Umiji, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Algorithms

      Volume: 12 Pages: 1-9

    • DOI

      https://doi.org/10.3390/a12120268

    • Peer Reviewed / Open Access
  • [Journal Article] Distributed Estimation over Delayed Sensor Network with Scalable Communication2019

    • Author(s)
      Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E102-A Pages: 712-720

    • DOI

      https://doi.org/10.1587/transfun.E102.A.712

    • Peer Reviewed / Open Access
  • [Journal Article] Construction Method of Probabilistic Boolean Networks Based on Imperfect Information2019

    • Author(s)
      Katsuaki Umiji, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the 2019 International Symposium on Nonlinear Theory and Its Applications

      Volume: なし Pages: 513-516

    • Peer Reviewed
  • [Journal Article] Dynamic Surveillance by Multiple Agents with Fuel Constraints2019

    • Author(s)
      Ryo Masuda, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the 2019 IEEE International Conference on Systems, Man, and Cybernetics

      Volume: なし Pages: 3331-3336

    • DOI

      https://doi.org/10.1109/SMC.2019.8914293

    • Peer Reviewed
  • [Journal Article] Observer-Based Self-Triggered Pinning Control for Consensus of Multi-Agent Systems2019

    • Author(s)
      Shun Andoh, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the SICE Annual Conference 2019

      Volume: なし Pages: 1440-1443

    • Peer Reviewed
  • [Journal Article] Attack Detection in Control Systems Based on Unknown Input Observers and Control Performance2019

    • Author(s)
      Kei Isono, Koichi Kobayashi, Ryosuke Adachi, and Yuh Yamashita
    • Journal Title

      Proc. of the 34th International Technical Conference on Circuits/Systems, Computers and Communications

      Volume: なし Pages: 290-293

    • Peer Reviewed
  • [Journal Article] Effectiveness and Limitation of Blockchain in Distributed Optimization2019

    • Author(s)
      Daiki Ogawa, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the 34th International Technical Conference on Circuits/Systems, Computers and Communications

      Volume: なし Pages: 286-289

    • Peer Reviewed
  • [Journal Article] Decentralized Event-Triggered Control of Discrete-Time Linear Systems Based on Uniformly Ultimate Boundedness2019

    • Author(s)
      Koichi Kobayashi, Kyohei Nakajima, and Yuh Yamashita
    • Journal Title

      Proc. of the 12th Asian Control Conference

      Volume: なし Pages: 1392-1397

    • Peer Reviewed
  • [Journal Article] Distributed Estimation over Delayed Sensor Networks with Cyclic Structure2019

    • Author(s)
      Ryosuke Adachi, Yuh Yamashita, and Koichi Kobayashi
    • Journal Title

      Proc. of the 12th Asian Control Conference

      Volume: なし Pages: 1386-1391

    • Peer Reviewed
  • [Journal Article] Blockchain-Based Distributed Optimization for Energy Management Systems2019

    • Author(s)
      Daiki Ogawa, Koichi Kobayashi, and Yuh Yamashita
    • Journal Title

      Proc. of the IEEE International Conference on Industrial Cyber-Physical Systems

      Volume: なし Pages: 694-699

    • DOI

      https://doi.org/10.1109/ICPHYS.2019.8780285

    • Peer Reviewed
  • [Presentation] 一様終局有界性に基づく事象駆動型量子化状態フィードバックの設計2020

    • Author(s)
      吉川峻平,小林孝一,山下裕
    • Organizer
      電子情報通信学会 システム数理と応用研究会
  • [Presentation] Moving Horizon推定を用いた制御システムのセンサ攻撃検知2020

    • Author(s)
      礒野圭,小林孝一,足立亮介,山下裕
    • Organizer
      電子情報通信学会 システム数理と応用研究会
  • [Presentation] ADMMを用いたグラフ上の動的輸送2019

    • Author(s)
      足立亮介,若佐裕治,小林孝一
    • Organizer
      電子情報通信学会 システム数理と応用研究会
  • [Presentation] 階層型ピニング合意制御による車群制御2019

    • Author(s)
      安藤駿,小林孝一,山下裕
    • Organizer
      計測自動制御学会 システム・情報部門 学術講演会 2019
  • [Presentation] エネルギー管理システムの分散最適化:ブロックチェーンによる実装2019

    • Author(s)
      小川大樹,小林孝一,山下裕
    • Organizer
      計測自動制御学会 システム・情報部門 学術講演会 2019
  • [Presentation] Moving Horizon推定を用いた制御システムの攻撃検知2019

    • Author(s)
      礒野圭,小林孝一,足立亮介,山下裕
    • Organizer
      計測自動制御学会 システム・情報部門 学術講演会 2019
  • [Presentation] 量子化状態フィードバックによるイベント駆動制御2019

    • Author(s)
      吉川峻平,小林孝一,山下裕
    • Organizer
      第62回自動制御連合講演会
  • [Presentation] センサネットワークのためのイベント駆動制御 ~ LMIに基づくアプローチ ~2019

    • Author(s)
      小林孝一
    • Organizer
      革新的無線通信技術に関する横断型研究会(MIKA 2019)
  • [Presentation] 離散時間線形システムのイベントベースト省エネルギー制御2019

    • Author(s)
      小林孝一
    • Organizer
      第66回離散事象システム研究会
  • [Presentation] ブロックチェーンを用いたエネルギー管理システムの分散最適化2019

    • Author(s)
      小川大樹,小林孝一,山下裕
    • Organizer
      電子情報通信学会 システム数理と応用研究会
  • [Presentation] 複数エージェントによるグラフ上の動的監視 ~ 可解条件について ~2019

    • Author(s)
      小林孝一
    • Organizer
      電子情報通信学会 高信頼制御通信研究会

URL: 

Published: 2021-01-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi