SystemInvariant

This block outputs the minimum/maximum of all past input values between two subsequent input events. A Function parameter list provides functions to apply.

    SystemInvariant

Library

Activate/Dynamical

Parameters

SystemInvariant_0

NameLabelDescriptionData TypeValid Values

invChoice

Invariant Choice

Structure

invChoice/constant

Piecewise constant

.

The initial value of the invariant signal is taken as the constant value.

Number

0
1

invChoice/zero

Zero value

Number

0
1

ExplicitActivation

Enable/disable Activation

.

Enable and Disable input activation ports are used for this purpose.

If an event activates the Disable port of the block, the invariants are inhibited and they are no longer checked by the solver.

If an event activates the Enable port of the block, the invariant checking is resumed by the solver.

Number

0
1

Ports

NameTypeDescriptionIO TypeNumber

Port 1

explicit

input

1

Port 2

activation

input

2*ExplicitActivation