| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-21 11:00 マルコフ決定過程に基づくステートマシン図へのモデル検査適用の試み ○青木善貴・中山陽太郎（BIPROGY）・小形真平（信州大）  KBSE2024-53 |
|
| 抄録 | （和） | 自動運転車のセンサー動作やロボット制御システムなどのCyber-PhysicalSystem（CPS）と自律システムが連携する分野では，人へ被害を及ぼす可能性のある事故を防ぐため，安全性の検証は非常に重要である．特に，これらのシステムは不確実性を伴う環境で運用されることが多いため，不確実性や確率的挙動を扱う代表的なフレームワークが求められる．その代表と言えるのが，マルコフ決定過程（MDP:MarkovDecisionProcess）である．MDPを用いることで，不確実な要素を考慮した検証が可能となり，より現実的な安全性の検証が実現する．本研究では，MDPをステートマシン図に表し，それを変換してモデル検査を行うことで，従来よりも高精度な安全検証を目指す． |
| （英） | In the field where Cyber-Physical Systems (CPS) and autonomous systems collaborate, such as sensor operations in autonomous vehicles and robot control systems, safety verification is crucial to prevent accidents that could cause harm to humans. These systems often operate in uncertain environments, making it essential to adopt a framework capable of handling uncertainty and probabilistic behaviors. One of the most representative frameworks for this purpose is the Markov Decision Process (MDP). By utilizing MDP, it becomes possible to conduct verification that accounts for uncertain factors, leading to a more realistic and reliable safety assessment. In this study, we represent MDP using state machine diagrams, convert them accordingly, and perform model checking to achieve higher-precision safety verification compared to conventional methods. | |
| キーワード | （和） | モデル検査 / マルコフ決定過程 / / / / / / |
| （英） | Model Checking / Markov Decision Process / / / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 449, KBSE2024-53, pp. 5-10, 2025年3月. | |
| 資料番号 | KBSE2024-53 | |
| 発行日 | 2025-03-14 (KBSE) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | KBSE2024-53 |
|
| 研究会情報 | |
| 研究会 | KBSE |
| 開催期間 | 2025-03-21 - 2025-03-22 |
| 開催地（和） | B-nest 静岡市産学交流センター |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | KBSE |
| 会議コード | 2025-03-KBSE |
| 本文の言語 | 日本語 |
| タイトル（和） | マルコフ決定過程に基づくステートマシン図へのモデル検査適用の試み |
| サブタイトル（和） | |
| タイトル（英） | Application of Model Checking to State Machine Diagrams Based on Markov Decision Processes |
| サブタイトル（英） | |
| キーワード(1)（和/英） | モデル検査 / Model Checking |
| キーワード(2)（和/英） | マルコフ決定過程 / Markov Decision Process |
| キーワード(3)（和/英） | / |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 青木 善貴 / Yoshitaka Aoki / アオキ ヨシタカ |
| 第1著者 所属（和/英） | BIPROGY株式会社 (略称： BIPROGY) BIPROGY Inc. (略称： BIPROGY) |
| 第2著者 氏名（和/英/ヨミ） | 中山 陽太郎 / Yotaro Nakayama / ナカヤマ ヨウタロウ |
| 第2著者 所属（和/英） | BIPROGY株式会社 (略称： BIPROGY) BIPROGY Inc. (略称： BIPROGY) |
| 第3著者 氏名（和/英/ヨミ） | 小形 真平 / Shinpei Ogata / オガタ シンペイ |
| 第3著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： SU) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-21 11:00:00 |
| 発表時間 | 30分 |
| 申込先研究会 | KBSE |
| 資料番号 | KBSE2024-53 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.449 |
| ページ範囲 | pp.5-10 |
| ページ数 | 6 |
| 発行日 | 2025-03-14 (KBSE) |
[研究会発表申込システムのトップページに戻る]