r1
∅ > M
r10
∅ > TF + CP2
r11
CP2 > ∅
r12
TF + CP2 > ∅
r13
CP2 > ∅
r14
CP2 > ∅
r15
∅ > TF
r16
∅ > TF
r17
∅ > TF
r2
∅ > M
r3
M > ∅
r4
∅ > CP
r5
CP > ∅
r6
{2.0}CP > CP2
r7
CP2 > {2.0}CP
r8
CP > ∅
r9
CP > ∅
IC = TFtot - TF
function_1 = kcps * M
function_4_r17 = kp2 * IC / (Jp + CP + 2.0 * CP2 + 2.0 * IC) / system
function_4_r2 = kms * pow(TF, n) / (pow(J, n) + pow(TF, n)) / system
chk2pulseonoff = chk2pulseactive - (chk2pulseactive_elim_elim + chk2pulseactive_elim)
function_4_r8 = kp1 * CP / (Jp + CP + 2.0 * CP2 + 2.0 * IC) / system
function_4_r13 = kp2 * CP2 / (Jp + CP + 2.0 * CP2 + 2.0 * IC) / system
function_4_r1 = Dex / system
CPtot = CP + 2.0 * CP2 + 2.0 * IC
trigOFFtime = trigONtime + IR_pulse_duration
chk2c = chk2ToggleOnOff*(chk2pulseonoff * (chk2c_value / IR_pulse_duration))
chk2 = chk2ToggleOnOff*(chk2pulseonoff * (chk2_value / IR_pulse_duration))
Trigger: geq(time, trigONtime)
Delay: 0
Assignments:
Trigger: geq(time, trigOFFtime)
Delay: 0
Assignments:
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.