第31回 (2017)
セッションID: 1M3-4
会議情報
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
制約に基づいたパラメトリックハイブリッドシステムの精度保証シミュレーション
詳細
主催: 一般社団法人 人工知能学会
会議名: 2017年度人工知能学会全国大会（第31回）
回次: 31
開催地: 愛知県名古屋市 ウインクあいち
開催日: 2017/05/23 - 2017/05/26
本研究では，離散時間動的システムと連続時間動的システムの混合系であるハイブリッド動的システムのうち、特にパラメタ化された系に対しての記号実行シミュレータの開発を行った．本シミュレータは記号実行と精度保証数値計算を組み合わせた制約処理手法を採用しており，システムの取りうる軌道のパラメタを用いた表現を計算することができる．
