1504数理・情報 計測誤差があるセンサーを使っても安全に動くように 制御ソフトウェアを自動で変換する手法を開発
自動運転をはじめとした外部環境とやり取りするさまざまな制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発した。
1504数理・情報
0108交通物流機械及び建設機械
1600情報工学一般
1600情報工学一般
1604情報ネットワーク
1600情報工学一般
1600情報工学一般
1604情報ネットワーク
1600情報工学一般
1200農業一般