Backup source of HydLa(J) (No. 3)

• List of Backups
• View the diff.
• View the diff current.
• Go to HydLa(J).
  • 1 (2014-08-02 (Sat) 14:08:17)
  • 2 (2014-08-02 (Sat) 14:13:50)
  • 3 (2014-08-06 (Wed) 02:45:11)
  • 4 (2014-08-06 (Wed) 10:56:51)
  • 5 (2014-08-06 (Wed) 13:22:36)

* [[HydLa]]とは [#l7994977]
- HydLaとは, ハイブリッドシステムの為の宣言型言語である
- 与えられたシステムの数学的定義をできるだけそのままの形で記述し, その実行や解析を目的とする
- HydLaプログラムは, 時間の推移に伴い連続的もしくは離散的に変化する関数(軌道)の挙動に関する制約条件をあたえる
** 記法 [#u40c53dc]
- HydLaプログラムは, 主に制約等の宣言部分とその制約を呼び出すプログラムの本体部分からなる
  constraint_name <=> constraint .
          制約の定義, 左辺に制約名, 右辺に制約の内容
- HydLaプログラムは, システム(モデル)を方程式を用いて表す(?) 
- 制約にかんして. . .
-- それぞれメタ記法を用いて
-- 現在制約定義とその呼び出しは別
--- またプログラム呼び出し?関数呼び出し{INIT(x,10) みたいなの}
--- 優先順位にかんして. . .
--- また集合記法も
--- ASSERT文(モデル検査)
-- その後例題へのリンク?
>
- 跳ねる質点
- ビリヤード
- etc
<