ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行

  • 和田 努
    早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻
  • 松本 翔太
    早稲田大学大学院基幹理工学研究科情報理工学専攻
  • 上田 和紀
    早稲田大学理工学術院

書誌事項

タイトル別名
  • ハイブリッド セイヤク ゲンゴ HydLa ショリケイ ニ オケル スウシキ ショリ ト クカン ケイサン オ クミアワセタ シミュレーション ジッコウ

この論文をさがす

抄録

<p>HydLaは制約に基づくハイブリッドシステムモデリング言語である.HydLa処理系は離散変化と連続変化をもつハイブリッドシステムを数式処理によって誤差なくシミュレーションする.本研究では, HydLa処理系において, 離散変化時刻を求める方程式が数式処理によって求解できないモデルをシミュレーション可能にするための手法として, 区間ニュートン法を組み合わせたアルゴリズムを考案, 実装し評価を行う.</p>

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ