An Execution Algorithm for the Hybrid System Modeling Language HydLa
An Execution Algorithm for the Hybrid System Modeling Language HydLa
复制标题
混合系统建模语言HydLa的执行算法
DOI：
10.11309/jssst.28.3_167
复制
发表时间：
2011
影响因子：
--
通讯作者：
上田和紀
中科院分区：
文献类型：
--
作者：
渋谷俊;高田賢士郎;細部博史;上田和紀
ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式が離散変化したりする動的システムを指す. HydLa は制約概念に基づくハイブリッドシステムモデリング言語であり, 精度保証されたシミュレーションを行うことでシステム検証に役立てることを目標としている. これまで, HydLa プログラムにおいて初期値が範囲を持つ場合やパラメタを用いてシステムを表現した場合のシミュレーション方法が明らかでなかった. 本論文では HydLa プログラムにおける離散変化と連続変化を正しく扱う非決定実行アルゴリズムを述べる.