HydLaWiki
FrontPage-J
Start:
#norelated
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
#noattach
* HydLa [#n6644e92]
''HydLa''(ヒドラ)は制約概念に基づくハイブリッドシステム...
HydLaの特徴として、以下の点が挙げられる
- 制約階層を用いることで、制約に優先順位を設けることが可能
- 実数領域上の変数についての時相論理式による制約の記述
- 数学や論理学の記法を用いた簡潔な記述
HydLaの処理系である''Hyrose''はC++を用いて実装されており...
- 数式処理を用いて、記述されたモデルシミュレーションを誤...
- モデルの許すすべての解を、非決定実行によって求められる
#ref(FrontPage/roof_bouncing.png)
HydLaの統合開発環境である''HIDE''も現在開発中である.~
HIDEを用いることで,HydLaプログラムの記述,実行,グラフ化...
End:
#norelated
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
#noattach
* HydLa [#n6644e92]
''HydLa''(ヒドラ)は制約概念に基づくハイブリッドシステム...
HydLaの特徴として、以下の点が挙げられる
- 制約階層を用いることで、制約に優先順位を設けることが可能
- 実数領域上の変数についての時相論理式による制約の記述
- 数学や論理学の記法を用いた簡潔な記述
HydLaの処理系である''Hyrose''はC++を用いて実装されており...
- 数式処理を用いて、記述されたモデルシミュレーションを誤...
- モデルの許すすべての解を、非決定実行によって求められる
#ref(FrontPage/roof_bouncing.png)
HydLaの統合開発環境である''HIDE''も現在開発中である.~
HIDEを用いることで,HydLaプログラムの記述,実行,グラフ化...
Page: