packageLogical

Information

This package provides blocks with Boolean input and output signals to describe logical networks. A typical example for a logical network built with package Logical is shown in the next figure:

The actual value of Boolean input and/or output signals is displayed in the respective block icon as "circle", where "white" color means value false and "green" color means value true. These values are visualized in a diagram animation.

Contents

Name	Description
And	Logical 'and': y = u1 and u2
Or	Logical 'or': y = u1 or u2
Xor	Logical 'xor': y = u1 xor u2
Nor	Logical 'nor': y = not (u1 or u2)
Nand	Logical 'nand': y = not (u1 and u2)
Not	Logical 'not': y = not u
Pre	Breaks algebraic loops by an infinitesimal small time delay (y = pre(u): event iteration continues until u = pre(u))
Edge	Output y is true, if the input u has a rising edge (y = edge(u))
FallingEdge	Output y is true, if the input u has a falling edge (y = edge(not u))
Change	Output y is true, if the input u has a rising or falling edge (y = change(u))
GreaterThreshold	Output y is true, if input u is greater than threshold
GreaterEqualThreshold	Output y is true, if input u is greater or equal than threshold
LessThreshold	Output y is true, if input u is less than threshold
LessEqualThreshold	Output y is true, if input u is less or equal than threshold
Greater	Output y is true, if input u1 is greater than input u2
GreaterEqual	Output y is true, if input u1 is greater or equal than input u2
Less	Output y is true, if input u1 is less than input u2
LessEqual	Output y is true, if input u1 is less or equal than input u2
ZeroCrossing	Trigger zero crossing of input u
LogicalSwitch	Logical Switch
Switch	Switch between two Real signals
Hysteresis	Transform Real to Boolean signal with Hysteresis
OnOffController	On-off controller
TriggeredTrapezoid	Triggered trapezoid generator
Timer	Timer measuring the time from the time instant where the Boolean input became true
LogicalDelay	Delay boolean signal
RSFlipFlop	A basic RS Flip Flop
AssertCondition	Assert that input u is true
TerminateSimulation	Terminate simulation if condition is fulfilled