大阪大学,科学技術振興機構（ＪＳＴ）

令和４年３月８日

大阪大学
科学技術振興機構（ＪＳＴ）

Ｃｙｂｅｒ Ｐｈｙｓｉｃａｌ Ｓｙｓｔｅｍ（ＣＰＳ）を低コストで制御するＡＩを開発

～自動運転などにおける複雑なタスクをベクトルに変換しメモリー消費を低減～

ポイント

大阪大学 大学院工学研究科の大学院生の橋本 航さん（博士後期課程）、橋本 和宗 助教、高井 重昌 教授らの研究グループは、ロボットやドローン、自動車などのさまざまな物理システムを計算機（情報システム）で管理し制御するサイバーフィジカルシステム（ＣＰＳ：Ｃｙｂｅｒ Ｐｈｙｓｉｃａｌ Ｓｙｓｔｅｍ）において、多種多様かつ複雑なタスクを実行するための制御機能を低コストで学習する新たな人工知能（ＡＩ）技術を開発しました。

近年、自動運転に代表されるように、さまざまなタスク（前方の車に追従する、車線変更するなど）を実行するための制御機能をＡＩにより行うための機械学習手法に関する研究が盛んに行われています。しかし、自動運転などで想定されるタスクの数は膨大であることから、それぞれのタスクに対し学習モデルを１つずつ用意し構築することは、メモリー消費などといったコストの観点から好ましくありません。そのため、これまで提案されてきた学習方法は、特にタスクの数が多い場合には現実的ではないといった課題がありました。

今回、橋本助教らの研究グループは、ＣＰＳにおいて想定される複雑なタスク仕様を信号時相論理（ＳＴＬ：Ｓｉｇｎａｌ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ）で記述し、それらをベクトルに変換する技術（ＳＴＬ２ｖｅｃ）を新たに構築することで、多種多様なタスクの下での制御機能を統一的かつ省メモリーで学習することを可能としました。今回提案した技術により、ＣＰＳにおける幅広い分野に対し、従来法に比べより柔軟性の高い実用的な設計方法の確立への展開が期待されます。

本研究成果は、「ＩＥＥＥ Ｒｏｂｏｔｉｃｓ ａｎｄ Ａｕｔｏｍａｔｉｏｎ Ｌｅｔｔｅｒｓ」に、２０２２年３月８日（火）（日本時間）に公開されました。

本研究は、科学技術振興機構（ＪＳＴ） 戦略的創造研究推進事業 ＣＲＥＳＴ「数学・数理科学と情報科学の連携・融合による情報活用基盤の創出と社会課題解決に向けた展開」研究領域（研究総括：上田 修功）における研究課題「ＡＩ集約的サイバーフィジカルシステムの形式的解析設計手法」（ＪＰＭＪＣＲ２０１２、研究代表者：末永 幸平）、科研費（若手研究）「物理モデルとセンサデータに基づく省リソースな制御と通信方策の設計」（２１Ｋ１４１８４、研究代表者：橋本 和宗）の助成を受けたものです。

＜プレスリリース資料＞

＜論文タイトル＞

“STL2vec: Signal Temporal Logic Embeddings for Control Synthesis with Recurrent Neural Networks”
ＤＯＩ：10.1109/LRA.2022.3155197

＜お問い合わせ先＞

（英文）“STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks”

前に戻る