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.

Last-modified: 2017-03-17 (Fri) 02:56:43 (43d)