ハイブリッドシステム解析器HyLaGI における非線形常微分方程式の精度保証計算

摘要

ハイブリッドシステムとは，複数の状態変数と，常微分方程式によるそれらの連続変化，そして離散変化により構成される動的システムのことである．HyLaGI[1]は，ハイブリッドシステムモデリング言語HydLa[2]のC++ による処理系で，Mathematica を用いた記号的解析によりハイブリッドシステムの厳密な解軌道を求めることができるという特徴を持っている．