Visible to the public HydLaConflict Detection Enabled

Submitted by jkenanian on Tue, 06/27/2017 - 4:26pm

HydLa

Description: HydLa is a modeling language for hybrid systems, that is, dynamical systems involving both continuous and discrete changes.

The key features of HydLa are:

  • declarative modeling of systems as constraints over real-valued functions 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.

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.

VO Integration: No

Active: No

Available Benchmarks: No

Website: http://www.ueda.info.waseda.ac.jp/hydla/

Download: Link

Documentation: Examples and relevant publications can be found here and here.

Contact: vvvvvv-admin@ueda.info.waseda.ac.jp

Excerpt and Graphics from: http://www.ueda.info.waseda.ac.jp/hydla/

Backlinks: