研究テーマ
計測・制御システムの安全性・高機能化・セキュリティ強化
概要
マイコンの力が計測・制御システムを支えています.当研究室の目的はマイコンに関わる計測・制御技術の研究開発です.研究の柱は,数学モデルに基づく制御工学,フーリエ変換を精密化したwavelet解析,そして多数のステーションが協調して動く自律分散システムです.これらに拘らず,モデルベース技術の各種産業応用も研究の範囲となります.また,産業応用では,ソフトウェアのバグ検出,生産計画最適化,自動車の各種制御,情報家電の制御などをおこなってきました.その経験から,理論研究,応用研究,そして理論と応用を連携させた研究の指導が可能です.また,重要インフラの制御システムに対するモデルベースセキュリティ技術の開発に携わっている有数の研究室でもあります.
過去の共同研究・受託研究については教員総覧のページを参照ください.
研究一覧
計測・制御システムは我々の生活にとって必要不可欠であり,影響範囲は携帯電話,家電製品,自動車,産業用ロボット,発電所等,身近なものから重要施設まで様々です. ですから,我々の研究テーマは下記のように多岐にわたります.各研究の詳細は随時公開していきます(リンク先に紹介スライドがあります).
制御システムセキュリティ(重点テーマ)
エネルギー・エコシステム(重点テーマ)
マルチエージェントシステム
自動車・航空機
AGVの最適化
制御理論
「研究テーマに統一性が無い」と良く言われてしまいますが,下に書いてあるように一見関係無いようなテーマも実は相互関係にあったりします.
2018年II類紹介
高校生向けのII類紹介動画です.一部で当研究室の研究が移っています.
2019年研究紹介
コントローラホワイトリストの外部向け紹介動画です.
2021年研究室紹介
高校生向けのII類研究室紹介動画です.
現在,澤田の研究の最大主要テーマになっています(所属研究センターにおける澤田のタスク).ネットワーク情報を使わない攻撃検出機能を実現したモデルベース縮退運転システムを起点に,様々な制御システムのためのセキュリティ機能を研究しています.ハードウェアやソフトウェアを更新せずに産業用コントローラにセキュリティ機能を実装できる「ラダー型ホワイトリスト」は当研究室のオリジナリティであり,関連技術の社会実装に努めています.
モデルベース縮退運転システム
第三者監視装置
状態推定型ホワイトリスト
コントローラホワイトリスト(ラダー型ホワイトリスト)
このテーマは企業との共同研究から始まりました.現在,澤田の主要テーマ(所属研究センターのテーマ)になっています.現在,サイバー攻撃・災害・故障下など継続的運用が困難な中でのエネルギー・エコシステムの運用方法や回復方法の研究に従事しています.最適運用の考え方はAGVの最適化で培ったものです.エアコンの省エネ化に利用した学習アルゴリズムは制御システムセキュリティで利用しています.
環境自動学習アルゴリズムによるエアコンの省エネ化
家電連携アルゴリズム
耐故障性を考慮した蓄電池の最適運用
自律分散型エネルギーシステム
Cyber Physical Human System (CPHS)
AGVの最適化からの派生研究であり,かつ,学生の興味から始まったテーマです.同一機能を有する個体が情報場を介して様々な機能を発現する「自律分散システム」が基礎です.情報場をどのように実現するか,情報場にアップロードする情報量によってどんな機能を発現できるか,などを研究しています.ここで得られた知見は自律分散型エネルギーシステムの研究で利用しています.
役割切替を有するスワームロボット
自律協調型迷路探索アルゴリズム
ネットワークの流量評価
自動車技術は企業との共同研究テーマが多いです.油圧システムの機械的特性を制御工学のルーリエ系の安定性解析(澤田の博士論文に関連)から特徴付けた研究(山藤,山本,澤田,2017)は論文賞を頂いたりしました.それ以外の課題では,AIブームを意識しているわけではないのですが,機械学習のテクニックを結構使っています.
ジャダー抑制制御
油圧システム解析
モデルベース開発のためのモデル検証技術
機械要素諸元の多目的最適化
Cyber Physical Human System (CPHS)
受賞経験の一番多い研究テーマです.この研究も企業との共同研究から始まりました.オペレーションズリサーチで数多く研究されていたAGVの搬送最適化問題を制御問題に書き下したことを評価して頂いているようです.このテーマで研究した「経路選択プロセスや搬送タスクの状態遷移のモデル化方法」が後にエネルギーシステムの最適運用や制御システムセキュリティの研究に大きく役立っています.
有限整定制御
モデル化
合流部の流量最適化
タスク割り当てと経路計画の最適化
モデル予測制御による高速スケジューリング
澤田の博士論文テーマは入力飽和システムの制御です.制御問題の統一的解法を数値最適化に帰着するのが澤田の研究のオリジンと言えます.「数値最適化に関連した数学的証明」を含む研究は量子化制御で一端区切りが付いたと考え,現在は毛色がちょっと違う離散事象システムや事象駆動型制御に興味が向いています.また,制御問題の数値最適化の考え方は制御システムセキュリティでも活用しています.
入力飽和システムの制御
離散値システムの最適制御(量子化制御)
ハイブリットシステムの制御
事象駆動型制御
離散事象システム