An execution algorithm for the hybrid system modeling language HydLa

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

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)167-172
Number of pages6
JournalComputer Software
Issue number3
Publication statusPublished - 2011

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'An execution algorithm for the hybrid system modeling language HydLa'. Together they form a unique fingerprint.

Cite this