Table 1.

Some qualitative constraints in Morven and their corresponding mathematical equations.

Morven constraints	Mathematical equations
sub (dt 0 Z, dt 0 X, dt 0 Y)	Z(t) = X(t) − Y(t)
mul (dt 0 X, dt 0 Y, dt 0 Z)	Z(t) = Y(t) * X(t)
Function (dt 0 Y, dt 0 X)	Y(t) = f(X(t))
sub (dt 1 Z, dt 0 X, dt 0 Y)	dZ(t)/dt = X(t) − Y(t)
Function (dt 1 Y, dt 0 X)	dY(t)/dt = f(X(t))