| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2009-01-30 09:55 微分制約論理式によるハイブリッドシステムのモデリングと検証 ○石井大輔・上田和紀（早大）・細部博史（NII）  CST2008-53 |
|
| 抄録 | （和） | 本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法（bounded model checking）を提案する．提案手法では，非線形ハイブリッドオートマトンを常微分方程式およびガード制約を埋め込んだ論理式として，モデル中の危険領域を示す論理式とともに記述する．上記論理式の充足可能性をSAT求解系と数式処理系（Mathematica）を連携させた探索により示し，モデル中の不具合を発見することができる． |
| （英） | We propose a bounded model checking method for reachability analysis of hybrid systems. In our method, a nonlinear hybrid automaton is encoded into a logic formula which contains ordinary differential equations and guard constraints. The formula is also joined with logic formulas describing unsafe regions in a model. By showing satisfiability of the logic formula with a SAT solver and a computer algebra system (Mathematica), a bug in the model will be detected. | |
| キーワード | （和） | ハイブリッドシステム / 有界モデル検査 / 到達可能性検証 / / / / / |
| （英） | Hybrid Systems / Bounded Model Checking / Reachability Analysis / / / / / | |
| 文献情報 | 信学技報, vol. 108, 2009年1月. | |
| 資料番号 | ||
| 発行日 | 2009-01-22 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2008-53 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2009-01-29 - 2009-01-30 |
| 開催地（和） | 神奈川県産業振興センター会議室(第一会議室) |
| 開催地（英） | Kanagawa Industrial Promotion Center |
| テーマ（和） | コンカレント工学一般 |
| テーマ（英） | Concurrent Systems |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2009-01-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | 微分制約論理式によるハイブリッドシステムのモデリングと検証 |
| サブタイトル（和） | |
| タイトル（英） | Modeling and Verification of Hybrid Systems using Boolean Differential Constraints |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ハイブリッドシステム / Hybrid Systems |
| キーワード(2)（和/英） | 有界モデル検査 / Bounded Model Checking |
| キーワード(3)（和/英） | 到達可能性検証 / Reachability Analysis |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 石井 大輔 / Daisuke Ishii / イシイ ダイスケ |
| 第1著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 上田 和紀 / Kazunori Ueda / ウエダ カズノリ |
| 第2著者 所属（和/英） | 早稲田大学 (略称： 早大) Waseda University (略称： Waseda Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 細部 博史 / Hiroshi Hosobe / ホソベ ヒロシ |
| 第3著者 所属（和/英） | 国立情報学研究所 (略称： NII) National Institute of Informatics (略称： National Inst. of Info.) |
| 講演者 | 第1著者 |
| 発表日時 | 2009-01-30 09:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2008-53 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.415 |
| ページ範囲 | pp.67-70 |
| ページ数 | 4 |
| 発行日 | 2009-01-22 (CST) |
[研究会発表申込システムのトップページに戻る]