invt — invariants of state variables

Type:command Package:pHL-MT/0.9 — Hybrid Language (parallel Model Translator) Namespace:&mode

Description

Defines invariants for the state variables of the ordinary differential equations as: “y need to be less or equal 3.2” or “x needs to be greater than 4*(y+1)”.

Usage

invt: inequality; ...; inequality;

Examples

An example is:

{ mode 3;
  ...
  invt:
    y <= 3.2;
    x > 4 * (y + 1);
  ...
}