An execution algorithm for the hybrid system modeling language HydLa

Shun Shibuya; Kenshiro Takata; Kazunori Ueda; Hiroshi Hosobe

An execution algorithm for the hybrid system modeling language HydLa

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

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	167-172
Number of pages	6
Journal	Computer Software
Volume	28
Issue number	3
Publication status	Published - 2011

ASJC Scopus subject areas

Software

Cite this

@article{0ff3a5383ff94f949515c38f1099f031,

title = "An execution algorithm for the hybrid system modeling language HydLa",

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.",

author = "Shun Shibuya and Kenshiro Takata and Kazunori Ueda and Hiroshi Hosobe",

year = "2011",

language = "English",

volume = "28",

pages = "167--172",

journal = "Computer Software",

issn = "0289-6540",

publisher = "Japan Society for Software Science and Technology",

number = "3",

}

TY - JOUR

T1 - An execution algorithm for the hybrid system modeling language HydLa

AU - Shibuya, Shun

AU - Takata, Kenshiro

AU - Ueda, Kazunori

AU - Hosobe, Hiroshi

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=80052755603&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80052755603&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:80052755603

SN - 0289-6540

VL - 28

SP - 167

EP - 172

JO - Computer Software

JF - Computer Software

IS - 3

ER -

An execution algorithm for the hybrid system modeling language HydLa

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this