Proj
J-GLOBAL ID:202104010412339320  Research Project code:20334578

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

AI集約的サイバーフィジカルシステムの形式的解析設計手法
National award number:JPMJCR2012
Study period:2020 - 2025
Organization (1):
Principal investigator: ( , 大学院情報学研究科, 准教授 )
DOI: https://doi.org/10.52926/JPMJCR2012
Research overview:
AIを構成要素として含むCPS (AI-CPS) の安全性・信頼性の担保は、早急に研究を進めるべき課題です。本研究ではAI-CPSの安全性・信頼性を担保するための数学に基づく強固な形式的設計手法を研究します。また、様々な現実的なモデルでケーススタディを行い、その効果を実証します。フランスの研究チームと共同で研究を推進することで、お互いの強みを補完しつつ、レバレッジを効かせた研究推進を行います。
Terms in the title (5):
Terms in the title
Keywords automatically extracted from the title.
Research program:
Parent Research Project: 数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開
Organization with control over the research:
Japan Science and Technology Agency

Return to Previous Page