Computer Software
Print ISSN : 0289-6540
Hyrose: A Symbolic Simulator of the Hybrid Constraint Language HydLa
Shota MATSUMOTOKazunori UEDA
Author information
JOURNAL OPEN ACCESS

2013 Volume 30 Issue 4 Pages 4_18-4_35

Details
Abstract

Hybrid systems are dynamical systems with continuous changes of states and discrete changes of states and governing equations. Hybrid systems are appliable to diverse fields including physics. HydLa is a declarative language for describing hybrid systems using constraints, and we have developed a symbolic simulator of HydLa named Hyrose. Hyrose is our first publicly available implementation of HydLa. Features of Hyrose include the simulation of systems with parameters, search based on automatic case analysis and bounded model checking. In this paper, we first describe the architecture and features of Hyrose, as well as semantical issues that had to be clarified to implement Hyrose. Then, in order to demonstrate the power of symbolic execution, we show several examples of the analysis of systems whose behavior exhibits quantitative and qualitative changes depending on parameters.

Related papers from these authors
© 2013 Japan Society for Software Science and Technology
Previous article Next article
feedback
Top