| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-03-14 16:45 On-the-fly探索を用いた動的更新制御器合成 ○平野貴規・山内拓人（早大）・鄭 顕志（東工大）・本位田真一（NII）  KBSE2023-78 |
|
| 抄録 | （和） | 継続的な運用が求められる離散事象システムにおいて，運用を停止せずに更新することが求められる．動的更新制御器合成とは，更新制御器を自動合成することで制御器をもとに動作するシステムの動的更新を実現するが，計算空間が指数関数的に増加する課題がある．そこで本研究では，動的更新制御器合成に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 / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 443, KBSE2023-78, pp. 76-78, 2024年3月. | |
| 資料番号 | KBSE2023-78 | |
| 発行日 | 2024-03-07 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2023-78 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2024-03-14 - 2024-03-15 |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2024-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 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 |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第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) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-03-14 16:45:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2023-78 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.443 |
| ページ範囲 | pp.76-78 |
| ページ数 | 3 |
| 発行日 | 2024-03-07 (KBSE) |
[研究会発表申込システムのトップページに戻る]