Introduction(Old)

ハイブリッドシステム †

時間の経過に伴って状態が連続変化したり、状態や方程式が離散変化するシステムをハイブリッドシステムと呼ぶ。

例：

  • 床を跳ねるボールの動き（連続変化：自由落下　離散変化：跳ねる）
  • アクセルとブレーキを使用した車の制御（連続変化：加速、減速　離散変化：アクセルとブレーキの切り替え）
  • 電子回路（離散変化：スイッチの切り替え）

ハイブリッドシステムのモデリングは物理学や制御工学、生命工学などの様々な分野において重要な役割を果たす。

↑

HydLa †

HydLa は 2008 年から上田研究室で開発しているハイブリッドシステムのための制約に基づく宣言型言語である。 HydLa の目標として プログラミング言語として覚えておかねばならないことを最小現にする ということを掲げている。 そのため、 HydLa では 数学低定義をそのまま記述する事でハイブリッドシステムのモデリングが可能である という特徴を持つ。

 

本公開ページでは、HydLa 処理系 Hyrose と HydLa 統合開発環境 HIDE のバイナリを公開している。

また、

  • HydLa プログラム軒法
  • Hyrose 使用方法
  • HIDE 使用方法
  • 例題解説

なども公開している。

 
Last-modified: 2017-03-02 (Thu) 03:21:30 (2605d)