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

      Fingerprint

    ASJC Scopus subject areas

    • Software

    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.