2022年 9月6日 （火） 午後
Zoomによるオンライン開催
高信頼制御通信研専
JST CREST 研究課題「AI 集約的サイバーフィジカルシステムの形式的解析設計⼿法」が開始されて2 年が経過しました。本研究課題では、AI が関わるサイバーフィジカルシステムの信頼性を⾼めることを⽬的として、フランス国⽴研究機構（ANR）からの⽀援を受けているフランスの研究チームと連携して設計検証や監視制御の⼿法の構築を進めています。 ⾃動運転⾞に代表されるサイバーフィジカルシステムは安全性、信頼性の確保が重要であるにも関わらず、そのための技術は未だ発展途上です。本セッションでは、研究課題の概観を紹介するとともに、過去2年で得られた知⾒のうち、複雑なシステムの制御に関連するものを中⼼に紹介します。また、この分野の現状と将来についてディスカッションの機会を設けることで、参加者の皆様と今ある最先端の技術と今求められている技術開発について議論できればと思います。