平行体計算を用いた非線形ハイブリッドシステムのシミュレーション

摘要

非線形常微分方程式，非線型ガード制約，非線型リセット関数で構成されるハイブリッドシステムを区間計算にもとづき高信頼にシミュレーションする手法を提案する．提案手法は，平行体計算を用いて区間シミュレーションにおけるラッピング効果を抑え，ハイブリッドシステムの軌道の精度のよい区間包囲を求めることができる．複数の例題について，提案手法の実装を用いてシミュレーションを実施した実験結果を示す．