| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2024-03-14 16:20 段階的離散制御器合成におけるStepwise Policy設計の自動化 ○山内拓人（早大）・鄭 顕志（東工大）・本位田真一（早大）  KBSE2023-77 |
|
| 抄録 | （和） | 想定される動作環境下において安全性が保証された動作仕様を自動合成する技術として，離散制御器合成に関する研究が進められてきた．段階的離散制御器合成は，安全性を段階的に分析することで，離散制御器合成における計算空間削減に取り組んだが，どの安全性を先に分析するかを決めるStepwise Policyによってその計算空間削減効果は異なる．しかし，このStepwise Policyは開発者の経験に基づいてシステムごとに人手で設計されてきた．そこで本論文では，監視対象モデル数に着目したStepwise Policyのアルゴリズムを提案する．その結果，平均93.6%の計算空間削減効果が見込まれるStepwise Policyの設計の自動化を実現した． |
| （英） | Discrete Controller Synthesis (DCS) automatically synthesizes a safety-guaranteed behavioral specification for a given operating environment. Stepwise Discrete Controller Synthesis approached computational space reduction in DCS through a stepwise analysis of safety. This effect of computational space reduction depends on the stepwise policy that determines which safety features are to be analyzed first. However, stepwise policies have been manually designed for each system based on developers' experience. In this paper, we propose a stepwise policy algorithm that focuses on the number of monitored models. As a result, we have achieved an automated design of the staging policy that is expected to reduce the computational space by an average of 93.6%. | |
| キーワード | （和） | 離散制御器合成 / ラベル付き遷移システム / 安全性保証 / / / / / |
| （英） | Discrete Controller Synthesis / Labelled Transition System / Safety Property Guarantees / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 443, KBSE2023-77, pp. 73-75, 2024年3月. | |
| 資料番号 | KBSE2023-77 | |
| 発行日 | 2024-03-07 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2023-77 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2024-03-14 - 2024-03-15 |
| 開催地（和） | 沖縄県総合福祉センター |
| 開催地（英） | Okinawa Prefectual General Welfare Center |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2024-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | 段階的離散制御器合成におけるStepwise Policy設計の自動化 |
| サブタイトル（和） | |
| タイトル（英） | Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 離散制御器合成 / Discrete Controller Synthesis |
| キーワード(2)（和/英） | ラベル付き遷移システム / Labelled Transition System |
| キーワード(3)（和/英） | 安全性保証 / Safety Property Guarantees |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 山内 拓人 / Takuto Yamauchi / ヤマウチ タクト |
| 第1著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 鄭 顕志 / Kenji Tei / |
| 第2著者 所属（和/英） | 東京工業大学 (略称： 東工大) Tokyo Institute of Technology (略称： Tokyo Tech.) |
| 第3著者 氏名（和/英/ヨミ） | 本位田 真一 / Shinichi Honiden / |
| 第3著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2024-03-14 16:20:00 |
| 発表時間 | 25分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2023-77 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.443 |
| ページ範囲 | pp.73-75 |
| ページ数 | 3 |
| 発行日 | 2024-03-07 (KBSE) |
[研究会発表申込システムのトップページに戻る]