研課題
J-GLOBAL ID：202104010412339320
研究課題コード：20334578
AI集約的サイバーフィジカルシステムの形式的解析設計手法
体系的課題番号：JPMJCR2012
実施期間：2020 - 2025
実施機関 (1件)：
研究代表者：
(
, 大学院情報学研究科, 准教授 )
DOI：
https://doi.org/10.52926/JPMJCR2012
研究概要：
AIを構成要素として含むCPS (AI-CPS) の安全性・信頼性の担保は、早急に研究を進めるべき課題です。本研究ではAI-CPSの安全性・信頼性を担保するための数学に基づく強固な形式的設計手法を研究します。また、様々な現実的なモデルでケーススタディを行い、その効果を実証します。フランスの研究チームと共同で研究を推進することで、お互いの強みを補完しつつ、レバレッジを効かせた研究推進を行います。
タイトルに関連する用語 (5件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した研究課題タイトルの用語をもとにしたキーワードです
,
,
,
,
研究制度：
＞
＞
上位研究課題：
数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開
研究所管機関：
前のページに戻る
