ConjunctiveClock

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

Diagram

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

For a simple example cf. the logical sampling example.

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.

useSolver

Value: false

Type: Boolean

Description: = true, if solverMethod shall be explicitly defined

solverMethod

Value: "ExplicitEuler"

Description: Integration method used for discretized continuous-time partitions

Value: 2

Type: Integer

Description: Number of input connections.

	y	Type: ClockOutput
	u	Type: ClockVectorInput[nu] Description: Vector of Clock input signals.

Description: Vector of Clock input signals.

	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
	input_ticked	Type: ClockToBoolean[nu]
	forbidden_state	Type: And[nu]
	S_false	Type: BooleanConstant[nu]
	suppress_S	Type: LogicalSwitch[nu]
	input_memory	Type: RSFlipFlop[nu]
	reset_ticked	Type: ClockToBoolean
	splitter	Type: BooleanReplicator

Modelica.Clocked.Examples.Elementary.ClockSignals

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