J-STAGE トップ  >  資料トップ  > 書誌事項

コンピュータ ソフトウェア
Vol. 28 (2011) No. 3 p. 3_167-3_172

記事言語:

http://doi.org/10.11309/jssst.28.3_167

  • 抄録

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

Copyright © 日本ソフトウェア科学会 2011

記事ツール

この記事を共有