ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携

摘要

本研究の目的は離散変化と連続変化の両方を伴う動的システム（ハイブリッドシステム）の精度保証シミュレータの開発である．我々はこれまで制約求解と数式処理に基づき，システムのパラメータ解析を可能とするシミュレータを開発してきたが，適用可能モデルが解析的に扱えるものに限定されていた．本稿では，より広範なモデルの解析を目指し，精度保証数値計算技術と数式処理とを連携させたシミュレーション手法およびその実装について論じる．