- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
#norelated
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
#noattach
''HydLa'' is a constraint-based hybrid system modeling language.
The key features of HydLa are:
- declarative (cf. procedural) modeling of systems as constraints over real-valued functions,
- description of models using familiar mathematical and temporal logic notations, and
- constraint hierarchies that enable concise modeling of default and exceptional behaviors.
* HydLa [#n6644e92]
''HydLa''（ヒドラ）は制約概念に基づくハイブリッドシステムモデリング言語である．
HydLaの特徴として、以下の点が挙げられる
- 制約階層を用いることで、制約に優先順位を設けることが可能
- 実数領域上の変数についての時相論理式による制約の記述
- 数学や論理学の記法を用いた簡潔な記述
''Hyrose'', which is an implementation of HydLa, has been developed using C++ and
uses Mathematica and REDUCE as an external constraint solver. The features of
Hyrose are:
- error-free simulatation using symbolic computation,
- simulation of system with symbolic parameters and uncertainties, and
- search for all solution trajectories using non-deterministic execution.
HydLaの処理系である''Hyrose''はC++を用いて実装されており，外部ソフトとしてMathematicaやREDUCEを利用している．Hyroseには，以下のような特徴がある
#ref(../roof_bouncing.png)
- 数式処理を用いて、記述されたモデルシミュレーションを誤差なく行う
- モデルの許すすべての解を、非決定実行によって求められる
We are also developing ''HIDE'', an integrated development environment for HydLa.
HIDE allows us to model, simulate and visualize models within a unified environment.
#ref(roof_bouncing.png)
HydLaの統合開発環境である''HIDE''も現在開発中である．~
HIDEを用いることで，HydLaプログラムの記述，実行，グラフ化などを1つのウィンドウ内で行うことができる
