HydLaWiki
Introduction
Start:
#norelated
#noattach
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
''HydLa'' is a modeling language for '''[[hybrid systems>...
The key features of HydLa are:
- '''declarative''' modeling of systems as constraints ov...
// - model description using mathematical and logical not...
- '''constraint hierarchies''' that enable concise modeli...
To get started with HydLa, visit ''[[webHydLa>http://webh...
To run HydLa programs on your computer, a simulation engi...
- '''error-free simulation''' using symbolic computation,
- simulation of systems with symbolic parameters that all...
- search for all solution trajectories using nondetermini...
#br
For example, the following trajectories were computed fro...
// #ref(../roof_bouncing.png)
#ref(../bouncing_ball_webHydLa.png,75%)
End:
#norelated
#noattach
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
''HydLa'' is a modeling language for '''[[hybrid systems>...
The key features of HydLa are:
- '''declarative''' modeling of systems as constraints ov...
// - model description using mathematical and logical not...
- '''constraint hierarchies''' that enable concise modeli...
To get started with HydLa, visit ''[[webHydLa>http://webh...
To run HydLa programs on your computer, a simulation engi...
- '''error-free simulation''' using symbolic computation,
- simulation of systems with symbolic parameters that all...
- search for all solution trajectories using nondetermini...
#br
For example, the following trajectories were computed fro...
// #ref(../roof_bouncing.png)
#ref(../bouncing_ball_webHydLa.png,75%)
Page:
