| 研究課題/領域番号 |
25880008
|
|---|
| 研究種目 |
研究活動スタート支援
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
石井 大輔 東京工業大学, 情報理工学(系)研究科, 助教 (00454025)
|
|---|
| 研究期間 (年度) |
2013-08-30 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | ハイブリッドシステム / 制約プログラミング / 区間解析 / 探索・論理・推論アルゴリズム / 並列分散処理 / 国際研究者交流 / 並列計算 / 演繹的推論 / 国際研究者交流: フランス、スウェーデン |
|---|
| 研究成果の概要 |
連続変化と離散変化の振る舞いをするハイブリッドシステムに対する，安全性や安定性といった性質の検証を，区間制約プログラミングと演繹的推論を用いて実施するための技術を開発した．本研究は，制約概念を軸に，高信頼な数値計算と，数式処理や時相論理式検証などの記号計算とを統合した点を特色とする．非線形算術制約を高速に求解する並列区間制約ソルバーを構築するとともに，本ソルバーを利用したハイブリッドシステムの検証器を構築，既存ツールでは検証が難しかった複数の事例について，提案ツールにより検証可能であることを示した．
|
