flow — set of ordinary differential equations

Type:command Package:pHL-SV/3.16 — Hybrid Language (Safety Verification) Namespace:&mode

Description

Defines a set of ordinary differential equations, separated by semicolons, where derivative of variable X is written as d/dt[X].

Usage

flow: d/dt[variable] = expression; ...; d/dt[variable] = expression;

Examples

An example is:

{ mode 3;
  ...
  flow:
    d/dt[x] = 3;
    d/dt[y] = 2 * x;
  ...
}