#author("2019-08-15T17:24:04+09:00","default:Uedalab","Uedalab")
- [https://www.ueda.info.waseda.ac.jp/~ueda/pub/HSSCPS-HydLa.pdf High-level Programming Languages and Systems for Cyber-Physical Systems (slides)]
[https://www.youtube.com/playlist?list=PLRM7eLJHoNde-iM3ET-2-bHsh-KSAWLs3 (Youtube)],
#author("2021-02-24T15:47:04+09:00","default:Uedalab","Uedalab")
- [[[pdf]>https://doi.org/10.1007/978-3-030-41131-2_8]] [[[slides]>https://www.ueda.info.waseda.ac.jp/~ueda/pub/cyphy2019slides.pdf]]
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]>https://www.ueda.info.waseda.ac.jp/~ueda/pub/HSSCPS-HydLa.pdf]]
[[[youtube]>https://www.youtube.com/playlist?list=PLRM7eLJHoNde-iM3ET-2-bHsh-KSAWLs3]]
High-level Programming Languages and Systems for Cyber-Physical Systems],
Halmstad Summer School on Cyber-Physical Systems (HSSCPS 2017), July 2017.
- [http://www.ueda.info.waseda.ac.jp/~matsusho/public/dissertation.pdf Shota Matsumoto: Validated Simulation of Parametric Hybrid Systems Based on Constraints, Ph.D thesis, Waseda University, 2017.]
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~matsusho/public/dissertation.pdf]] Shota Matsumoto: Validated Simulation of Parametric Hybrid Systems Based on Constraints, Ph.D thesis, Waseda University, 2017.
-[http://ieeexplore.ieee.org/document/7774642/ 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]>http://ieeexplore.ieee.org/document/7774642/]] 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.
- [http://www.sciencedirect.com/science/article/pii/S1571066115000523 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]>http://www.sciencedirect.com/science/article/pii/S1571066115000523]] 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.)
- [http://www.ueda.info.waseda.ac.jp/~ueda/pub/HydLa-LfSA2012.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.]
- [[[pdf]>http://www.ueda.info.waseda.ac.jp/~ueda/pub/HydLa-LfSA2012.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.
- [https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/-char/ja/ 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp. 167-172.]
- [[[pdf]>https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/]] Shun SHIBUYA, Kenshiro TAKATA, Hiroshi HOSOBE, Kazunori UEDA, An Execution Algorithm for the Hybrid System Modeling Language HydLa, Computer Software,
Vol.28, No.3 (2011), pp.167-172.~
([[[pdf]>https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/-char/ja/]] 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp.167-172.)
-- [https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/-char/en/ Shun SHIBUYA, Kenshiro TAKATA, Hiroshi HOSOBE, Kazunori UEDA, An Execution Algorithm for the Hybrid System Modeling Language HydLa, Computer Software, Vol.28, No.3 (2011), pp.167-172.]
- [[[pdf]>https://arxiv.org/abs/1910.12272]] Kazunori UEDA, Hiroshi HOSOBE, Daisuke ISHII, Declarative Semantics of the Hybrid Constraint Language HydLa, Computer Software, Vol.28, No.1 (2011), pp.306-311 (English version on arXiv.org).~
([[[pdf]>https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/ja/]] 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.)
- [https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/ja/ 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.]
-- [https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/en/ Kazunori UEDA, Hiroshi HOSOBE, Daisuke ISHII, Declarative Semantics of the Hybrid Constraint Language HydLa, Computer Software, Vol.28, No.1 (2011), pp.306-311]
