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
Reports :

Return to Previous Page