ゲーム空間の一括構築による離散制御器合成の計算空間削減

• Item type: Journal(1)
• 公開日: 2024-08-15
• タイトル: ゲーム空間の一括構築による離散制御器合成の計算空間削減
• タイトル / 言語: en
• タイトル: Computational Space Reduction for Discrete Controller Synthesis Through Batch Construction of Game Space
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [一般論文] 離散制御器合成，ラベル付き遷移システム，並列合成
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• ID登録: 10.20729/00237884
• ID登録 / ID登録タイプ: JaLC
• 著者所属: 早稲田大学／東京工業大学
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学／東京工業大学／国立情報学研究所
• 著者所属: 国立情報学研究所
• 著者所属(英): en
• 著者所属(英): Waseda University / Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University / Tokyo Institute of Technology / National Institute of Informatics (NII)
• 著者所属(英): en
• 著者所属(英): National Institute of Informatics (NII)
• 著者名: 山内, 拓人; 李, 家隆; 鄭, 顕志; 本位田, 真一
• 著者名(英): Takuto, Yamauchi; Jialong, Li; Kenji, Tei; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 与えられた環境下で安全性を保証する制御器を自動合成する技術であるDiscrete Controller Synthesis（DCS）は，Labeled Transition Systemでモデル化された環境モデルと監視モデルから，安全性が保証されたシステムの制御器を合成する．しかし，環境全体をモデル化した全体モデルの状態空間は，与えられる環境モデル数に対して指数関数的に大きくなるため，全体モデルを構築する従来のDCSでは計算空間も指数関数的に増加する．本論文では，安全性を違反する状態の構築を回避しつつゲーム空間構築することで計算空間削減する，Consolidated Discrete Controller Synthesis（CDCS）を提案する．安全性を違反する状態を構築することなく制御器を合成することによって計算空間削減が実現される．本論文では，このCDCSの機能の妥当性を証明し，5つの評価シナリオで評価実験を行った．その結果，平均で49%，最大で99%の計算空間削減効果が確認できた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Discrete Controller Synthesis (DCS) automatically synthesizes a controller to meet requirements in specified environments. In DCS, the environment and requirements are given in Labeled Transition System (LTS) as environment models and monitor models. Existing DCS alogorithms face exponential increases in state space with the number of environment models. To address this problem, we propose Consolidated Discrete Controller Synthesis (CDCS), directly forming game spaces from environment and monitor models to avoid full LTS construction. CDCS reduces computational space by synthesizing controllers without constructing states violating requirements. We proved the validity of CDCS and conducted experiments with five application scenarios to evaluate state space reduction compared with DCS. Experimental results showed that 49% state space reduction on average and 99% at the maximum.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 65, 号 8, p. 1221-1232, 発行日 2024-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764
• 公開者 / 言語: ja
• 公開者 / 出版者: 情報処理学会