.Modelica_Requirements.ChecksInSlidingWindow.MaxIncrease

Information

Syntax

increaseLimited = MaxIncrease(window=..., upperLimit=...).y;

Description

In any (sliding) time window of length window, the increase of input u is limited by parameter upperLimit, that is

increase(t) = u(t) - u(t-window)
       y(t) = increase(t) ≤ upperLimit

Whenever this property is fulfilled, Boolean output y = true, otherwise y = false:

Hereby it is assumed that u(t-window) = u(t₀) for t₀ ≤ t < t₀ + window, where t₀ is the start time of the simulation.

Example

The property is demonstrated with the following example calling the block as:

results in

	simulation result