共同発表:計測誤差があるセンサーを使っても安全に動くように制御ソフトウェアを...
https://www.jst.go.jp/pr/announce/20210526-3/index.html
情報・システム研究機構 国立情報学研究所(NII、所長:喜連川 優、東京都千代田区)のアーキテクチャ科学研究系 特任研究員 小林 努、同研究系 准教授 蓮尾 一郎らの研究チームは、科学技術振興機構(JST、理事長:濵口 道成、東京都千代田区)の戦略的創造研究推進事業 ERATO 蓮尾メタ数理システムデザインプロジェクト(ERATO MMSD、研究総括:NII アーキテクチャ科学研究系 准教授 蓮尾 一郎)のもと、制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動...