Backup diff of Publications vs current(No. 2)

  • The added line is THIS COLOR.
  • The deleted line is THIS COLOR.
- [ 上田和紀,細部博史,石井大輔:ハイブリッド制約言語HydLaの宣言的意味論,コンピュータソフトウェア,Vol.28, No.1 (2011), pp.306-311.]
- [[[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:

- [[[slides]>]] 
High-level Programming Languages and Systems for Cyber-Physical Systems],	
Halmstad Summer School on Cyber-Physical Systems (HSSCPS 2017), July 2017.

//- 2008
//-- 制約概念に基づくハイブリッドシステムモデリング言語HydLa
//- 2009
//-- 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法
//-- 制約階層によるハイブリッドシステムのモデリング手法
//-- 制約概念に基づくハイブリッドシステムモデリング言語 HydLa の実装
//- 2010
//-- ハイブリッドシステムモデリング言語 HydLa の統合処理系
//-- ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系
//-- ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討
//-- ハイブリッドシステムモデリング言語HydLa 処理系における実行アルゴリズム
//- 2011
//-- ハイブリッドシステムモデリング言語HydLa の数式処理実行系
//-- ハイブリッド制約言語HydLa の宣言的意味論
//-- ハイブリッドシステムモデリング言語HydLa の実行アルゴリズム
//-- ハイブリッドシステムモデリング言語HydLa の実装
- [ 渋谷俊,高田賢士郎,細部博史,上田和紀:ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム,コンピュータソフトウェア,Vol.28, No.3 (2011), pp. 167-172.]
- [[[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.

- [[[pdf]>]] 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]>]] 渋谷俊,高田賢士郎,細部博史,上田和紀:ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム,コンピュータソフトウェア,Vol.28, No.3 (2011), pp.167-172.)

- [[[pdf]>]] 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
([[[pdf]>]] 上田和紀,細部博史,石井大輔:ハイブリッド制約言語HydLaの宣言的意味論,コンピュータソフトウェア,Vol.28, No.1 (2011), pp.306-311.)