Home
Welcome to the HydLa/HyLaGI wiki!
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.
