• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2014 年度 研究成果報告書

区間制約プログラミングと演繹的推論に基づくハイブリッドシステムの検証技術

研究課題

  • PDF
研究課題/領域番号 25880008
研究種目

研究活動スタート支援

配分区分補助金
研究分野 ソフトウェア
研究機関東京工業大学

研究代表者

石井 大輔  東京工業大学, 情報理工学(系)研究科, 助教 (00454025)

研究期間 (年度) 2013-08-30 – 2015-03-31
キーワードハイブリッドシステム / 制約プログラミング / 区間解析 / 探索・論理・推論アルゴリズム
研究成果の概要

連続変化と離散変化の振る舞いをするハイブリッドシステムに対する,安全性や安定性といった性質の検証を,区間制約プログラミングと演繹的推論を用いて実施するための技術を開発した.本研究は,制約概念を軸に,高信頼な数値計算と,数式処理や時相論理式検証などの記号計算とを統合した点を特色とする.非線形算術制約を高速に求解する並列区間制約ソルバーを構築するとともに,本ソルバーを利用したハイブリッドシステムの検証器を構築,既存ツールでは検証が難しかった複数の事例について,提案ツールにより検証可能であることを示した.

自由記述の分野

ソフトウェア

URL: 

公開日: 2016-06-03  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi