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

Event triggered fallback algorithm for networked systems via quantized control

Research Project

Project/Area Number 15K06134
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Control engineering/System engineering
Research InstitutionThe University of Electro-Communications

Principal Investigator

Sawada Kenji  電気通信大学, i-パワードエネルギー・システム研究センター, 准教授 (80550946)

Project Period (FY) 2015-04-01 – 2018-03-31
Project Status Completed (Fiscal Year 2017)
Budget Amount *help
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2015: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Keywords制御工学 / セキュリテイ / 縮退運転システム / 事象駆動システム / 制御系セキュリティ / フェールセーフ / フェールソフト / 通信制御系 / サイバーセキュリティ / サイバーフィジカルシステム
Outline of Final Research Achievements

Control systems such as critical infrastructures have to be networked due to the flexibility and the efficiency, and this situation causes new threats “cyber-attacks” against control systems. This study proposed the model-based fallback control system that guarantees the continuous operation of the system during the cyber-attacks. The study focuses on the “availability” and the incident response of control system, while the information security focus on the confidentiality. To realize the fallback control system theory, the following results are obtained: event triggered control of quantized system, model checking of program control flow graph, fallback operation depending on the attacking level and the detection accuracy, the relationship between the implementation style and the detection accuracy.

Report

(4 results)
  • 2017 Annual Research Report   Final Research Report ( PDF )
  • 2016 Research-status Report
  • 2015 Research-status Report
  • Research Products

    (49 results)

All 2018 2017 2016 2015 Other

All Int'l Joint Research (1 results) Journal Article (8 results) (of which Peer Reviewed: 8 results,  Open Access: 4 results,  Acknowledgement Compliant: 1 results) Presentation (40 results) (of which Int'l Joint Research: 14 results,  Invited: 4 results)

  • [Int'l Joint Research] LAAS-CNRS(France)

    • Related Report
      2017 Annual Research Report
  • [Journal Article] 通信可能範囲を考慮した分散協調制御システムに基づく迷路探索2018

    • Author(s)
      7.望月優加理, 澤田賢治, 新誠一
    • Journal Title

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

      Volume: 31

    • NAID

      130007405018

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] On Program Analysis via Kalman Decomposition for Non-stop Update of Embedded Systems2018

    • Author(s)
      岸田 貴光、塚田 健人、澤田 賢治、新 誠一
    • Journal Title

      Transactions of the Society of Instrument and Control Engineers

      Volume: 54 Issue: 2 Pages: 227-237

    • DOI

      10.9746/sicetr.54.227

    • NAID

      130006386574

    • ISSN
      0453-4654, 1883-8189
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Model Based Fallback Control for Networked Control System via Switched Lyapunov Function2017

    • Author(s)
      Tsubasa Sasaki, Kenji Sawada, Siichi shin, Shu Hosokawa
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E100.A Issue: 10 Pages: 2086-2094

    • DOI

      10.1587/transfun.E100.A.2086

    • NAID

      130006109901

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Analysis of relationship between self-excited oscillation and coulomb friction in spool of electro-magnetic proportional valve and design method for stabilization2017

    • Author(s)
      山藤 勝彦, 山本 建, 澤田 賢治
    • Journal Title

      Transactions of the JSME (in Japanese)

      Volume: 83 Issue: 852 Pages: 16-00553-16-00553

    • DOI

      10.1299/transjsme.16-00553

    • NAID

      130006003959

    • ISSN
      2187-9761
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Simulation Model-based Optimization of Brake Force Distribution2017

    • Author(s)
      田村健太,澤田賢治,新誠一
    • Journal Title

      Transactions of the Institute of Systems, Control and Information Engineers

      Volume: 30 Issue: 5 Pages: 197-208

    • DOI

      10.5687/iscie.30.197

    • NAID

      130005974073

    • ISSN
      1342-5668, 2185-811X
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Dynamic Quantizer Design under Communication Rate Constraints2016

    • Author(s)
      Hiroshi Okajima, Kenji Sawada, Nobutomo Matsunaga
    • Journal Title

      IEEE Transactions on Automatic Control

      Volume: 61 Issue: 10 Pages: 3190-3196

    • DOI

      10.1109/tac.2015.2509438

    • Related Report
      2016 Research-status Report
    • Peer Reviewed
  • [Journal Article] Security Enhancement of Networked Control Systems with RSA Public-key Cryptosystem2015

    • Author(s)
      藤田貴大,澤田賢治,小木曽公尚,新誠一
    • Journal Title

      Transactions of the Society of Instrument and Control Engineers

      Volume: 51 Issue: 9 Pages: 655-660

    • DOI

      10.9746/sicetr.51.655

    • NAID

      130005103095

    • ISSN
      0453-4654, 1883-8189
    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Model reformulation for conflict-free routing problems using Petri Net and Deterministic Finite Automaton2015

    • Author(s)
      Ryosuke Nakamura, Kenji Sawada, Seiichi Shin, Kenji Kumagai and Hisato Yoneda
    • Journal Title

      Journal Artificial Life and Robotics

      Volume: 20 Issue: 3 Pages: 262-269

    • DOI

      10.1007/s10015-015-0215-z

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] On autonomous distributed operation of LiB combined type SOFC system2018

    • Author(s)
      Shunsuke Kuwana, Kenji Sawada, Seiichi Shin
    • Organizer
      AROB 23rd 2018
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 風力・太陽光・蓄電池複合システムにおけるグルーピング最適化の検証2018

    • Author(s)
      武田 健吾,澤田 賢治,横川 慎二,新 誠一
    • Organizer
      計測自動制御学会,第30回自律分散シンポジウム
    • Related Report
      2017 Annual Research Report
  • [Presentation] カルマン正準分解に基づいたソフトウェアのモデル検査について2017

    • Author(s)
      塚田健人,岸田貴光,澤田賢治,新誠一
    • Organizer
      第4回制御部門マルチシンポジウム
    • Place of Presentation
      岡山大学(岡山県岡山市)
    • Year and Date
      2017-03-06
    • Related Report
      2016 Research-status Report
  • [Presentation] カルマン正準分解を用いた自律移動ロボットの無瞬断更新に関する研究2017

    • Author(s)
      岸田貴光,塚田健人,澤田賢治,新誠一
    • Organizer
      第4回制御部門マルチシンポジウム
    • Place of Presentation
      岡山大学(岡山県岡山市)
    • Year and Date
      2017-03-06
    • Related Report
      2016 Research-status Report
  • [Presentation] Control of self-organizing robots with switching role: Addition of robots in the multi columns formation moving2017

    • Author(s)
      Yuta Ueda, Kenji Sawada, Seiichi Shin
    • Organizer
      AROB 22th 2017
    • Place of Presentation
      B-Con PLAZAI(大分県別府市)
    • Year and Date
      2017-01-18
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] EddyStone-URLを用いた行方不明者捜索システムの開発2017

    • Author(s)
      高橋すみか・上野里奈・川喜田佑介・澤田賢治・新 誠一・市川晴久
    • Organizer
      知的環境とセンサネットワーク研究会
    • Place of Presentation
      別府 花菱ホテル(大分県別府市)
    • Year and Date
      2017-01-18
    • Related Report
      2016 Research-status Report
  • [Presentation] On Software Update Analysis via Kalman Decomposition2017

    • Author(s)
      Takanori Kishida, Kenji Sawada, Seiichi Shin
    • Organizer
      The 11th Asian Control Conference 2017
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Model-based Cybersecurity for Control Systems: Modeling, Design and Control2017

    • Author(s)
      Kenji Sawada
    • Organizer
      SICE Annual Conference
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 合意制御における誤り訂正符号を用いた改ざん検知のための検査ビット共有化2017

    • Author(s)
      川上重太,澤田賢治,新誠一
    • Organizer
      計測自動制御学会,システム・情報部門学術講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 分散協調制御型探索システムにおけるデッドロック解決のための通信手段の検討2017

    • Author(s)
      望月優加理,澤田賢治,新誠一
    • Organizer
      計測自動制御学会,システム・情報部門学術講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] トリネットを用いた渋滞現象のモデル化と動特性解析2017

    • Author(s)
      渡井 翔太,澤田 賢治,市原 裕之
    • Organizer
      第60回自動制御連合講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] マルチエージェントシステムによる迷路の協調探索における流量解析2017

    • Author(s)
      望月 優加理,澤田 賢治,新 誠一
    • Organizer
      第60回自動制御連合講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] ZDDを用いた風力・太陽光・蓄電池複合システムのグルーピング最適化2017

    • Author(s)
      武田 健吾,澤田 賢治,新 誠一
    • Organizer
      第60回自動制御連合講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 風力・太陽光・蓄電池融合システムの重複分散運用の検討2017

    • Author(s)
      武田 健吾,澤田 賢治,新 誠一
    • Organizer
      平成29年電気学会電子・情報・システム部門大会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 多重解像度補間メッシュに基づく経路探索手法2017

    • Author(s)
      永谷禎貴,澤田賢治,新誠一
    • Organizer
      第163回アルゴリズム研究会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 場を介した情報共有による自己組織化ロボットの役割切替2017

    • Author(s)
      植田 雄太, 澤田 賢治, 新 誠一
    • Organizer
      第61回システム制御情報学会研究発表講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 通信可能範囲を考慮した分散協調制御システムに基づく迷路探索2017

    • Author(s)
      望月 優加理,澤田 賢治,新 誠一
    • Organizer
      第61回システム制御情報学会研究発表講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 誤り訂正符号を用いたリーダー・フォロワー合意におけるビザンチン将軍問題2017

    • Author(s)
      川上重太,澤田賢治,新誠一
    • Organizer
      第61回システム制御情報学会研究発表講演会
    • Related Report
      2017 Annual Research Report
  • [Presentation] 制御システムのためのモデルベースセキュリティ技術2017

    • Author(s)
      澤田賢治
    • Organizer
      制御システムセキュリティカンファレンス2017
    • Place of Presentation
      コクヨホール(東京都品川区)
    • Related Report
      2016 Research-status Report
    • Invited
  • [Presentation] Brake force distribution optimization using simultaneous perturbation stochastic approximation2016

    • Author(s)
      Kenta Tamura, Kenji Sawada, Seiichi Shin
    • Organizer
      SICE Annual Conference
    • Place of Presentation
      筑波大学(茨木県つくば市)
    • Year and Date
      2016-09-20
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] Multiple Agents Maze Exploration with Deadlock Avoidance2016

    • Author(s)
      Yukari Mochizuki, Kenji Sawada, Seiichi Shin
    • Organizer
      SICE Annual Conference
    • Place of Presentation
      筑波大学(茨木県つくば市)
    • Year and Date
      2016-09-20
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] 制御システムのためのモデルベースセキュリティ技術2016

    • Author(s)
      澤田賢治
    • Organizer
      電気学会電子・情報・システム部門大会
    • Place of Presentation
      神戸大学(兵庫県神戸市)
    • Year and Date
      2016-08-31
    • Related Report
      2016 Research-status Report
  • [Presentation] ペトリネットに基づく制御システムのモデルベースセキュリティインシデント解析2016

    • Author(s)
      望月明典,澤田賢治,新誠一,細川嵩,奥村剛
    • Organizer
      電気学会電子・情報・システム部門大会
    • Place of Presentation
      神戸大学(兵庫県神戸市)
    • Year and Date
      2016-08-31
    • Related Report
      2016 Research-status Report
  • [Presentation] A Toolchain on Model Checking SPIN via Kalman Decomposition for Control Systems Software2016

    • Author(s)
      Kento Tsukada, Kenji Sawada, Seiichi Shin
    • Organizer
      2016 IEEE International Conference on Automation Science and Engineering (CASE)
    • Place of Presentation
      フォートワース,テキサス
    • Year and Date
      2016-08-21
    • Related Report
      2016 Research-status Report
    • Int'l Joint Research
  • [Presentation] カルマン正準分解に基づくルールベース縮退運転システム2016

    • Author(s)
      佐々木翼,塚田健人,澤田賢治,新誠一,細川嵩
    • Organizer
      計測自動制御学会,第3回制御部門マルチシンポジウム
    • Place of Presentation
      名古屋大学
    • Year and Date
      2016-03-08
    • Related Report
      2015 Research-status Report
  • [Presentation] ルールベース縮退運転システムを用いたサイバーインシデント検出2016

    • Author(s)
      佐々木翼,塚田健人,澤田賢治,新誠一,細川嵩
    • Organizer
      計測自動制御学会,第59回離散事象システム研究会
    • Place of Presentation
      下関
    • Year and Date
      2016-03-04
    • Related Report
      2015 Research-status Report
  • [Presentation] Quantized control based on invariant set analysis2016

    • Author(s)
      Kenji Sawada
    • Organizer
      SEMINAIRE DE L'EQUIPE MAC (LAAS-CNRS)
    • Place of Presentation
      フランス,ツールーズ
    • Related Report
      2016 Research-status Report
    • Invited
  • [Presentation] 制御系セキュリティのためのモデルベース技術2016

    • Author(s)
      澤田賢治
    • Organizer
      2016年5月高信頼制御通信研究会
    • Place of Presentation
      機械振興会館 (東京都港区)
    • Related Report
      2016 Research-status Report
    • Invited
  • [Presentation] Sampled-data model following output feedback control for discrete-valued input systems2015

    • Author(s)
      Kenji Sawada and Seiichi Shin
    • Organizer
      54th IEEE Conference on Decision and Control
    • Place of Presentation
      Osaka
    • Year and Date
      2015-12-15
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Studies on Software Model Checking via Kalman Decomposition2015

    • Author(s)
      Kento Tsukada, Kenji Sawada, Seiichi Shin
    • Organizer
      The 2015 CACS International Automatic Control Conference
    • Place of Presentation
      Taiwan
    • Year and Date
      2015-11-18
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] カルマン正準分解を用いたモデル検査のためのツール連携について2015

    • Author(s)
      塚田健人,澤田賢治,新誠一
    • Organizer
      システム制御情報学会,第58回自動制御連合講演会
    • Place of Presentation
      神戸大学
    • Year and Date
      2015-11-14
    • Related Report
      2015 Research-status Report
  • [Presentation] ネットワーク化制御系に対する双線形オブザーバを用いたモデルベース縮退運転の実現2015

    • Author(s)
      佐々木翼,澤田賢治,新誠一,細川嵩
    • Organizer
      システム制御情報学会,第58回自動制御連合講演会
    • Place of Presentation
      神戸大学
    • Year and Date
      2015-11-14
    • Related Report
      2015 Research-status Report
  • [Presentation] Model-based Fall Back Control for Cybersecurity2015

    • Author(s)
      Kenji Sawada
    • Organizer
      2015 Netherlands-Japan Cyber Security Conference in Tokyo
    • Place of Presentation
      Tokyo
    • Year and Date
      2015-11-12
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research / Invited
  • [Presentation] Model Based Fallback Control for Networked Control System via Switched Lyapunov Function2015

    • Author(s)
      T. Sasaki, K. Sawada, S. Shin and S. Hosokawa
    • Organizer
      IEEE IECON
    • Place of Presentation
      Yokohama
    • Year and Date
      2015-11-11
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] 通信制御系に対するモデルベース縮退運転システム2015

    • Author(s)
      佐々木翼,澤田賢治,新誠一,細川嵩
    • Organizer
      インターネットコンファレンス2015
    • Place of Presentation
      神戸
    • Year and Date
      2015-10-13
    • Related Report
      2015 Research-status Report
  • [Presentation] Sampled-data model following control for discrete-valued input systems via improved matrix uncertainty approach2015

    • Author(s)
      Kenji Sawada and Seiichi Shin
    • Organizer
      European Control Conference 2015
    • Place of Presentation
      Linz
    • Year and Date
      2015-07-15
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Reduced-order dynamic quantizer synthesis for discrete-valued input systems2015

    • Author(s)
      Kenji Sawada and Seiichi Shin
    • Organizer
      ECTI-CON 2015
    • Place of Presentation
      Huahin
    • Year and Date
      2015-06-24
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] A Fallback Control Study of Networked Control Systems for Cybersecurity2015

    • Author(s)
      T. Sasaki, K. Sawada, S. Shin and S. Hosokawa
    • Organizer
      ASCC2015
    • Place of Presentation
      Malaysia
    • Year and Date
      2015-06-03
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] カルマン正準分解を用いたソフトウェアのモデル検査に関する研究2015

    • Author(s)
      塚田健人,澤田賢治,新誠一
    • Organizer
      システム制御情報学会,第59回システム制御情報学会研究発表講演会
    • Place of Presentation
      大阪
    • Year and Date
      2015-05-21
    • Related Report
      2015 Research-status Report
  • [Presentation] ネットワーク制御系に対するモデルベース縮退運転の実現2015

    • Author(s)
      佐々木翼,澤田賢治,新誠一,細川嵩
    • Organizer
      システム制御情報学会,第59回システム制御情報学会研究発表講演会
    • Place of Presentation
      大阪
    • Year and Date
      2015-05-21
    • Related Report
      2015 Research-status Report

URL: 

Published: 2015-04-16   Modified: 2019-03-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi