Backup diff of Introduction vs current(No. 1)

  • The added line is THIS COLOR.
  • The deleted line is THIS COLOR.
* FrontPage [#qb249ac2]
// ページ下部の添付ファイルリンクを表示しない
// 添付ファイルを消したりしたいときはコメントアウト

''HydLa'' is a modeling language for '''[[hybrid systems>]]''', that is, dynamical systems involving both continuous and discrete changes.

あなたのサイトに合わせ、自由に編集してください :) ((安易なSPAMやいたずらを防止するため、テーマや目的などの説明を加えた後、忘れずに凍結して下さい。パスワードの変更もお忘れなく!))
The key features of HydLa are:
- '''declarative''' modeling of systems as constraints over real-valued functions and
// - model description using mathematical and logical notations, and
- '''constraint hierarchies''' that enable concise modeling of default and exceptional behaviors.

To get started with HydLa, visit ''[[webHydLa>]]'', an online IDE of HydLa with a visualizer, and run example programs.

** 練習ページ [#if72ced0]
- [[SandBox]] -- 編集をお試しください
- [[InterWikiSandBox]] -- [[InterWiki]]を試してみてください
To run HydLa programs on your computer, a simulation engine of HydLa, named ''[[HyLaGI]]'', can be downloaded.  Unlike many other simulation engines, HyLaGI provides the following key features:
- '''error-free simulation''' using symbolic computation,
- simulation of systems with symbolic parameters that allow us to represent uncertainties (such as 0.9 < p < 1.1), and
- search for all solution trajectories using nondeterministic execution,

For example, the following trajectories were computed from a bouncing ball model whose initial height is given as a symbolic parameter ranging between 0 and 10.
// #ref(../roof_bouncing.png)

** PukiWikiについて [#c2af49f4]

- [[PukiWiki]] -- PukiWikiのご紹介

*** ドキュメント [#o366701b]
- [[ヘルプ>Help]] -- PukiWikiで編集するには?
- [[テキスト整形のルール(詳細版)>FormattingRules]]
- [[プラグインマニュアル>PukiWiki/1.4/Manual/Plugin]]