TY - GEN
T1 - Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI
AU - Yamada, Yunosuke
AU - Sato, Masashi
AU - Ueda, Kazunori
N1 - Funding Information:
Acknowledgments. We would like to thank Shota Matsumoto for leading the development of the core part of HyLaGI. Early versions of HyLaGI are due to previous colleagues including Ken-ichi Hirose. Of the developers of many experimental features, Akira Takeguchi and Yoshiaki Wakatsuki were initial designers and implementors of the features mentioned in this paper. We thank all members of the project, including the above members, for discussions, development, and debugging. Thanks go also to anonymous reviewers for their detailed and constructive comments. The work is partially supported by Grant-in-Aid for Scientific Research (B) JP18H03223, JSPS, Japan.
Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - Hybrid systems are dynamical systems that include both continuous and discrete changes. Modeling and simulation of hybrid systems can be challenging due to various kinds of subtleties of their behavior. The declarative modeling language HydLa aims at concise description of hybrid systems by means of constraints and constraint hierarchies. HyLaGI, a publicly available symbolic simulator of HydLa, featured error-free computation with symbolic parameters. Based on symbolic computation, HyLaGI provides various functionalities including nondeterministic execution, handling of infinitesimal quantities, and construction of hybrid automata. Nondeterministic execution in the framework of constraint programming enables us to solve inverse problems by automatic parameter search. This paper introduces these features by means of example programs. This paper also discusses our experiences with HydLa programming, which is unique in that its data and control structures are both based on constraint technologies. We discuss its expressive power and our experiences with modeling using constraint hierarchies.
AB - Hybrid systems are dynamical systems that include both continuous and discrete changes. Modeling and simulation of hybrid systems can be challenging due to various kinds of subtleties of their behavior. The declarative modeling language HydLa aims at concise description of hybrid systems by means of constraints and constraint hierarchies. HyLaGI, a publicly available symbolic simulator of HydLa, featured error-free computation with symbolic parameters. Based on symbolic computation, HyLaGI provides various functionalities including nondeterministic execution, handling of infinitesimal quantities, and construction of hybrid automata. Nondeterministic execution in the framework of constraint programming enables us to solve inverse problems by automatic parameter search. This paper introduces these features by means of example programs. This paper also discusses our experiences with HydLa programming, which is unique in that its data and control structures are both based on constraint technologies. We discuss its expressive power and our experiences with modeling using constraint hierarchies.
KW - Constraints
KW - Hybrid systems
KW - Symbolic simulation
UR - http://www.scopus.com/inward/record.url?scp=85081175511&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85081175511&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-41131-2_8
DO - 10.1007/978-3-030-41131-2_8
M3 - Conference contribution
AN - SCOPUS:85081175511
SN - 9783030411305
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 153
EP - 178
BT - Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers
A2 - Chamberlain, Roger
A2 - Edin Grimheden, Martin
A2 - Taha, Walid
PB - Springer
T2 - 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019
Y2 - 17 October 2019 through 18 October 2019
ER -