| 講演名 | 2024-03-14 On-the-fly探索を用いた動的更新制御器合成 平野 貴規(早大), 山内 拓人(早大), 鄭 顕志(東工大), 本位田 真一(NII), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 継続的な運用が求められる離散事象システムにおいて，運用を停止せずに更新することが求められる．動的更新制御器合成とは，更新制御器を自動合成することで制御器をもとに動作するシステムの動的更新を実現するが，計算空間が指数関数的に増加する課題がある．そこで本研究では，動的更新制御器合成にon-the-fly探索を用いることで計算空間の削減に取り組む． |
| 抄録(英) | In discrete event systems that require continuous operation, it is necessary to update the system without stopping operation. Dynamic update controller synthesis is an automatic synthesis of update controllers to achieve dynamic updating of a controller-based system, but it requires an exponentially increasing computational space. In this study, we address the issue of reducing the computational space by using on-the-fly search in dynamic update controller synthesis. |
| キーワード(和) | 動的更新制御器合成 / on-the-fly探索 / 安全性保証 |
| キーワード(英) | Dynamic update controller synthesis / on-the-fly exprolation / safety property guarantees |
| 資料番号 | KBSE2023-78 |
| 発行日 | 2024-03-07 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2024/3/14(から2日開催) |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 委員長氏名（和） | 猿渡 卓也(NTTデータ) |
| 委員長氏名（英） | Takuya Saruwatari(NTT Data) |
| 副委員長氏名（和） | 田辺 良則(鶴見大) |
| 副委員長氏名（英） | Yoshinori Tanabe(Tsurumi Univ.) |
| 幹事氏名（和） | 青木 善貴(BIPROGY) / 堀田 大貴(茨城大) |
| 幹事氏名（英） | Yoshitaka Aoki(BIPROGY) / Hiroki Horita(Ibaraki Univ.) |
| 幹事補佐氏名（和） | 田中 昂文(玉川大) / 北村 崇師(産総研) |
| 幹事補佐氏名（英） | Takafumi Tanaka(Tamagawa Univ.) / Takashi Kitamura(AIST) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | On-the-fly探索を用いた動的更新制御器合成 |
| サブタイトル（和） | |
| タイトル（英） | Dynamic update controller synthesis using on-the-fly exploration |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 動的更新制御器合成 / Dynamic update controller synthesis |
| キーワード(2)（和/英） | on-the-fly探索 / on-the-fly exprolation |
| キーワード(3)（和/英） | 安全性保証 / safety property guarantees |
| 第 1 著者 氏名（和/英） | 平野 貴規 / Takanori Hirano |
| 第 1 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 第 2 著者 氏名（和/英） | 山内 拓人 / Takuto Yamauchi |
| 第 2 著者 所属（和/英） | 早稲田大学(略称：早大) Waseda University(略称：Waseda Univ.) |
| 第 3 著者 氏名（和/英） | 鄭 顕志 / Kenji Tei |
| 第 3 著者 所属（和/英） | 東京工業大学(略称：東工大) Tokyo Institute of Technology(略称：Tokyo Tech.) |
| 第 4 著者 氏名（和/英） | 本位田 真一 / Shinichi Honiden |
| 第 4 著者 所属（和/英） | 国立情報学研究所(略称：NII) National Institute of Informatics(略称：NII) |
| 発表年月日 | 2024-03-14 |
| 資料番号 | KBSE2023-78 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | KBSE-443 |
| ページ範囲 | pp.76-78(KBSE), |
| ページ数 | 3 |
| 発行日 | 2024-03-07 (KBSE) |