WOLFRAM SYSTEM MODELER

ConjunctiveClock

Logical clock ticking whenever all input clocks ticked at least once, then resets and starts the next conjunctive cycle

Diagram

Wolfram Language

In[1]:=
SystemModel["Modelica.Clocked.ClockSignals.Clocks.Logical.ConjunctiveClock"]
Out[1]:=

Information

This information is part of the Modelica Standard Library maintained by the Modelica Association.

For a simple example cf. the logical sampling example.

Parameters (3)

useSolver

Value: false

Type: Boolean

Description: = true, if solverMethod shall be explicitly defined

solverMethod

Value: "ExplicitEuler"

Type: SolverMethod

Description: Integration method used for discretized continuous-time partitions

nu

Value: 2

Type: Integer

Description: Number of input connections.

Connectors (2)

y

Type: ClockOutput

Description: 'output Clock' as connector

u

Type: ClockVectorInput[nu]

Description: Vector of Clock input signals.

Components (9)

combinator

Type: And

Description: Replaceable logical combinator applied on vector of Clock input signals. Important: Must not be any kind of negation since such would result in infinite many ticks for an infinitesimal short time period.

clock

Type: EventClock

Description: Generate a clock signal when the Boolean input changes from false to true

input_ticked

Type: ClockToBoolean[nu]

Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced).

forbidden_state

Type: And[nu]

Description: Logical 'and': y = u1 and u2

S_false

Type: BooleanConstant[nu]

Description: Generate constant signal of type Boolean

suppress_S

Type: LogicalSwitch[nu]

Description: Logical Switch

input_memory

Type: RSFlipFlop[nu]

Description: A basic RS Flip Flop

reset_ticked

Type: ClockToBoolean

Description: Block to translate clock signals to continuous Boolean events (each time the input clock ticks a rising Boolean output edge is produced).

splitter

Type: BooleanReplicator

Description: Boolean signal replicator

Used in Examples (1)

LogicalSample

Modelica.Clocked.Examples.Elementary.ClockSignals

Simple example of conjunctive and disjunctive logical clocks, combining clock signals to derive new event driven clocks.