Computer Software
An Execution Algorithm for the Hybrid System Modeling Language HydLa
Shun SHIBUYAKenshiro TAKATAHiroshi HOSOBEKazunori UEDA
Author information
JOURNALS FREE ACCESS

Volume 28 (2011) Issue 3 Pages 3_167-3_172

Details
Download PDF (110K) Contact us
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 a nondeterministic execution algorithm that correctly handles discrete and continuous changes in HydLa programs.

Information related to the author
© Japan Society for Software Science and Technology 2011
Previous article Next article

Recently visited articles
feedback
Top