Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Yunosuke Yamada, Masashi Sato, Kazunori Ueda. Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. In Roger D. Chamberlain, Martin Grimheden, Walid Taha, editors, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. Volume 11971 of Lecture Notes in Computer Science, pages 153-178, Springer, 2019. [doi]

Authors

Yunosuke Yamada

This author has not been identified. Look up 'Yunosuke Yamada' in Google

Masashi Sato

This author has not been identified. Look up 'Masashi Sato' in Google

Kazunori Ueda

This author has not been identified. It may be one of the following persons: Look up 'Kazunori Ueda' in Google