制御システムのセンサー計測誤差

自動運転をはじめとした外部環境とやり取りするさまざまな制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発した。