情報・システム研究機構 国立情報学研究所（ＮＩＩ、所長：喜連川 優、東京都千代田区）のアーキテクチャ科学研究系 特任研究員 小林 努、同研究系 准教授 蓮尾 一郎らの研究チームは、科学技術振興機構（ＪＳＴ、理事長：濵口 道成、東京都千代田区）の戦略的創造研究推進事業 ＥＲＡＴＯ 蓮尾メタ数理システムデザインプロジェクト（ＥＲＡＴＯ ＭＭＳＤ、研究総括：ＮＩＩ アーキテクチャ科学研究系 准教授 蓮尾 一郎）のもと、制御システムのセンサーに計測誤差があっても、安全に動くように制御ソフトウェアのモデルを自動で変換する手法を開発しました。この手法を使うと、ソフトウェアのモデルを自動変換するとともに、出力された制御ソフトウェアが耐えられる誤差の限界を示す数式を得ることができます。本手法は、自動運転をはじめとした外部環境とやり取りするさまざまな制御システムに対して活用でき、多様な利用環境や計測手段に対応するシステムへの応用が期待されます。
本研究成果は、第１３回ＮＡＳＡ フォーマルメソッド・シンポジウムで２０２１年５月２６日（水）にオンライン発表されます。
本研究は科学技術振興機構 戦略的創造研究推進事業 ＥＲＡＴＯ 蓮尾メタ数理システムデザインプロジェクト（ＪＰＭＪＥＲ１６０３）の一環で行われました。
＜プレスリリース資料＞
- 本文 ＰＤＦ（１ＭＢ）
＜論文タイトル＞
- “Robustifying Controller Specifications of Cyber－Physical Systems Against Perceptual Uncertainty”
- ＤＯＩ：10.1007/978-3-030-76384-8_13
＜お問い合わせ先＞
-
＜ＪＳＴ事業に関すること＞
内田 信裕（ウチダ ノブヒロ）
科学技術振興機構 研究プロジェクト推進部
〒102-0076 東京都千代田区五番町７ Ｋ’ｓ五番町
Tel：03-3512-3528 Fax：03-3222-2068
E-mail：eratowww
jst.go.jp -
＜報道担当＞
情報・システム研究機構 国立情報学研究所 総務部 企画課 広報チーム
〒101-8430 東京都千代田区一ツ橋２－１－２
Tel：03-4212-2164 Fax：03-4212-2150
E-mail：medianii.ac.jp科学技術振興機構 広報課
〒102-8666 東京都千代田区四番町５番地３
Tel：03-5214-8404 Fax：03-5214-8432
E-mail：jstkohojst.go.jp