AI集約的サイバーフィジカルシステムの形式的解析設計手法

研究課題

体系的課題番号	JPMJCR2012
DOI	https://doi.org/10.52926/JPMJCR2012
研究代表者	末永幸平京都大学, 大学院情報学研究科, 准教授
研究期間 (年度)	2020 – 2025
概要	AIを構成要素として含むCPS (AI-CPS) の安全性・信頼性の担保は、早急に研究を進めるべき課題です。本研究ではAI-CPSの安全性・信頼性を担保するための数学に基づく強固な形式的設計手法を研究します。また、様々な現実的なモデルでケーススタディを行い、その効果を実証します。フランスの研究チームと共同で研究を推進することで、お互いの強みを補完しつつ、レバレッジを効かせた研究推進を行います。
研究領域	数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開