An execution algorithm for the hybrid system modeling language HydLa

Shun Shibuya*, Kenshiro Takata, Kazunori Ueda, Hiroshi Hosobe

*この研究の対応する著者

研究成果査読

抄録

Hybrid systems are dynamical systems with continuous changes of states and discrete changes of states and governing equations. HydLa is a constraint-based modeling language for hybrid systems, and its implementation aims for system verification by means of simulation with guaranteed accuracy. However, how to simulate HydLa programs with initial values given as ranges or with symbolic parameters has not been clarified. This paper gives anondeterministic execution algorithm that correctly handles discrete and continuous changes in HydLa programs.

本文言語English
ページ(範囲)167-172
ページ数6
ジャーナルComputer Software
28
3
出版ステータスPublished - 2011

ASJC Scopus subject areas

  • ソフトウェア

フィンガープリント

「An execution algorithm for the hybrid system modeling language HydLa」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル