HydLa

HydLa, A Hybrid Constraint Language †

• HydLa is a modeling language for hybrid systems.
• HydLa is based on constraints, which include ordinary differential equations, temporal operators and logical operators.

Last-modified: 2017-03-02 (Thu) 03:21:30 (2605d)

• Introduction
• HydLa
  • First Example
  • Syntax
  • Examples
• HyLaGI
• webHydLa
• Download
• Publications