#author("2017-03-02T13:15:48+09:00","default:Uedalab","Uedalab")
#norelated
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト
''HydLa'' is a constraint-based [[hybrid system>http://en.wikipedia.org/wiki/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.
''[[HyLaGI]]'', an implementation of HydLa, has been developed using C++ and
uses Mathematica as an external constraint solver. The features of
HyLaGI 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.
// #ref(../roof_bouncing.png)
#ref(../bouncing_ball_webHydLa.png,75%)
We are also developing ''[[webHydLa]]'', a web interface of HydLa.
[[webHydLa]] allows us to model, simulate and visualize models within a unified environment.
