| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-07-24 14:25 要求の段階的分析による離散制御器合成の解なし原因特定手法 ○河野日和（Science Tokyo）・山内拓人（早大）・鄭 顕志（Science Tokyo）  SS2026-35 KBSE2026-35 |
|
| 抄録 | （和） | 離散制御器合成は，安全性が保証された動作仕様を自動合成する技術である．しかし，環境と要求を入力として与えた際，要求が過度に厳しい場合には解なしとなる．このとき，従来手法では要求を一括で分析するため，解なしの原因となる要求の特定が困難であった．そこで本研究では，環境と要求を段階的に分析することで，解なしを引き起こす要求を特定する離散制御器合成手法を提案する．さらに，途中の分析結果を再利用することで，再合成の対象をシステムの一部に限定できる． |
| （英） | Discrete controller synthesis automatically constructs behavior specifications that guarantee safety. However, synthesis may become unrealizable when the given requirements are too restrictive for the environment. Conventional methods analyze the requirements as a whole, making it difficult to identify the requirements that cause unrealizability. This paper proposes a stepwise discrete controller synthesis method for identifying such requirements by incrementally analyzing the environment and requirements. Furthermore, by reusing intermediate analysis results, the proposed method can restrict the scope of resynthesis to only a part of the system. |
|
| キーワード | （和） | 離散制御器合成 / ラベル付き遷移システム / 安全性保証 / / / / / |
| （英） | Discrete controller synthesis / Labeled transition system / Safety property guarantees / / / / / | |
| 文献情報 | 信学技報, vol. 126, no. 126, KBSE2026-35, pp. 206-210, 2026年7月. | |
| 資料番号 | KBSE2026-35 | |
| 発行日 | 2026-07-15 (SS, KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2026-35 KBSE2026-35 |
|
| 研究会情報 | |
| 研究会 | SS KBSE IPSJ-SE |
| 開催期間 | 2026-07-22 - 2026-07-24 |
| 開催地（和） | 札幌市教育文化会館 |
| 開催地（英） | |
| テーマ（和） | ソフトウェア工学全般／知能ソフトウェア工学全般／ソフトウェアサイエンス全般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2026-07-SS-KBSE-SE |
| 本文の言語 | 日本語 |
| タイトル（和） | 要求の段階的分析による離散制御器合成の解なし原因特定手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method for Identifying Causes of Unrealizability in Discrete Controller Synthesis via Stepwise Requirement Analysis |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 離散制御器合成 / Discrete controller synthesis |
| キーワード(2)（和/英） | ラベル付き遷移システム / Labeled transition system |
| キーワード(3)（和/英） | 安全性保証 / Safety property guarantees |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 河野 日和 / Hiyori Kono / コウノ ヒヨリ |
| 第1著者 所属（和/英） | 東京科学大学 (略称： Science Tokyo) Institute of Science Tokyo (略称： Science Tokyo) |
| 第2著者 氏名（和/英/ヨミ） | 山内 拓人 / Yamauchi Takuto / |
| 第2著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ) |
| 第3著者 氏名（和/英/ヨミ） | 鄭 顕志 / Tei Keji / |
| 第3著者 所属（和/英） | 東京科学大学 (略称： Science Tokyo) Institute of Science Tokyo (略称： Science Tokyo) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-07-24 14:25:00 |
| 発表時間 | 20分 |
| 申込先研究会 | KBSE |
| 資料番号 | SS2026-35, KBSE2026-35 |
| 巻番号（vol） | vol.126 |
| 号番号（no） | no.125(SS), no.126(KBSE) |
| ページ範囲 | pp.206-210 |
| ページ数 | 5 |
| 発行日 | 2026-07-15 (SS, KBSE) |
[研究会発表申込システムのトップページに戻る]