設立趣旨

システム数理と応用(MSS)研究専門委員会の前身であるコンカレント工学研究専門委員会(CST)は,平成5年に創設され,我が国のコンカレントシステムに関する研究を牽引してきました.

分散協調システム,自律分散システム,グループウェアなどの非手続き型人間ー機械系システムのコンカンレントモデリング,並行・非同期・協調 動作解析,性能評価およびその実現手法を系統的に研究し,人間を含む分散非同期システムの効率的でオープンな戦略的運用を可能とするコンカレ ント制御機構を追求することにより,無集中管理を念頭においた知的自律 個の相互通信による協調や柔軟なシステム統合といった将来の重要な工学 的課題に対する,ネット理論的な図的アプローチ,オブジェクト指向などの言語論的・代数的アプローチ,人工知能・シナジェティクスなどの認知論的・生物学的アプローチを,コンカレント工学(Concurrent System Technology)として統合・確立することを目的とする.

以来,通信・情報システムを取り巻く環境は大きく変化し,システムの信頼性への要求はますます高まっています.複数のシステム・プロセスが複雑に情報交換を行うようなコンカレントな振る舞いを洗い出すには,何らかの数理的な手法が必要不可欠となっています.すでに,ソフトウェアやハードウェアの検証では,モデル検査法を代表とする数理的手法と呼ばれる方法論が普及してきています.このような問題はまさにコンカレントシステムの問題であり,CSTの中心的な研究課題でありました.しかし,現状では,対象の数理モデルを作成し,そのモデルを用いて解析・設計・制御する「数理的アプローチ」もしくは「数理的手法」という表現で扱われることが多くなっています.また,CSTで扱われる研究対象も創設時に比べると大きく広がりました.

このような実情を考慮し,研究会の実態に合わせるため,名称をより普遍的な「システム数理と応用研究専門委員会」(Mathematical Systems Science and its Applications: 略称MSS)に変更することになりました.CSTで活動されてきた研究者・技術者が中心となってMSSを発足させますが,数理的手法に関心を持つ研究者・技術者の参加を広く呼びかけ,電子情報通信学会における数理的手法の研究拠点として,電子情報通信分野の発展に大きく貢献する研究専門委員会となることを目指しています.

システム数理と応用の研究ロードマップ

研究ロードマップ

2012年度版ロードマップ

研究ロードマップ2012

取り扱う主要研究分野

システム数理基礎理論
グラフ
ペトリネット
ネットワーク
並行システム
システム最適化
マルチエージェントシステム
ハイブリッドシステム
分散システム
ゲーム理論
離散事象システム
など
システム設計・検証の数理
形式的モデル化技術
形式検証
故障診断
性能評価
シミュレーション
フォールトトレランス
など
サイバーフィジカルシステムの数理
組込みシステム
ネットワーク化制御
センサネットワーク
協調制御
リアルタイムシステム
など
ヒューマンファクターの数理
人間行動の解析とモデル化
ビジネスプロセス
サービスサイエンス
など
数理的手法の応用
ワークフロー
エレベータ制御
生産スケジューリング
AGV制御
オンデマンドバス制御
大規模ソフトウエア設計
など
新しい数理的手法
オープンシステムサイエンス
システムバイオロジー
ビッグデータ解析及びデータ駆動科学の数理
など
その他
システム数理技術の理論と応用に関する研究全般