コンピュータ ソフトウェア
Print ISSN : 0289-6540
ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム
渋谷 俊高田 賢士郎細部 博史上田 和紀
著者情報
ジャーナル フリー

2011 年 28 巻 3 号 p. 3_167-3_172

詳細
抄録

ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり,状態や方程式が離散変化したりする動的システムを指す.HydLaは制約概念に基づくハイブリッドシステムモデリング言語であり,精度保証されたシミュレーションを行うことでシステム検証に役立てることを目標としている.これまで,HydLaプログラムにおいて初期値が範囲を持つ場合やパラメタを用いてシステムを表現した場合のシミュレーション方法が明らかでなかった.本論文ではHydLaプログラムにおける離散変化と連続変化を正しく扱う非決定実行アルゴリズムを述べる.

著者関連情報
© 日本ソフトウェア科学会 2011
前の記事 次の記事
feedback
Top