An execution algorithm for the hybrid system modeling language HydLa

Shun Shibuya, Kenshiro Takata, Kazunori Ueda, Hiroshi Hosobe

Research output: Contribution to journalArticle

Abstract

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
Volume28
Issue number3
Publication statusPublished - 2011

ASJC Scopus subject areas

  • Software

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

  • Cite this

    Shibuya, S., Takata, K., Ueda, K., & Hosobe, H. (2011). An execution algorithm for the hybrid system modeling language HydLa. Computer Software, 28(3), 167-172.