Proj
J-GLOBAL ID：202104005532381491
Research Project code：18076925
形式手法を用いたデータ駆動階層型管理システムの設計
形式手法を用いたデータ駆動階層型管理システムの設計
National award number：JPMJMI18B4
Study period：2018 - 2019
Organization (1)：
Principal investigator：
(
, 大学院基礎工学研究科, 教授 )
DOI：
https://doi.org/10.52926/JPMJMI18B4
Research overview：
大規模複雑フィジカルシステムでは、時空間スケールが異なる様々な管理仕様が与えられる。これらの管理仕様を満たすためには、その時空間スケールに合わせた階層的かつ分散的な管理システムが適している。システムのモデルを用いて解析・設計を行うアプローチは形式手法と呼ばれ、システムの安全性の担保に有効であるが、計算量が増大する。さらに、不確かさへの対応が保守的になる。一方、機械学習を用いると、模範的な動作データなどから最適なシステムを学習するので、ユーザの要望にかなうシステムを実現することができる。しかし、探索中での安全性が担保されにくいという課題がある。この二つのアプローチをうまく協働させて、安全・安心を担保した管理システムを実現する。さらに、設計コストの低減も目指す。
Terms in the title (5)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
Research program：
＞
＞
Parent Research Project：
超スマート社会の実現「サイバー世界とフィジカル世界を結ぶモデリングとAI」
Organization with control over the research：
Japan Science and Technology Agency
