ハイブリッド制約言語 HydLa の宣言的意味論

上田和紀, 細部博史, 石井大輔 - コンピュータ ソフトウェア, 2011 - jstage.jst.go.jp
抄録 時間の経過に伴って状態が連続変化したり, 状態や方程式系自体が離散変化したりする系を
ハイブリッドシステムと呼ぶ. 我々は, 不確実値の扱い, シミュレーションと検証の統合などの観点 …

ハイブリッド制約言語 HydLa の記号実行シミュレータ Hyrose

松本翔太, 上田和紀 - コンピュータ ソフトウェア, 2013 - jstage.jst.go.jp
抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式系が離散
変化したりする動的システムであり, 物理学をはじめとした様々な分野への応用が可能である …

ハイブリッドシステムモデリング言語 HydLa の実行アルゴリズム

渋谷俊, 高田賢士郎, 細部博史, 上田和紀 - コンピュータ ソフトウェア, 2011 - jstage.jst.go.jp
抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式が離散
変化したりする動的システムを指す. HydLa は制約概念に基づくハイブリッドシステムモデリング …

ハイブリッドシステムモデリング言語 HydLa の数式処理実行系

高田賢士郎, 渋谷俊, 細部博史… - 第 73 回全国大会講演論文 …, 2011 - ipsj.ixsq.nii.ac.jp
論文抄録 ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり,
状態や方程式が離散変化したりする系を指す. HydLa は制約概念に基づくハイブリッドシステム …

[PDF][PDF] ハイブリッドシステムモデリング言語 HydLa の実行アルゴリズムの提案と実装

廣瀬賢一 - 2010 - waseda.repo.nii.ac.jp
概要時間の経過に伴って状態が連続変化したり, 状態や方程式自体が離散変化したりする系を
ハイブリッドシステムと呼ぶ. たとえば, 状態を表す連続関数が時間にしたがって切り替わるモデルは …

[PDF][PDF] ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換

渋谷俊 - 2012 - waseda.repo.nii.ac.jp
ハイブリッドシステムとは時間の経過に伴って状態が連続変化したり, 状態や方程式が離散変化し
たりする動的システムを指す. ハイブリッドシステムのモデリングツールはハイブリッドシステムの …