Publications
- [pdf] [slides] Yunosuke Yamada, Masashi Sato and Kazunori Ueda: Constraint-based modeling and symbolic simulation of hybrid systems with HydLa and HyLaGI. In Proc. 9th International Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy 2019), LNCS 11971, Springer-Verlag, 2020, pp.153-178, DOI: https://doi.org/10.1007/978-3-030-41131-2_8.
- [slides] [youtube] High-level Programming Languages and Systems for Cyber-Physical Systems], Halmstad Summer School on Cyber-Physical Systems (HSSCPS 2017), July 2017.
- [pdf] Shota Matsumoto: Validated Simulation of Parametric Hybrid Systems Based on Constraints, Ph.D thesis, Waseda University, 2017.
- [pdf] Shota Matsumoto, Kazunori Ueda : Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic, in Proc. 23rd International Symposium on Temporal Representation and Reasoning, 2016, pp.4-11.
- [pdf] Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda: HyLaGI: Symbolic Implementation of a Hybrid Constraint Language, Electronic Notes in Theoretical Computer Science, Vol.317 (2015), pp.109-115. (Also in Proc. NSV 2015: 8th International Workshop on Numerical Software Verification, Seattle, USA, April 13, 2015, pp.70-75.)
- [pdf] Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii: HydLa: A High-Level Language for Hybrid Systems. In Proc. Second Workshop on Logics for System Analysis (LfSA 2012, affiliated with CAV 2012), July 2012, pp.3-17.
Last-modified: 2021-02-24 (Wed) 06:47:04 (1158d)