Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Buildings_maint.7.0.x_Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo", uses=false) Using package Buildings with version 7.0.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo) Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_maint.7.0.x_Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling") translateModel(Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Buildings_maint.7.0.x_Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001365/0.001365, allocations: 107.4 kB / 16.42 MB, free: 5.984 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001695/0.001695, allocations: 191.4 kB / 17.35 MB, free: 5.578 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.486/1.486, allocations: 205.1 MB / 223.2 MB, free: 12.21 MB / 190.1 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Buildings 7.0.3-maint.7.0.x/package.mo): time 1.387/1.387, allocations: 251.7 MB / 0.51 GB, free: 400 kB / 430.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 3.303e-05/3.305e-05, allocations: 2.281 kB / 0.7264 GB, free: 4.719 MB / 0.5606 GB Notification: Performance of NFInst.instantiate(Buildings.Controls.OBC.Utilities.Validation.OptimalStartHeatingCooling): time 0.008434/0.008486, allocations: 6.291 MB / 0.7325 GB, free: 14.39 MB / 0.5762 GB Notification: Performance of NFInst.instExpressions: time 0.0069/0.01545, allocations: 2.808 MB / 0.7352 GB, free: 11.57 MB / 0.5762 GB Notification: Performance of NFInst.updateImplicitVariability: time 0.001886/0.01739, allocations: 39.81 kB / 0.7353 GB, free: 11.53 MB / 0.5762 GB Notification: Performance of NFTyping.typeComponents: time 0.0008002/0.0182, allocations: 276.8 kB / 0.7355 GB, free: 11.26 MB / 0.5762 GB Notification: Performance of NFTyping.typeBindings: time 0.0008308/0.01904, allocations: 241.4 kB / 0.7358 GB, free: 11.02 MB / 0.5762 GB Notification: Performance of NFTyping.typeClassSections: time 0.002691/0.02175, allocations: 1.176 MB / 0.7369 GB, free: 9.844 MB / 0.5762 GB Notification: Performance of NFFlatten.flatten: time 0.00335/0.0251, allocations: 2.961 MB / 0.7398 GB, free: 6.875 MB / 0.5762 GB Notification: Performance of NFFlatten.resolveConnections: time 0.002973/0.02809, allocations: 2.231 MB / 0.742 GB, free: 4.582 MB / 0.5762 GB Notification: Performance of NFEvalConstants.evaluate: time 0.001299/0.0294, allocations: 1.04 MB / 0.743 GB, free: 3.539 MB / 0.5762 GB Notification: Performance of NFSimplifyModel.simplify: time 0.0009935/0.03041, allocations: 1.05 MB / 0.744 GB, free: 2.484 MB / 0.5762 GB Notification: Performance of NFPackage.collectConstants: time 0.0004188/0.03084, allocations: 352 kB / 0.7444 GB, free: 2.141 MB / 0.5762 GB Notification: Performance of NFFlatten.collectFunctions: time 0.0004919/0.03134, allocations: 372 kB / 0.7447 GB, free: 1.777 MB / 0.5762 GB Notification: Performance of combineBinaries: time 0.002439/0.03379, allocations: 3.306 MB / 0.748 GB, free: 14.43 MB / 0.5919 GB Notification: Performance of replaceArrayConstructors: time 0.001263/0.03507, allocations: 1.973 MB / 0.7499 GB, free: 12.43 MB / 0.5919 GB Notification: Performance of NFVerifyModel.verify: time 0.0008032/0.03588, allocations: 390.8 kB / 0.7503 GB, free: 12.04 MB / 0.5919 GB Notification: Performance of FrontEnd: time 0.0007449/0.03663, allocations: 166.5 kB / 0.7504 GB, free: 11.88 MB / 0.5919 GB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 482 (478) * Number of variables: 474 (468) Notification: Performance of Bindings: time 0.01082/0.04745, allocations: 10.4 MB / 0.7606 GB, free: 1.23 MB / 0.5919 GB Notification: Performance of FunctionAlias: time 0.001146/0.04862, allocations: 0.9682 MB / 0.7615 GB, free: 256 kB / 0.5919 GB Notification: Performance of Early Inline: time 0.5144/0.563, allocations: 6.821 MB / 0.7682 GB, free: 26 MB / 0.5919 GB Notification: Performance of simplify1: time 0.0006234/0.5637, allocations: 409.2 kB / 0.7686 GB, free: 26 MB / 0.5919 GB Error: Internal error NFAlgorithm.getInputsOutputs failed. Notification: Performance of Alias: time 0.0144/0.5781, allocations: 11.89 MB / 0.7802 GB, free: 18.59 MB / 0.5919 GB Notification: Performance of simplify2: time 0.0007217/0.5788, allocations: 279.8 kB / 0.7804 GB, free: 18.47 MB / 0.5919 GB Notification: Performance of Events: time 0.001864/0.5807, allocations: 1.493 MB / 0.7819 GB, free: 17.58 MB / 0.5919 GB Error: Internal error NFAlgorithm.getInputsOutputs failed. Notification: Performance of Detect States: time 0.002376/0.5831, allocations: 2.333 MB / 0.7842 GB, free: 16.09 MB / 0.5919 GB Notification: Performance of Partitioning: time 0.002215/0.5853, allocations: 1.916 MB / 0.786 GB, free: 14.99 MB / 0.5919 GB Error: Internal error NBSorting.tarjan failed to sort system: system vars Variables (263/269) ********************************* (1) [DISC] (1) protected Boolean optSta.optCoo.truHol.toOutputTrue.inPort.available (2) [DISC] (1) protected Boolean optSta.optCoo.truHol.initialStep.outerStatePort.localActive = optSta.optCoo.truHol.initialStep.outerStatePort.localActive (3) [DISS] (1) protected Real pul.T_start (4) [DER-] (1) Real $DER.conPID.addPID.u2 (5) [DISS] (1) protected Real optSta.optCoo.lesEquThr1.u (6) [DISC] (1) protected Boolean optSta.optCoo.lesEquThr1.y (7) [ALGB] (1) Real pul.y (8) [DISC] (1) protected Boolean optSta.optHea.greThr.y (9) [ALGB] (1) protected Real conPID1.uSetWp.u (10) [DISC] (1) protected Boolean optSta.or2.u1 (11) [DISC] (1) protected Boolean optSta.or2.u2 (12) [ALGB] (1) protected Real conPID1.uSetWp.y (13) [DISS] (1) protected Real optSta.optCoo.truHol.onDelay.t_next (14) [DISC] (1) protected Boolean optSta.optHea.truHol.outputTrue.newActive (15) [DISS] (1) protected Integer optSta.optCoo.triMovMea.counter (fixed = true, start = 0) (16) [ALGB] (1) protected Real optSta.optHea.mod.y (17) [DISS] (1) protected Integer pul.count (18) [ALGB] (1) protected flow Real optSta.optCoo.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (19) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.initialStep.outPort.reset (20) [ALGB] (1) protected Real conPID.addPD.u1 (21) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.outputTrue.inPort.occupied (22) [ALGB] (1) protected Real optSta.optHea.swi1.y (23) [DISS] (1) protected Integer optSta.optHea.triMovMea.iSample (fixed = true, start = 0) (24) [DISC] (1) protected Boolean optSta.optCoo.lesEquThr2.y (25) [DISS] (1) protected Real optSta.optCoo.triSam1.y (26) [ALGB] (1) protected Real conPID1.addPID.y (27) [ALGB] (1) protected Real conPID1.antWinErr.y (28) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.outputTrue.outPort.reset (29) [DISC] (1) protected Boolean optSta.optCoo.truHol.toOutputTrue.outPort.set (30) [DISC] (1) protected Boolean optSta.optHea.truHol.toOutputTrue.outPort.occupied (31) [ALGB] (1) Real conPID.errI2.u2 (32) [ALGB] (1) protected flow Real optSta.optHea.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps (33) [DISS] (1) protected Integer optSta.optCoo.triMovMea.index (fixed = true, start = 0) (34) [DISC] (1) protected Boolean optSta.optCoo.truHol.toInitial.inPort.available (35) [ALGB] (1) protected Real optSta.optHea.max.y (36) [ALGB] (1) protected Real optSta.optCoo.mod.y (37) [ALGB] (1) Real conPID.lim.u (38) [DISS] (1) protected Real optSta.optCoo.triSam2.y (39) [ALGB] (1) Real conPID1.errI1.y (40) [DISS] (1) protected discrete Real optSta.optHea.tim.yAcc (41) [DISC] (1) protected Boolean optSta.optCoo.truHol.outputTrue.newActive (42) [DISS] (1) protected Real optSta.optHea.truHol.onDelay.t_next (43) [DISC] (1) protected final Boolean optSta.optHea.truHol.toOutputTrue.localCondition = optSta.optHea.truHol.toOutputTrue.localCondition (44) [DISC] (1) protected Integer optSta.optCoo.truHol.stateGraphRoot.activeSteps (45) [DISC] (1) Boolean $TEV_9 (46) [DISC] (1) Boolean $TEV_8 (47) [DER-] (1) Real $DER.optSta.dTCoo.u1 (48) [DISC] (1) Boolean $TEV_7 (49) [DISC] (1) Boolean $TEV_6 (50) [DISC] (1) protected Boolean optSta.optHea.falEdg.not_u = not (not optSta.optHea.falEdg.not_u) (51) [DISC] (1) Boolean $TEV_5 (52) [DISC] (1) Boolean $TEV_4 (53) [DISC] (1) Boolean $TEV_3 (54) [DISC] (1) Boolean $TEV_2 (55) [DISC] (1) Boolean $TEV_1 (56) [ALGB] (1) protected flow Real optSta.optHea.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (57) [DISC] (1) Boolean $TEV_0 (58) [ALGB] (1) Real conPID1.controlError.y (59) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.initialStep.inPort.occupied (60) [ALGB] (1) Real conPID1.errP.u2 (61) [DISC] (1) protected Boolean optSta.optCoo.truHol.outputTrue.outerStatePort.localActive = optSta.optCoo.truHol.outputTrue.outerStatePort.localActive (62) [DISS] (1) protected Real optSta.optCoo.triSam3.y (63) [DISS] (1) protected Integer occSch.nexStoInd (64) [ALGB] (1) protected Real optSta.optCoo.lesEquThr.u (65) [DISC] (1) protected Boolean optSta.optCoo.lesEquThr.y (66) [ALGB] (1) protected Real optSta.optHea.tOptCal.y (67) [ALGB] (1) protected Real optSta.dTCoo.y (68) [ALGB] (1) protected flow Real optSta.optHea.truHol.stateGraphRoot.subgraphStatePort.activeSteps (69) [ALGB] (1) protected Real optSta.optHea.temSlo.y (70) [ALGB] (1) protected Real optSta.optCoo.max.y (71) [DISS] (1) protected Real optSta.optHea.triSam.y (72) [ALGB] (1) protected Real optSta.optHea.triSam.u (73) [DISC] (1) protected Boolean optSta.optHea.hysOpt.y (74) [ALGB] (1) Real conPID1.I.u (75) [DISC] (1) protected Boolean optSta.optCoo.truHol.toInitial.outPort.occupied (76) [ALGB] (1) Real add2.y (77) [DISS] (1) protected Real optSta.optCoo.triSam4.y (78) [ALGB] (1) Real TRoo.u (79) [DISS] (3) protected Real[3] optSta.optCoo.triMovMea.ySample (fixed = {true for $i1 in 1:3}, start = {0.0 for $i1 in 1:3}) (80) [DISC] (1) protected Boolean optSta.optCoo.and2.y (81) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.initialStep.outPort.available (82) [DISC] (1) protected Boolean optSta.optCoo.truHol.toOutputTrue.outPort.occupied (83) [DISS] (1) protected final Boolean optSta.optHea.truHol.toInitial.localCondition = optSta.optHea.truHol.toInitial.localCondition (84) [ALGB] (1) protected Real conPID.addPID.u1 (85) [DISC] (1) protected Boolean optSta.optHea.truHol.initialStep.newActive (86) [DISS] (1) protected Real optSta.optHea.triSam4.y (87) [DISS] (1) protected Boolean optSta.optCoo.truHol.initialStep.oldActive (88) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.initialStep.outPort.reset (89) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.outputTrue.inPort.set (90) [DISC] (1) protected Boolean optSta.optHea.lesEquThr.y (91) [ALGB] (1) protected Real optSta.optHea.lesEquThr.u (92) [DISC] (1) protected Boolean optSta.optCoo.falEdg.y (93) [ALGB] (1) Real TOutBase.y (94) [DISS] (1) protected Integer optSta.optHea.triMovMea.index (fixed = true, start = 0) (95) [ALGB] (1) Real add1.y (96) [ALGB] (1) protected Real optSta.dTHea.y (97) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.outputTrue.inPort.occupied (98) [DISS] (1) protected final Boolean optSta.optCoo.truHol.toInitial.localCondition = optSta.optCoo.truHol.toInitial.localCondition (99) [ALGB] (1) protected Real optSta.optCoo.tOptCal.y (100) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.outputTrue.inPort.set (101) [DISS] (1) protected Real optSta.optHea.triSam3.y (102) [ALGB] (1) protected Real optSta.max.u1 (103) [ALGB] (1) protected Real optSta.max.u2 (104) [DISS] (3) protected Real[3] optSta.optHea.triMovMea.ySample (fixed = {true for $i1 in 1:3}, start = {0.0 for $i1 in 1:3}) (105) [ALGB] (1) Real dT.y (106) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.initialStep.inPort.set (107) [DISC] (1) protected Boolean optSta.optHea.truHol.outputTrue.outerStatePort.localActive = optSta.optHea.truHol.outputTrue.outerStatePort.localActive (108) [ALGB] (1) Real conPID1.errI2.u2 (109) [DISC] (1) protected Boolean optSta.optCoo.greThr.y (110) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.outputTrue.outPort.available (111) [ALGB] (1) Real QHea.y (112) [ALGB] (1) Real QHea.u (113) [DISS] (1) protected Real optSta.optHea.lesEquThr1.u (114) [DISC] (1) protected Boolean optSta.optHea.and2.y (115) [ALGB] (1) protected Real conPID.addPID.y (116) [DISC] (1) protected Boolean optSta.optHea.lesEquThr1.y (117) [DISC] (1) protected Boolean optSta.optHea.truHol.toInitial.inPort.available (118) [DISC] (1) protected Boolean optSta.optHea.truHol.toOutputTrue.outPort.set (119) [DISC] (1) protected Boolean optSta.optHea.truHol.toInitial.outPort.set (120) [ALGB] (1) protected Real pul.T_width = pul.period * pul.width (121) [DISC] (1) protected Boolean optSta.optHea.truHol.initialStep.outerStatePort.localActive = optSta.optHea.truHol.initialStep.outerStatePort.localActive (122) [DISS] (1) protected Real optSta.optHea.triSam2.y (123) [DISC] (1) Boolean $SEV_57 (124) [DISC] (1) Boolean $SEV_56 (125) [DISS] (1) protected discrete Real optSta.optHea.tim.entryTime (126) [DISC] (1) Boolean $SEV_55 (127) [DISC] (1) Boolean $SEV_54 (128) [DISC] (1) Boolean $SEV_53 (129) [ALGB] (1) protected Real conPID1.addPD.u1 (130) [DISC] (1) Boolean $SEV_52 (131) [ALGB] (1) Real conPID.errI1.y (132) [DISC] (1) Boolean $SEV_51 (133) [DISC] (1) Boolean $SEV_50 (134) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.outputTrue.outPort.available (135) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.initialStep.outPort.available (136) [DISS] (1) protected Boolean optSta.optHea.truHol.outputTrue.oldActive (137) [ALGB] (1) protected Real conPID.uSetWp.y (138) [DISC] (1) Boolean $SEV_49 (139) [DISC] (1) Boolean $SEV_48 (140) [ALGB] (1) protected Real conPID.uSetWp.u (141) [DISC] (1) Boolean $SEV_47 (142) [DISC] (1) Boolean $SEV_46 (143) [DISC] (1) Boolean $SEV_45 (144) [DISC] (1) protected Boolean optSta.optHea.lesEquThr2.y (145) [DISC] (1) Boolean $SEV_44 (146) [DISC] (1) Boolean $SEV_43 (147) [DISC] (1) protected Boolean optSta.optHea.edg.y (148) [DISC] (1) Boolean $SEV_42 (149) [ALGB] (1) protected Real conPID.antWinErr.y (150) [DISC] (1) Boolean $SEV_41 (151) [DISC] (1) protected Boolean optSta.falEdg.not_u = not (not optSta.falEdg.not_u) (152) [DISC] (1) Boolean $SEV_40 (153) [ALGB] (1) Real conPID.errP.u2 (154) [DISC] (1) protected Boolean optSta.optCoo.not1.u (155) [DISS] (1) protected Real optSta.optHea.triSam1.y (156) [DISC] (1) Boolean $FUN_9 (157) [DISC] (1) Boolean $FUN_8 (158) [DISC] (1) Boolean $FUN_7 (159) [DISC] (1) Boolean $FUN_6 (160) [DISC] (1) protected Boolean optSta.optCoo.falEdg.not_u = not (not optSta.optCoo.falEdg.not_u) (161) [DISC] (1) protected Integer optSta.optHea.truHol.stateGraphRoot.activeSteps (162) [DISC] (1) Boolean $FUN_4 (163) [DISC] (1) Boolean $FUN_3 (164) [DISC] (1) Boolean $FUN_2 (165) [DISC] (1) Boolean $FUN_1 (166) [DISC] (1) Boolean $SEV_39 (167) [ALGB] (1) Real TSetHea.y (168) [DISC] (1) Boolean $SEV_38 (169) [DISC] (1) protected Boolean optSta.optHea.truHol.toOutputTrue.inPort.available (170) [DISC] (1) Boolean $SEV_37 (171) [DISC] (1) Boolean $SEV_36 (172) [ALGB] (1) Real QCoo.y (173) [DISC] (1) Boolean $SEV_35 (174) [DISC] (1) Boolean $SEV_34 (175) [DISC] (1) Boolean $SEV_33 (176) [DISC] (1) Boolean $SEV_32 (177) [ALGB] (1) Real QCoo.u (178) [DISC] (1) Boolean $SEV_31 (179) [DISC] (1) Boolean $SEV_30 (180) [DISS] (1) protected discrete Real optSta.optCoo.tim.yAcc (181) [ALGB] (1) protected Real conPID1.addPID.u1 (182) [DISC] (1) Boolean booToRea1.u (183) [ALGB] (1) Real $FUN_11 (184) [ALGB] (1) Real booToRea1.y (185) [ALGB] (1) protected Real optSta.optHea.swi.y (186) [ALGB] (1) protected flow Real optSta.optCoo.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps (187) [ALGB] (1) Real TOut.y (188) [DISS] (1) protected discrete Real optSta.optCoo.tim.entryTime (189) [DISC] (1) Boolean $SEV_29 (190) [ALGB] (1) protected Real optSta.optCoo.add2.y (191) [ALGB] (1) Real occSch.tNexNonOcc (192) [DISC] (1) Boolean $SEV_28 (193) [DISC] (1) Boolean $SEV_27 (194) [DISC] (1) Boolean $SEV_26 (195) [DISC] (1) Boolean $SEV_25 (196) [DISC] (1) Boolean $SEV_24 (197) [DISC] (1) protected Boolean optSta.optCoo.edg.y (198) [DISC] (1) Boolean $SEV_23 (199) [DISC] (1) Boolean $SEV_22 (200) [DISC] (1) Boolean $SEV_21 (201) [DISC] (1) Boolean $SEV_20 (202) [ALGB] (1) Real conPID.I.u (203) [DISS] (1) protected Boolean optSta.optCoo.truHol.outputTrue.oldActive (204) [DISS] (1) protected Integer optSta.optCoo.triMovMea.iSample (fixed = true, start = 0) (205) [DISC] (1) Boolean $TEV_31 (206) [DISC] (1) Boolean $TEV_30 (207) [DISS] (1) protected Boolean optSta.optHea.truHol.initialStep.oldActive (208) [ALGB] (3) Real[3] mulSum.u (209) [ALGB] (1) protected Real optSta.addPar.y (210) [DISC] (1) protected Boolean optSta.optCoo.truHol.initialStep.newActive (211) [ALGB] (1) protected Real optSta.optCoo.temSlo.y (212) [DISS] (1) protected Integer occSch.iPerSta (213) [DISS] (1) protected Real optSta.optCoo.triSam.y (214) [ALGB] (1) protected Real optSta.max.y (215) [ALGB] (1) protected Real optSta.optCoo.triSam.u (216) [DISC] (1) Boolean $SEV_19 (217) [DISC] (1) Boolean $SEV_18 (218) [DISC] (1) Boolean $SEV_17 (219) [DISC] (1) protected Boolean optSta.optCoo.hysOpt.y (220) [DISC] (1) Boolean $SEV_16 (221) [DISC] (1) Boolean $SEV_15 (222) [DISC] (1) protected Boolean optSta.optCoo.truHol.toInitial.outPort.set (223) [ALGB] (1) Real booToRea2.y (224) [DISC] (1) protected Boolean[1] optSta.optHea.truHol.initialStep.inPort.occupied (225) [DISS] (1) protected Integer optSta.optHea.triMovMea.counter (fixed = true, start = 0) (226) [DISS] (1) protected Integer occSch.iPerSto (227) [DISC] (1) protected Boolean optSta.optHea.not1.u (228) [DISC] (1) Boolean $TEV_29 (229) [ALGB] (1) protected flow Real optSta.optCoo.truHol.stateGraphRoot.subgraphStatePort.activeSteps (230) [DISC] (1) Boolean $TEV_28 (231) [DISC] (1) Boolean $TEV_27 (232) [DISC] (1) Boolean $TEV_26 (233) [DISC] (1) Boolean $TEV_25 (234) [DISC] (1) Boolean $TEV_24 (235) [DISC] (1) Boolean $TEV_23 (236) [DISC] (1) Boolean $TEV_22 (237) [DISC] (1) Boolean $TEV_21 (238) [DISC] (1) Boolean $TEV_20 (239) [ALGB] (1) Real TSetCoo.y (240) [DISS] (1) Boolean TSetCoo.u (241) [ALGB] (1) protected Real optSta.optCoo.swi.y (242) [ALGB] (1) Real UA.y (243) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.outputTrue.outPort.reset (244) [DISC] (1) protected Boolean[1] optSta.optCoo.truHol.initialStep.inPort.set (245) [ALGB] (1) protected Real optSta.optCoo.swi1.y (246) [DISC] (1) protected Boolean optSta.optHea.falEdg.y (247) [DISC] (1) Boolean $TEV_19 (248) [DISC] (1) Boolean $TEV_18 (249) [DER-] (1) Real $DER.conPID1.addPID.u2 (250) [DISC] (1) Boolean $TEV_17 (251) [DISC] (1) Boolean $TEV_16 (252) [DISC] (1) Boolean $TEV_15 (253) [DISC] (1) Boolean $TEV_14 (254) [DISC] (1) Boolean $TEV_13 (255) [DISC] (1) Boolean $TEV_12 (256) [DISC] (1) Boolean $TEV_11 (257) [DISC] (1) Boolean $TEV_10 (258) [DISS] (1) protected Real occSch.tOcc (259) [ALGB] (1) Real conPID.controlError.y (260) [ALGB] (1) Real conPID1.lim.u (261) [DISC] (1) protected Boolean optSta.optHea.truHol.toInitial.outPort.occupied (262) [ALGB] (1) protected Real optSta.optHea.add2.y (263) [DISS] (1) protected Integer occSch.nexStaInd system eqns Equations (273/277) ********************************* (1) [SCAL] (1) optSta.optHea.truHol.toOutputTrue.outPort.set = $SEV_50 ($RES_SIM_256) (2) [SCAL] (1) optSta.optHea.truHol.outputTrue.outPort[1].reset = optSta.optHea.truHol.toInitial.outPort.set ($RES_SIM_515) (3) [SCAL] (1) optSta.optHea.truHol.outputTrue.outPort[1].available = optSta.optHea.truHol.toInitial.inPort.available ($RES_SIM_516) (4) [SCAL] (1) optSta.optHea.truHol.toOutputTrue.outPort.set = optSta.optHea.truHol.outputTrue.inPort[1].set ($RES_SIM_517) (5) [SCAL] (1) optSta.optHea.truHol.toOutputTrue.outPort.occupied = optSta.optHea.truHol.outputTrue.inPort[1].occupied ($RES_SIM_518) (6) [SCAL] (1) optSta.optHea.truHol.toInitial.outPort.set = optSta.optHea.truHol.initialStep.inPort[1].set ($RES_SIM_519) (7) [SCAL] (1) $SEV_45 = optSta.optHea.truHol.outputTrue.outerStatePort.localActive and not edge(false) ($RES_EVT_640) (8) [SCAL] (1) optSta.optCoo.truHol.toInitial.outPort.set = $SEV_33 ($RES_SIM_170) (9) [SCAL] (1) $SEV_46 = (change(not optSta.optHea.not1.u) and pre(not optSta.optHea.not1.u) == true) and not optSta.or2.u1 ($RES_EVT_641) (10) [SCAL] (1) $SEV_47 = (not (not optSta.optHea.not1.u) and change(optSta.or2.u1)) and $PRE.optSta.or2.u1 == true ($RES_EVT_642) (11) [SCAL] (1) $SEV_48 = (not (not optSta.optHea.not1.u) and change(optSta.or2.u1)) and $PRE.optSta.or2.u1 == false ($RES_EVT_643) (12) [SCAL] (1) $SEV_49 = (optSta.optHea.truHol.toInitial.localCondition and optSta.optHea.truHol.toInitial.inPort.available) and not optSta.optHea.truHol.toInitial.outPort.occupied ($RES_EVT_644) (13) [SCAL] (1) $SEV_50 = (optSta.optHea.truHol.toOutputTrue.localCondition and optSta.optHea.truHol.toOutputTrue.inPort.available) and not optSta.optHea.truHol.toOutputTrue.outPort.occupied ($RES_EVT_645) (14) [SCAL] (1) $SEV_51 = $FUN_3 or optSta.optHea.truHol.outputTrue.outerStatePort.localActive and not $FUN_4 ($RES_EVT_646) (15) [SCAL] (1) $SEV_52 = $FUN_1 or optSta.optHea.truHol.initialStep.outerStatePort.localActive and not $FUN_2 ($RES_EVT_647) (16) [SCAL] (1) optSta.optCoo.truHol.toOutputTrue.outPort.set = $SEV_34 ($RES_SIM_177) (17) [SCAL] (1) $SEV_53 = time >= $PRE.optSta.optHea.truHol.onDelay.t_next ($RES_EVT_648) (18) [SCAL] (1) $SEV_54 = optSta.optHea.lesEquThr1.u <= optSta.optHea.lesEquThr1.threshold ($RES_EVT_649) (19) [SCAL] (1) optSta.optHea.truHol.outputTrue.outPort[1].reset = false ($RES_SIM_261) (20) [SCAL] (1) optSta.optHea.truHol.outputTrue.inPort[1].set = false ($RES_SIM_262) (21) [SCAL] (1) optSta.optHea.truHol.outputTrue.outPort[1].available = optSta.optHea.truHol.outputTrue.outerStatePort.localActive ($RES_SIM_263) (22) [SCAL] (1) optSta.optHea.truHol.outputTrue.inPort[1].occupied = optSta.optHea.truHol.outputTrue.outerStatePort.localActive ($RES_SIM_264) (23) [WHEN] (1)when false then (23) [----] optSta.optHea.truHol.outputTrue.oldActive := optSta.optHea.truHol.outputTrue.outerStatePort.localActive (23) [----] end when; (24) [SCAL] (1) optSta.optHea.truHol.outputTrue.newActive = $SEV_51 ($RES_SIM_266) (25) [SCAL] (1) optSta.optHea.truHol.outputTrue.outerStatePort.localActive = $TEV_23 ($RES_SIM_267) (26) [SCAL] (1) optSta.optHea.truHol.toInitial.outPort.occupied = optSta.optHea.truHol.initialStep.inPort[1].occupied ($RES_SIM_520) (27) [SCAL] (1) optSta.optHea.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if optSta.optHea.truHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_269) (28) [SCAL] (1) optSta.optHea.truHol.initialStep.outPort[1].reset = optSta.optHea.truHol.toOutputTrue.outPort.set ($RES_SIM_524) (29) [SCAL] (1) optSta.optHea.truHol.initialStep.outPort[1].available = optSta.optHea.truHol.toOutputTrue.inPort.available ($RES_SIM_525) (30) [SCAL] (1) $SEV_55 = optSta.optHea.lesEquThr.u <= optSta.optHea.lesEquThr.threshold ($RES_EVT_650) (31) [SCAL] (1) $SEV_56 = not $PRE.optSta.optHea.hysOpt.y and optSta.optHea.add2.y > optSta.optHea.hysOpt.uHigh or $PRE.optSta.optHea.hysOpt.y and optSta.optHea.add2.y >= optSta.optHea.hysOpt.uLow ($RES_EVT_651) (32) [SCAL] (1) $SEV_57 = not $PRE.optSta.optHea.not1.u and optSta.dTHea.y > optSta.optHea.hys.uHigh or $PRE.optSta.optHea.not1.u and optSta.dTHea.y >= optSta.optHea.hys.uLow ($RES_EVT_652) (33) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outPort[1].reset = false ($RES_SIM_182) (34) [SCAL] (1) optSta.optCoo.truHol.outputTrue.inPort[1].set = false ($RES_SIM_183) (35) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outPort[1].available = optSta.optCoo.truHol.outputTrue.outerStatePort.localActive ($RES_SIM_184) (36) [SCAL] (1) optSta.optCoo.truHol.outputTrue.inPort[1].occupied = optSta.optCoo.truHol.outputTrue.outerStatePort.localActive ($RES_SIM_185) (37) [WHEN] (1)when false then (37) [----] optSta.optCoo.truHol.outputTrue.oldActive := optSta.optCoo.truHol.outputTrue.outerStatePort.localActive (37) [----] end when; (38) [SCAL] (1) optSta.optCoo.truHol.outputTrue.newActive = $SEV_35 ($RES_SIM_187) (39) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outerStatePort.localActive = $TEV_8 ($RES_SIM_188) (40) [SCAL] (1) optSta.optHea.truHol.initialStep.outPort[1].reset = false ($RES_SIM_270) (41) [SCAL] (1) optSta.optHea.truHol.initialStep.inPort[1].set = false ($RES_SIM_271) (42) [SCAL] (1) optSta.optHea.truHol.initialStep.outPort[1].available = optSta.optHea.truHol.initialStep.outerStatePort.localActive ($RES_SIM_272) (43) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outPort[1].reset = optSta.optCoo.truHol.toInitial.outPort.set ($RES_SIM_447) (44) [SCAL] (1) optSta.optHea.truHol.initialStep.inPort[1].occupied = optSta.optHea.truHol.initialStep.outerStatePort.localActive ($RES_SIM_273) (45) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outPort[1].available = optSta.optCoo.truHol.toInitial.inPort.available ($RES_SIM_448) (46) [WHEN] (1)when false then (46) [----] optSta.optHea.truHol.initialStep.oldActive := optSta.optHea.truHol.initialStep.outerStatePort.localActive (46) [----] end when; (47) [SCAL] (1) optSta.optCoo.truHol.toOutputTrue.outPort.set = optSta.optCoo.truHol.outputTrue.inPort[1].set ($RES_SIM_449) (48) [SCAL] (1) optSta.optHea.truHol.initialStep.newActive = $SEV_52 ($RES_SIM_275) (49) [SCAL] (1) $TEV_0 = $PRE.optSta.falEdg.not_u ($RES_EVT_571) (50) [SCAL] (1) optSta.optHea.truHol.initialStep.outerStatePort.localActive = $TEV_26 ($RES_SIM_276) (51) [SCAL] (1) $TEV_1 = $PRE.optSta.optCoo.tim.entryTime ($RES_EVT_572) (52) [SCAL] (1) $TEV_2 = $PRE.optSta.or2.u2 ($RES_EVT_573) (53) [SCAL] (1) optSta.optHea.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if optSta.optHea.truHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_278) (54) [SCAL] (1) $TEV_3 = $PRE.optSta.optCoo.and2.y ($RES_EVT_574) (55) [WHEN] (1)when $SEV_53 then (55) [----] optSta.optHea.truHol.toInitial.localCondition := optSta.optHea.truHol.outputTrue.outerStatePort.localActive (55) [----] else when not optSta.optHea.truHol.outputTrue.outerStatePort.localActive then (55) [----] optSta.optHea.truHol.toInitial.localCondition := false (55) [----] else when optSta.optHea.truHol.outputTrue.outerStatePort.localActive then (55) [----] optSta.optHea.truHol.toInitial.localCondition := not optSta.optHea.truHol.onDelay.delayTime > 0.0 (55) [----] else when initial() then (55) [----] optSta.optHea.truHol.toInitial.localCondition := if not (optSta.optHea.truHol.onDelay.delayOnInit and optSta.optHea.truHol.onDelay.delayTime > 0.0) then optSta.optHea.truHol.outputTrue.outerStatePort.localActive else false (55) [----] end when; (56) [SCAL] (1) $TEV_4 = $PRE.optSta.optCoo.truHol.toInitial.outPort.set ($RES_EVT_575) (57) [SCAL] (1) $TEV_5 = $PRE.optSta.optCoo.truHol.toOutputTrue.outPort.set ($RES_EVT_576) (58) [SCAL] (1) $TEV_6 = $PRE.optSta.optCoo.truHol.outputTrue.oldActive ($RES_EVT_577) (59) [SCAL] (1) $TEV_7 = $PRE.optSta.optCoo.truHol.outputTrue.outerStatePort.localActive ($RES_EVT_578) (60) [SCAL] (1) $TEV_8 = $PRE.optSta.optCoo.truHol.outputTrue.newActive ($RES_EVT_579) (61) [SCAL] (1) optSta.optCoo.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps = if optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_190) (62) [SCAL] (1) optSta.optCoo.truHol.initialStep.outPort[1].reset = false ($RES_SIM_191) (63) [SCAL] (1) optSta.optCoo.truHol.initialStep.inPort[1].set = false ($RES_SIM_192) (64) [SCAL] (1) optSta.optCoo.truHol.initialStep.outPort[1].available = optSta.optCoo.truHol.initialStep.outerStatePort.localActive ($RES_SIM_193) (65) [SCAL] (1) optSta.optCoo.truHol.initialStep.inPort[1].occupied = optSta.optCoo.truHol.initialStep.outerStatePort.localActive ($RES_SIM_194) (66) [WHEN] (1)when false then (66) [----] optSta.optCoo.truHol.initialStep.oldActive := optSta.optCoo.truHol.initialStep.outerStatePort.localActive (66) [----] end when; (67) [SCAL] (1) optSta.optCoo.truHol.initialStep.newActive = $SEV_36 ($RES_SIM_196) (68) [SCAL] (1) optSta.optCoo.truHol.initialStep.outerStatePort.localActive = $TEV_11 ($RES_SIM_197) (69) [SCAL] (1) optSta.optCoo.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps = if optSta.optCoo.truHol.initialStep.outerStatePort.localActive then 1.0 else 0.0 ($RES_SIM_199) (70) [SCAL] (1) optSta.optCoo.truHol.toOutputTrue.outPort.occupied = optSta.optCoo.truHol.outputTrue.inPort[1].occupied ($RES_SIM_450) (71) [SCAL] (1) optSta.optCoo.truHol.toInitial.outPort.set = optSta.optCoo.truHol.initialStep.inPort[1].set ($RES_SIM_451) (72) [SCAL] (1) optSta.optCoo.truHol.toInitial.outPort.occupied = optSta.optCoo.truHol.initialStep.inPort[1].occupied ($RES_SIM_452) (73) [WHEN] (1)when $SEV_53 then (73) [----] optSta.optHea.truHol.onDelay.t_next := optSta.optHea.truHol.onDelay.t_past (73) [----] else when not optSta.optHea.truHol.outputTrue.outerStatePort.localActive then (73) [----] optSta.optHea.truHol.onDelay.t_next := optSta.optHea.truHol.onDelay.t_past (73) [----] else when optSta.optHea.truHol.outputTrue.outerStatePort.localActive then (73) [----] optSta.optHea.truHol.onDelay.t_next := time + optSta.optHea.truHol.onDelay.delayTime (73) [----] else when initial() then (73) [----] optSta.optHea.truHol.onDelay.t_next := if not optSta.optHea.truHol.onDelay.delayOnInit then optSta.optHea.truHol.onDelay.t_past else time + optSta.optHea.truHol.onDelay.delayTime (73) [----] end when; (74) [SCAL] (1) optSta.optCoo.truHol.initialStep.outPort[1].reset = optSta.optCoo.truHol.toOutputTrue.outPort.set ($RES_SIM_456) (75) [SCAL] (1) optSta.optCoo.truHol.initialStep.outPort[1].available = optSta.optCoo.truHol.toOutputTrue.inPort.available ($RES_SIM_457) (76) [SCAL] (1) optSta.optHea.truHol.stateGraphRoot.activeSteps = -integer(optSta.optHea.truHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_284) (77) [SCAL] (1) $TEV_9 = $PRE.optSta.optCoo.truHol.initialStep.oldActive ($RES_EVT_580) (78) [SCAL] (1) $TEV_10 = $PRE.optSta.optCoo.truHol.initialStep.outerStatePort.localActive ($RES_EVT_581) (79) [SCAL] (1) optSta.optHea.lesEquThr1.y = $SEV_54 ($RES_SIM_286) (80) [SCAL] (1) $TEV_11 = $PRE.optSta.optCoo.truHol.initialStep.newActive ($RES_EVT_582) (81) [SCAL] (1) optSta.optHea.lesEquThr.y = $SEV_55 ($RES_SIM_287) (82) [SCAL] (1) $TEV_12 = $PRE.optSta.optCoo.truHol.onDelay.t_next ($RES_EVT_583) (83) [SCAL] (1) optSta.optHea.hysOpt.y = $SEV_56 ($RES_SIM_288) (84) [SCAL] (1) $TEV_13 = $PRE.optSta.optCoo.hysOpt.y ($RES_EVT_584) (85) [SCAL] (1) optSta.optHea.not1.u = $SEV_57 ($RES_SIM_289) (86) [SCAL] (1) $TEV_14 = $PRE.optSta.optCoo.not1.u ($RES_EVT_585) (87) [SCAL] (1) $TEV_15 = $PRE.optSta.optCoo.falEdg.not_u ($RES_EVT_586) (88) [SCAL] (1) $TEV_16 = $PRE.optSta.optHea.tim.entryTime ($RES_EVT_587) (89) [SCAL] (1) $TEV_17 = $PRE.optSta.or2.u1 ($RES_EVT_588) (90) [SCAL] (1) $TEV_18 = $PRE.optSta.optHea.and2.y ($RES_EVT_589) (91) [SCAL] (1) optSta.optHea.falEdg.y = edge(optSta.optHea.falEdg.not_u) ($RES_SIM_290) (92) [SCAL] (1) optSta.optHea.edg.y = edge(not optSta.optHea.falEdg.not_u) ($RES_SIM_291) (93) [SCAL] (1) $TEV_19 = $PRE.optSta.optHea.truHol.toInitial.outPort.set ($RES_EVT_590) (94) [SCAL] (1) $TEV_20 = $PRE.optSta.optHea.truHol.toOutputTrue.outPort.set ($RES_EVT_591) (95) [WHEN] (1)when optSta.or2.u1 then (95) [----] optSta.optHea.triSam3.y := optSta.dTHea.y (95) [----] end when; (96) [SCAL] (1) $TEV_21 = $PRE.optSta.optHea.truHol.outputTrue.oldActive ($RES_EVT_592) (97) [WHEN] (1)when optSta.optHea.truHol.toOutputTrue.localCondition then (97) [----] optSta.optHea.triSam2.y := optSta.dTHea.y (97) [----] end when; (98) [SCAL] (1) $TEV_22 = $PRE.optSta.optHea.truHol.outputTrue.outerStatePort.localActive ($RES_EVT_593) (99) [WHEN] (1)when {initial(), optSta.optHea.lesEquThr2.y} then (99) [----] optSta.optHea.lesEquThr1.u := sum(optSta.optHea.triMovMea.ySample) / optSta.optHea.triMovMea.counter (99) [----] end when; (100) [SCAL] (1) $TEV_23 = $PRE.optSta.optHea.truHol.outputTrue.newActive ($RES_EVT_594) (101) [WHEN] (1)when {initial(), optSta.optHea.lesEquThr2.y} then (101) [----] optSta.optHea.triMovMea.index := mod($PRE.optSta.optHea.triMovMea.iSample, 3) + 1 (101) [----] end when; (102) [SCAL] (1) $TEV_24 = $PRE.optSta.optHea.truHol.initialStep.oldActive ($RES_EVT_595) (103) [WHEN] (1)when {initial(), optSta.optHea.lesEquThr2.y} then (103) [----] optSta.optHea.triMovMea.counter := if $PRE.optSta.optHea.triMovMea.counter == 3 then 3 else $PRE.optSta.optHea.triMovMea.counter + 1 (103) [----] end when; (104) [SCAL] (1) $TEV_25 = $PRE.optSta.optHea.truHol.initialStep.outerStatePort.localActive ($RES_EVT_596) (105) [SCAL] (1) $TEV_26 = $PRE.optSta.optHea.truHol.initialStep.newActive ($RES_EVT_597) (106) [SCAL] (1) $TEV_27 = $PRE.optSta.optHea.truHol.onDelay.t_next ($RES_EVT_598) (107) [SCAL] (1) $TEV_28 = $PRE.optSta.optHea.hysOpt.y ($RES_EVT_599) (108) [WHEN] (1)when $SEV_20 then (108) [----] occSch.tOcc := $PRE.occSch.tOcc (108) [----] else when $SEV_21 then (108) [----] occSch.tOcc := occSch.occupancy[occSch.nexStaInd] + occSch.iPerSta * occSch.period (108) [----] end when; (109) [WHEN] (1)when $SEV_20 then (109) [----] occSch.nexStaInd := $PRE.occSch.nexStaInd (109) [----] else when $SEV_21 then (109) [----] occSch.nexStaInd := if $PRE.occSch.nexStaInd + 2 <= 2 then $PRE.occSch.nexStaInd + 2 else if occSch.firstEntryOccupied then 1 else 2 (109) [----] end when; (110) [WHEN] (1)when $SEV_20 then (110) [----] -(-(occSch.tNexNonOcc + time)) := occSch.occupancy[occSch.nexStoInd] + occSch.iPerSto * occSch.period (110) [----] else when $SEV_21 then (110) [----] -(-(occSch.tNexNonOcc + time)) := pre(-(-(occSch.tNexNonOcc + time))) (110) [----] end when; (111) [WHEN] (1)when $SEV_20 then (111) [----] occSch.iPerSta := $PRE.occSch.iPerSta (111) [----] else when $SEV_21 then (111) [----] occSch.iPerSta := if $PRE.occSch.nexStaInd + 2 <= 2 then $PRE.occSch.iPerSta else $PRE.occSch.iPerSta + 1 (111) [----] end when; (112) [WHEN] (1)when $SEV_20 then (112) [----] occSch.iPerSto := if $PRE.occSch.nexStoInd + 2 <= 2 then $PRE.occSch.iPerSto else $PRE.occSch.iPerSto + 1 (112) [----] else when $SEV_21 then (112) [----] occSch.iPerSto := $PRE.occSch.iPerSto (112) [----] end when; (113) [WHEN] (1)when $SEV_20 then (113) [----] occSch.nexStoInd := if $PRE.occSch.nexStoInd + 2 <= 2 then $PRE.occSch.nexStoInd + 2 else if occSch.firstEntryOccupied then 2 else 1 (113) [----] else when $SEV_21 then (113) [----] occSch.nexStoInd := $PRE.occSch.nexStoInd (113) [----] end when; (114) [WHEN] (1)when $SEV_20 then (114) [----] TSetCoo.u := not $PRE.TSetCoo.u (114) [----] else when $SEV_21 then (114) [----] TSetCoo.u := not $PRE.TSetCoo.u (114) [----] end when; (115) [SCAL] (1) TSetCoo.y = if TSetCoo.u then TSetCoo.realTrue else TSetCoo.realFalse ($RES_SIM_69) (116) [SCAL] (1) conPID1.errI2.u2 = conPID1.antWinGai.k * conPID1.antWinErr.y ($RES_SIM_110) (117) [SCAL] (1) conPID1.antWinErr.y = conPID1.lim.u - QCoo.u ($RES_SIM_111) (118) [SCAL] (1) conPID1.addPID.y = conPID1.addPID.k1 * conPID1.addPID.u1 + conPID1.addPID.k2 * conPID1.addPID.u2 ($RES_SIM_112) (119) [SCAL] (1) conPID1.lim.u = conPID1.gainPID.k * conPID1.addPID.y ($RES_SIM_113) (120) [SCAL] (1) conPID1.addPID.u1 = conPID1.addPD.k1 * conPID1.addPD.u1 ($RES_SIM_114) (121) [SCAL] (1) conPID1.errP.u2 = conPID1.uMea_revAct.k * optSta.dTCoo.u1 ($RES_SIM_115) (122) [SCAL] (1) conPID1.uSetWp.y = conPID1.uSetWp.k * conPID1.uSetWp.u ($RES_SIM_116) (123) [SCAL] (1) conPID1.uSetWp.u = conPID1.uS_revAct.k * add1.y ($RES_SIM_117) (124) [SCAL] (1) QCoo.u = homotopy(smooth(0, noEvent(if $SEV_22 then conPID1.lim.uMax else if $SEV_23 then conPID1.lim.uMin else conPID1.lim.u)), conPID1.lim.u) ($RES_SIM_119) (125) [SCAL] (1) TSetHea.y = if TSetCoo.u then TSetHea.realTrue else TSetHea.realFalse ($RES_SIM_70) (126) [SCAL] (1) pul.y = pul.offset + (if $SEV_15 then 0.0 else if $SEV_16 then pul.amplitude else 0.0) ($RES_SIM_71) (127) [WHEN] (1)when $SEV_37 then (127) [----] optSta.optCoo.truHol.onDelay.t_next := optSta.optCoo.truHol.onDelay.t_past (127) [----] else when not optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then (127) [----] optSta.optCoo.truHol.onDelay.t_next := optSta.optCoo.truHol.onDelay.t_past (127) [----] else when optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then (127) [----] optSta.optCoo.truHol.onDelay.t_next := time + optSta.optCoo.truHol.onDelay.delayTime (127) [----] else when initial() then (127) [----] optSta.optCoo.truHol.onDelay.t_next := if not optSta.optCoo.truHol.onDelay.delayOnInit then optSta.optCoo.truHol.onDelay.t_past else time + optSta.optCoo.truHol.onDelay.delayTime (127) [----] end when; (128) [WHEN] (1)when $SEV_17 then (128) [----] pul.T_start := time (128) [----] end when; (129) [WHEN] (1)when $SEV_37 then (129) [----] optSta.optCoo.truHol.toInitial.localCondition := optSta.optCoo.truHol.outputTrue.outerStatePort.localActive (129) [----] else when not optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then (129) [----] optSta.optCoo.truHol.toInitial.localCondition := false (129) [----] else when optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then (129) [----] optSta.optCoo.truHol.toInitial.localCondition := not optSta.optCoo.truHol.onDelay.delayTime > 0.0 (129) [----] else when initial() then (129) [----] optSta.optCoo.truHol.toInitial.localCondition := if not (optSta.optCoo.truHol.onDelay.delayOnInit and optSta.optCoo.truHol.onDelay.delayTime > 0.0) then optSta.optCoo.truHol.outputTrue.outerStatePort.localActive else false (129) [----] end when; (130) [WHEN] (1)when $SEV_17 then (130) [----] pul.count := $PRE.pul.count + 1 (130) [----] end when; (131) [SCAL] (1) TOut.y = TOut.k1 * TOutBase.y + TOut.k2 * pul.y ($RES_SIM_74) (132) [SCAL] (1) QHea.y = QHea.k * QHea.u ($RES_SIM_75) (133) [SCAL] (1) optSta.optCoo.truHol.stateGraphRoot.activeSteps = -integer(optSta.optCoo.truHol.stateGraphRoot.subgraphStatePort.activeSteps) ($RES_SIM_205) (134) [SCAL] (1) conPID.errI2.u2 = conPID.antWinGai.k * conPID.antWinErr.y ($RES_SIM_78) (135) [SCAL] (1) conPID.antWinErr.y = conPID.lim.u - QHea.u ($RES_SIM_79) (136) [SCAL] (1) optSta.optCoo.lesEquThr1.y = $SEV_38 ($RES_SIM_207) (137) [SCAL] (1) optSta.optCoo.lesEquThr.y = $SEV_39 ($RES_SIM_208) (138) [SCAL] (1) optSta.optCoo.hysOpt.y = $SEV_40 ($RES_SIM_209) (139) [SCAL] (1) conPID1.I.u = conPID1.errI1.y - conPID1.errI2.u2 ($RES_SIM_120) (140) [SCAL] (1) conPID1.errI1.y = conPID1.uSetWp.u - conPID1.errP.u2 ($RES_SIM_121) (141) [SCAL] (1) conPID1.addPD.u1 = conPID1.uSetWp.y - conPID1.errP.u2 ($RES_SIM_122) (142) [SCAL] (1) $DER.conPID1.addPID.u2 = conPID1.I.k * conPID1.I.u ($RES_SIM_125) (143) [SCAL] (1) conPID1.controlError.y = add1.y - optSta.dTCoo.u1 ($RES_SIM_126) (144) [SCAL] (1) add1.y = add1.k1 * booToRea1.y + add1.k2 * TSetCoo.y ($RES_SIM_127) (145) [SCAL] (1) booToRea1.y = if booToRea1.u then booToRea1.realTrue else booToRea1.realFalse ($RES_SIM_128) (146) [SCAL] (1) QCoo.y = QCoo.k * QCoo.u ($RES_SIM_129) (147) [SCAL] (1) conPID.addPID.y = conPID.addPID.k1 * conPID.addPID.u1 + conPID.addPID.k2 * conPID.addPID.u2 ($RES_SIM_80) (148) [SCAL] (1) conPID.lim.u = conPID.gainPID.k * conPID.addPID.y ($RES_SIM_81) (149) [SCAL] (1) optSta.optCoo.not1.u = $SEV_41 ($RES_SIM_210) (150) [SCAL] (1) conPID.addPID.u1 = conPID.addPD.k1 * conPID.addPD.u1 ($RES_SIM_82) (151) [SCAL] (1) optSta.optCoo.falEdg.y = edge(optSta.optCoo.falEdg.not_u) ($RES_SIM_211) (152) [SCAL] (1) conPID.errP.u2 = conPID.uMea_revAct.k * optSta.dTCoo.u1 ($RES_SIM_83) (153) [SCAL] (1) optSta.optCoo.edg.y = edge(not optSta.optCoo.falEdg.not_u) ($RES_SIM_212) (154) [SCAL] (1) conPID.uSetWp.y = conPID.uSetWp.k * conPID.uSetWp.u ($RES_SIM_84) (155) [SCAL] (1) conPID.uSetWp.u = conPID.uS_revAct.k * add2.y ($RES_SIM_85) (156) [SCAL] (1) QHea.u = homotopy(smooth(0, noEvent(if $SEV_18 then conPID.lim.uMax else if $SEV_19 then conPID.lim.uMin else conPID.lim.u)), conPID.lim.u) ($RES_SIM_87) (157) [WHEN] (1)when optSta.or2.u2 then (157) [----] optSta.optCoo.triSam3.y := optSta.dTCoo.y (157) [----] end when; (158) [SCAL] (1) conPID.I.u = conPID.errI1.y - conPID.errI2.u2 ($RES_SIM_88) (159) [WHEN] (1)when optSta.optHea.truHol.toOutputTrue.localCondition then (159) [----] optSta.optCoo.triSam2.y := optSta.dTCoo.y (159) [----] end when; (160) [SCAL] (1) conPID.errI1.y = conPID.uSetWp.u - conPID.errP.u2 ($RES_SIM_89) (161) [WHEN] (1)when {initial(), optSta.optCoo.lesEquThr2.y} then (161) [----] optSta.optCoo.triMovMea.iSample := $PRE.optSta.optCoo.triMovMea.iSample + 1 (161) [----] end when; (162) [WHEN] (3)when {initial(), optSta.optCoo.lesEquThr2.y} then (162) [----] optSta.optCoo.triMovMea.ySample := {if i == optSta.optCoo.triMovMea.index then optSta.optCoo.temSlo.y else $PRE.optSta.optCoo.triMovMea.ySample for i in 1:3} (162) [----] end when; (163) [WHEN] (3)when {initial(), optSta.optHea.lesEquThr2.y} then (163) [----] optSta.optHea.triMovMea.ySample := {if i == optSta.optHea.triMovMea.index then optSta.optHea.temSlo.y else $PRE.optSta.optHea.triMovMea.ySample for i in 1:3} (163) [----] end when; (164) [SCAL] (1) $FUN_1 = Modelica.StateGraph.Temporary.anyTrue(optSta.optHea.truHol.initialStep.inPort.set) ($RES_$AUX_559) (165) [WHEN] (1)when {initial(), optSta.optHea.lesEquThr2.y} then (165) [----] optSta.optHea.triMovMea.iSample := $PRE.optSta.optHea.triMovMea.iSample + 1 (165) [----] end when; (166) [SCAL] (1) $FUN_2 = Modelica.StateGraph.Temporary.anyTrue(optSta.optHea.truHol.initialStep.outPort.reset) ($RES_$AUX_558) (167) [SCAL] (1) optSta.optCoo.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + optSta.optCoo.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + optSta.optCoo.truHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_302) (168) [SCAL] (1) $FUN_3 = Modelica.StateGraph.Temporary.anyTrue(optSta.optHea.truHol.outputTrue.inPort.set) ($RES_$AUX_557) (169) [SCAL] (1) optSta.optHea.truHol.initialStep.outerStatePort.subgraphStatePort.activeSteps + optSta.optHea.truHol.outputTrue.outerStatePort.subgraphStatePort.activeSteps + optSta.optHea.truHol.stateGraphRoot.subgraphStatePort.activeSteps = 0.0 ($RES_SIM_303) (170) [SCAL] (1) $TEV_29 = $PRE.optSta.optHea.not1.u ($RES_EVT_600) (171) [SCAL] (1) $FUN_4 = Modelica.StateGraph.Temporary.anyTrue(optSta.optHea.truHol.outputTrue.outPort.reset) ($RES_$AUX_556) (172) [SCAL] (1) $TEV_30 = $PRE.optSta.optHea.falEdg.not_u ($RES_EVT_601) (173) [SCAL] (1) optSta.optHea.mod.y = mod(time, optSta.optHea.con1.k) ($RES_$AUX_555) (174) [SCAL] (1) dT.y = dT.k1 * optSta.dTCoo.u1 + dT.k2 * TOut.y ($RES_SIM_130) (175) [SCAL] (1) $TEV_31 = time < TOutBase.startTime ($RES_EVT_602) (176) [SCAL] (1) $FUN_6 = Modelica.StateGraph.Temporary.anyTrue(optSta.optCoo.truHol.initialStep.inPort.set) ($RES_$AUX_554) (177) [SCAL] (1) UA.y = UA.k * dT.y ($RES_SIM_131) (178) [SCAL] (1) $FUN_7 = Modelica.StateGraph.Temporary.anyTrue(optSta.optCoo.truHol.initialStep.outPort.reset) ($RES_$AUX_553) (179) [SCAL] (1) TOutBase.y = TOutBase.offset + (if $TEV_31 then 0.0 else TOutBase.amplitude * $FUN_11) ($RES_SIM_132) (180) [SCAL] (1) $FUN_8 = Modelica.StateGraph.Temporary.anyTrue(optSta.optCoo.truHol.outputTrue.inPort.set) ($RES_$AUX_552) (181) [SCAL] (1) $FUN_9 = Modelica.StateGraph.Temporary.anyTrue(optSta.optCoo.truHol.outputTrue.outPort.reset) ($RES_$AUX_551) (182) [SCAL] (1) $DER.optSta.dTCoo.u1 = TRoo.k * TRoo.u ($RES_SIM_134) (183) [SCAL] (1) optSta.optCoo.mod.y = mod(time, optSta.optCoo.con1.k) ($RES_$AUX_550) (184) [SCAL] (1) optSta.optHea.truHol.toOutputTrue.localCondition = edge(optSta.falEdg.not_u) ($RES_SIM_137) (185) [SCAL] (1) optSta.dTCoo.y = optSta.dTCoo.k1 * optSta.dTCoo.u1 + optSta.dTCoo.k2 * TSetCooOcc.k ($RES_SIM_138) (186) [SCAL] (1) optSta.dTHea.y = optSta.dTHea.k1 * TSetHeaOcc.k + optSta.dTHea.k2 * optSta.dTCoo.u1 ($RES_SIM_139) (187) [SCAL] (1) conPID.addPD.u1 = conPID.uSetWp.y - conPID.errP.u2 ($RES_SIM_90) (188) [WHEN] (1)when {initial(), optSta.optCoo.lesEquThr2.y} then (188) [----] optSta.optCoo.triMovMea.counter := if $PRE.optSta.optCoo.triMovMea.counter == 3 then 3 else $PRE.optSta.optCoo.triMovMea.counter + 1 (188) [----] end when; (189) [WHEN] (1)when {initial(), optSta.optCoo.lesEquThr2.y} then (189) [----] optSta.optCoo.lesEquThr1.u := sum(optSta.optCoo.triMovMea.ySample) / optSta.optCoo.triMovMea.counter (189) [----] end when; (190) [SCAL] (1) $DER.conPID.addPID.u2 = conPID.I.k * conPID.I.u ($RES_SIM_93) (191) [WHEN] (1)when {initial(), optSta.optCoo.lesEquThr2.y} then (191) [----] optSta.optCoo.triMovMea.index := mod($PRE.optSta.optCoo.triMovMea.iSample, 3) + 1 (191) [----] end when; (192) [SCAL] (1) conPID.controlError.y = add2.y - optSta.dTCoo.u1 ($RES_SIM_94) (193) [SCAL] (1) optSta.optHea.and2.y = $SEV_42 ($RES_SIM_223) (194) [SCAL] (1) add2.y = add2.k1 * booToRea2.y + add2.k2 * TSetHea.y ($RES_SIM_95) (195) [SCAL] (1) optSta.optHea.greThr.y = $SEV_43 ($RES_SIM_224) (196) [SCAL] (1) booToRea2.y = if booToRea1.u then booToRea2.realTrue else booToRea2.realFalse ($RES_SIM_96) (197) [WHEN] (1)when optSta.optHea.truHol.toOutputTrue.localCondition then (197) [----] optSta.optHea.triSam4.y := optSta.optHea.tOptCal.y (197) [----] end when; (198) [SCAL] (1) optSta.optHea.lesEquThr2.y = $SEV_44 ($RES_SIM_226) (199) [SCAL] (1) TRoo.u = mulSum.k * mulSum.u ($RES_SIM_98) (200) [SCAL] (1) $FUN_11 = sin(6.283185307179586 * TOutBase.freqHz * (time - TOutBase.startTime) + TOutBase.phase) ($RES_$AUX_549) (201) [SCAL] (1) QHea.y = mulSum.u[3] ($RES_SIM_313) (202) [SCAL] (1) QCoo.y = mulSum.u[2] ($RES_SIM_314) (203) [SCAL] (1) $SEV_15 = (time < pul.startTime or pul.nperiod == 0) or pul.nperiod > 0 and pul.count >= pul.nperiod ($RES_EVT_610) (204) [SCAL] (1) booToRea1.u = $SEV_24 ($RES_SIM_140) (205) [SCAL] (1) $SEV_16 = time < (pul.T_start + pul.T_width) ($RES_EVT_611) (206) [SCAL] (1) not optSta.falEdg.not_u = $SEV_25 ($RES_SIM_141) (207) [SCAL] (1) $SEV_17 = integer((time - pul.startTime) / pul.period) > $PRE.pul.count ($RES_EVT_612) (208) [SCAL] (1) optSta.addPar.y = optSta.addPar.k * (occSch.tOcc - time) + optSta.addPar.p ($RES_SIM_142) (209) [SCAL] (1) $SEV_18 = conPID.lim.u > conPID.lim.uMax ($RES_EVT_613) (210) [SCAL] (1) optSta.max.y = max(optSta.max.u1, optSta.max.u2) ($RES_SIM_143) (211) [SCAL] (1) $SEV_19 = conPID.lim.u < conPID.lim.uMin ($RES_EVT_614) (212) [SCAL] (1) optSta.optCoo.and2.y = $SEV_26 ($RES_SIM_144) (213) [SCAL] (1) $SEV_20 = time >= pre(-(-(occSch.tNexNonOcc + time))) ($RES_EVT_615) (214) [SCAL] (1) optSta.optCoo.greThr.y = $SEV_27 ($RES_SIM_145) (215) [SCAL] (1) $SEV_21 = time >= $PRE.occSch.tOcc ($RES_EVT_616) (216) [WHEN] (1)when optSta.optHea.truHol.toOutputTrue.localCondition then (216) [----] optSta.optCoo.triSam4.y := optSta.optCoo.tOptCal.y (216) [----] end when; (217) [SCAL] (1) $SEV_22 = conPID1.lim.u > conPID1.lim.uMax ($RES_EVT_617) (218) [SCAL] (1) optSta.optCoo.lesEquThr2.y = $SEV_28 ($RES_SIM_147) (219) [SCAL] (1) $SEV_23 = conPID1.lim.u < conPID1.lim.uMin ($RES_EVT_618) (220) [SCAL] (1) $SEV_24 = optSta.or2.u1 or optSta.or2.u2 ($RES_EVT_619) (221) [SCAL] (1) optSta.optHea.tOptCal.y = optSta.optHea.max.y / optSta.optHea.swi1.y ($RES_SIM_230) (222) [SCAL] (1) optSta.optHea.triSam.u = if optSta.optHea.truHol.outputTrue.outerStatePort.localActive then time - optSta.optHea.tim.entryTime else 0.0 ($RES_SIM_232) (223) [WHEN] (1)when not optSta.optHea.truHol.outputTrue.outerStatePort.localActive then (223) [----] optSta.optHea.tim.yAcc := $PRE.optSta.optHea.triSam.u (223) [----] else when false then (223) [----] optSta.optHea.tim.yAcc := 0.0 (223) [----] end when; (224) [WHEN] (1)when false then (224) [----] optSta.optHea.tim.entryTime := time (224) [----] else when $SEV_45 then (224) [----] optSta.optHea.tim.entryTime := time (224) [----] end when; (225) [WHEN] (1)when not optSta.optHea.not1.u then (225) [----] not optSta.optHea.falEdg.not_u := false (225) [----] else when $SEV_46 then (225) [----] not optSta.optHea.falEdg.not_u := false (225) [----] else when $SEV_47 then (225) [----] not optSta.optHea.falEdg.not_u := if not optSta.optHea.not1.u then false else pre(not optSta.optHea.falEdg.not_u) (225) [----] else when $SEV_48 then (225) [----] not optSta.optHea.falEdg.not_u := not (not optSta.optHea.not1.u) (225) [----] else when initial() then (225) [----] not optSta.optHea.falEdg.not_u := if not optSta.optHea.not1.u then false else optSta.optHea.lat.pre_y_start (225) [----] end when; (226) [WHEN] (1)when optSta.optHea.edg.y then (226) [----] optSta.optHea.triSam1.y := optSta.optHea.triSam.u (226) [----] end when; (227) [WHEN] (1)when optSta.optHea.falEdg.y then (227) [----] optSta.optHea.triSam.y := optSta.optHea.triSam.u (227) [----] end when; (228) [SCAL] (1) optSta.optHea.max.y = max(optSta.optHea.triSam2.y, optSta.optHea.con.k) ($RES_SIM_239) (229) [SCAL] (1) UA.y = mulSum.u[1] ($RES_SIM_320) (230) [SCAL] (1) $SEV_25 = not pre(not optSta.falEdg.not_u) and optSta.addPar.y > optSta.hysSta.uHigh or pre(not optSta.falEdg.not_u) and optSta.addPar.y >= optSta.hysSta.uLow ($RES_EVT_620) (231) [SCAL] (1) $SEV_26 = optSta.optCoo.greThr.y and optSta.optCoo.hysOpt.y ($RES_EVT_621) (232) [SCAL] (1) optSta.optCoo.tOptCal.y = optSta.optCoo.max.y / optSta.optCoo.swi1.y ($RES_SIM_151) (233) [SCAL] (1) $SEV_27 = optSta.max.u2 > optSta.optCoo.greThr.threshold ($RES_EVT_622) (234) [SCAL] (1) $SEV_28 = optSta.optCoo.mod.y <= optSta.optCoo.lesEquThr2.threshold ($RES_EVT_623) (235) [SCAL] (1) optSta.optCoo.triSam.u = if optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then time - optSta.optCoo.tim.entryTime else 0.0 ($RES_SIM_153) (236) [SCAL] (1) $SEV_29 = optSta.optCoo.truHol.outputTrue.outerStatePort.localActive and not edge(false) ($RES_EVT_624) (237) [WHEN] (1)when not optSta.optCoo.truHol.outputTrue.outerStatePort.localActive then (237) [----] optSta.optCoo.tim.yAcc := $PRE.optSta.optCoo.triSam.u (237) [----] else when false then (237) [----] optSta.optCoo.tim.yAcc := 0.0 (237) [----] end when; (238) [SCAL] (1) $SEV_30 = (change(not optSta.optCoo.not1.u) and pre(not optSta.optCoo.not1.u) == true) and not optSta.or2.u2 ($RES_EVT_625) (239) [WHEN] (1)when false then (239) [----] optSta.optCoo.tim.entryTime := time (239) [----] else when $SEV_29 then (239) [----] optSta.optCoo.tim.entryTime := time (239) [----] end when; (240) [SCAL] (1) $SEV_31 = (not (not optSta.optCoo.not1.u) and change(optSta.or2.u2)) and $PRE.optSta.or2.u2 == true ($RES_EVT_626) (241) [SCAL] (1) $SEV_32 = (not (not optSta.optCoo.not1.u) and change(optSta.or2.u2)) and $PRE.optSta.or2.u2 == false ($RES_EVT_627) (242) [WHEN] (1)when not optSta.optCoo.not1.u then (242) [----] not optSta.optCoo.falEdg.not_u := false (242) [----] else when $SEV_30 then (242) [----] not optSta.optCoo.falEdg.not_u := false (242) [----] else when $SEV_31 then (242) [----] not optSta.optCoo.falEdg.not_u := if not optSta.optCoo.not1.u then false else pre(not optSta.optCoo.falEdg.not_u) (242) [----] else when $SEV_32 then (242) [----] not optSta.optCoo.falEdg.not_u := not (not optSta.optCoo.not1.u) (242) [----] else when initial() then (242) [----] not optSta.optCoo.falEdg.not_u := if not optSta.optCoo.not1.u then false else optSta.optCoo.lat.pre_y_start (242) [----] end when; (243) [SCAL] (1) $SEV_33 = (optSta.optCoo.truHol.toInitial.localCondition and optSta.optCoo.truHol.toInitial.inPort.available) and not optSta.optCoo.truHol.toInitial.outPort.occupied ($RES_EVT_628) (244) [WHEN] (1)when optSta.optCoo.edg.y then (244) [----] optSta.optCoo.triSam1.y := optSta.optCoo.triSam.u (244) [----] end when; (245) [SCAL] (1) $SEV_34 = (optSta.optHea.truHol.toOutputTrue.localCondition and optSta.optCoo.truHol.toOutputTrue.inPort.available) and not optSta.optCoo.truHol.toOutputTrue.outPort.occupied ($RES_EVT_629) (246) [WHEN] (1)when optSta.optCoo.falEdg.y then (246) [----] optSta.optCoo.triSam.y := optSta.optCoo.triSam.u (246) [----] end when; (247) [SCAL] (1) optSta.max.u1 = min(optSta.optHea.maxStaTim.k, optSta.optHea.triSam4.y) ($RES_SIM_240) (248) [SCAL] (1) optSta.optHea.add2.y = optSta.optHea.add2.k1 * optSta.max.u1 + optSta.optHea.add2.k2 * (occSch.tOcc - time) ($RES_SIM_241) (249) [SCAL] (1) optSta.optHea.lesEquThr.u = optSta.optHea.add1.k1 * optSta.optHea.triSam.y + optSta.optHea.add1.k2 * optSta.optHea.triSam1.y ($RES_SIM_242) (250) [SCAL] (1) optSta.or2.u1 = $TEV_18 ($RES_SIM_243) (251) [SCAL] (1) optSta.optHea.swi1.y = if optSta.optHea.lesEquThr1.y then optSta.optHea.defTemSlo.k else optSta.optHea.lesEquThr1.u ($RES_SIM_244) (252) [SCAL] (1) optSta.optHea.swi.y = if optSta.optHea.lesEquThr.y then optSta.optHea.defOptTim.k else optSta.optHea.lesEquThr.u ($RES_SIM_245) (253) [SCAL] (1) optSta.optHea.temSlo.y = optSta.optHea.triSam3.y / optSta.optHea.swi.y ($RES_SIM_246) (254) [SCAL] (1) pul.T_width = pul.period * pul.width ($RES_BND_548) (255) [SCAL] (1) optSta.optHea.truHol.toInitial.outPort.set = $SEV_49 ($RES_SIM_249) (256) [SCAL] (1) $SEV_35 = $FUN_8 or optSta.optCoo.truHol.outputTrue.outerStatePort.localActive and not $FUN_9 ($RES_EVT_630) (257) [SCAL] (1) optSta.optCoo.max.y = max(optSta.optCoo.triSam2.y, optSta.optCoo.con.k) ($RES_SIM_160) (258) [SCAL] (1) $SEV_36 = $FUN_6 or optSta.optCoo.truHol.initialStep.outerStatePort.localActive and not $FUN_7 ($RES_EVT_631) (259) [SCAL] (1) optSta.max.u2 = min(optSta.optCoo.maxStaTim.k, optSta.optCoo.triSam4.y) ($RES_SIM_161) (260) [SCAL] (1) $SEV_37 = time >= $PRE.optSta.optCoo.truHol.onDelay.t_next ($RES_EVT_632) (261) [SCAL] (1) optSta.optCoo.add2.y = optSta.optCoo.add2.k1 * optSta.max.u2 + optSta.optCoo.add2.k2 * (occSch.tOcc - time) ($RES_SIM_162) (262) [SCAL] (1) $SEV_38 = optSta.optCoo.lesEquThr1.u <= optSta.optCoo.lesEquThr1.threshold ($RES_EVT_633) (263) [SCAL] (1) optSta.optCoo.lesEquThr.u = optSta.optCoo.add1.k1 * optSta.optCoo.triSam.y + optSta.optCoo.add1.k2 * optSta.optCoo.triSam1.y ($RES_SIM_163) (264) [SCAL] (1) $SEV_39 = optSta.optCoo.lesEquThr.u <= optSta.optCoo.lesEquThr.threshold ($RES_EVT_634) (265) [SCAL] (1) optSta.or2.u2 = $TEV_3 ($RES_SIM_164) (266) [SCAL] (1) $SEV_40 = not $PRE.optSta.optCoo.hysOpt.y and optSta.optCoo.add2.y > optSta.optCoo.hysOpt.uHigh or $PRE.optSta.optCoo.hysOpt.y and optSta.optCoo.add2.y >= optSta.optCoo.hysOpt.uLow ($RES_EVT_635) (267) [SCAL] (1) optSta.optCoo.swi1.y = if optSta.optCoo.lesEquThr1.y then optSta.optCoo.defTemSlo.k else optSta.optCoo.lesEquThr1.u ($RES_SIM_165) (268) [SCAL] (1) $SEV_41 = not $PRE.optSta.optCoo.not1.u and optSta.dTCoo.y > optSta.optCoo.hys.uHigh or $PRE.optSta.optCoo.not1.u and optSta.dTCoo.y >= optSta.optCoo.hys.uLow ($RES_EVT_636) (269) [SCAL] (1) optSta.optCoo.swi.y = if optSta.optCoo.lesEquThr.y then optSta.optCoo.defOptTim.k else optSta.optCoo.lesEquThr.u ($RES_SIM_166) (270) [SCAL] (1) $SEV_42 = optSta.optHea.greThr.y and optSta.optHea.hysOpt.y ($RES_EVT_637) (271) [SCAL] (1) optSta.optCoo.temSlo.y = optSta.optCoo.triSam3.y / optSta.optCoo.swi.y ($RES_SIM_167) (272) [SCAL] (1) $SEV_43 = optSta.max.u1 > optSta.optHea.greThr.threshold ($RES_EVT_638) (273) [SCAL] (1) $SEV_44 = optSta.optHea.mod.y <= optSta.optHea.lesEquThr2.threshold ($RES_EVT_639) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 75 var 2 --> eqn 68 var 3 --> eqn 128 var 4 --> eqn 194 var 5 --> eqn 193 var 6 --> eqn 136 var 7 --> eqn 126 var 8 --> eqn 199 var 9 --> eqn 123 var 10 --> eqn 254 var 11 --> eqn 269 var 12 --> eqn 122 var 13 --> eqn 127 var 14 --> eqn 24 var 15 --> eqn 192 var 16 --> eqn 177 var 17 --> eqn 130 var 18 --> eqn 69 var 19 --> eqn 62 var 20 --> eqn 191 var 21 --> eqn 22 var 22 --> eqn 255 var 23 --> eqn 169 var 24 --> eqn 222 var 25 --> eqn 248 var 26 --> eqn 118 var 27 --> eqn 117 var 28 --> eqn 19 var 29 --> eqn 47 var 30 --> eqn 5 var 31 --> eqn 134 var 32 --> eqn 53 var 33 --> eqn 195 var 34 --> eqn 45 var 35 --> eqn 232 var 36 --> eqn 187 var 37 --> eqn 148 var 38 --> eqn 159 var 39 --> eqn 140 var 40 --> eqn 227 var 41 --> eqn 38 var 42 --> eqn 73 var 43 --> eqn 188 var 44 --> eqn 133 var 45 --> eqn 77 var 46 --> eqn 60 var 47 --> eqn 186 var 48 --> eqn 59 var 49 --> eqn 58 var 50 --> eqn 229 var 51 --> eqn 57 var 52 --> eqn 56 var 53 --> eqn 54 var 54 --> eqn 52 var 55 --> eqn 51 var 56 --> eqn 27 var 57 --> eqn 49 var 58 --> eqn 143 var 59 --> eqn 65 var 60 --> eqn 121 var 61 --> eqn 39 var 62 --> eqn 157 var 63 --> eqn 113 var 64 --> eqn 267 var 65 --> eqn 137 var 66 --> eqn 225 var 67 --> eqn 189 var 68 --> eqn 173 var 69 --> eqn 257 var 70 --> eqn 261 var 71 --> eqn 231 var 72 --> eqn 226 var 73 --> eqn 83 var 74 --> eqn 139 var 75 --> eqn 72 var 76 --> eqn 198 var 77 --> eqn 220 var 78 --> eqn 203 var 79 --> eqn 164 var 80 --> eqn 163 var 81 --> eqn 162 var 82 --> eqn 216 var 83 --> eqn 42 var 84 --> eqn 70 var 85 --> eqn 55 var 86 --> eqn 150 var 87 --> eqn 48 var 88 --> eqn 201 var 89 --> eqn 66 var 90 --> eqn 28 var 91 --> eqn 20 var 92 --> eqn 81 var 93 --> eqn 253 var 94 --> eqn 151 var 95 --> eqn 183 var 96 --> eqn 101 var 97 --> eqn 144 var 98 --> eqn 190 var 99 --> eqn 36 var 100 --> eqn 129 var 101 --> eqn 236 var 102 --> eqn 34 var 103 --> eqn 95 var 104 --> eqn 251 var 105 --> eqn 263 var 106 --> eqn 167 var 107 --> eqn 166 var 108 --> eqn 165 var 109 --> eqn 178 var 110 --> eqn 6 var 111 --> eqn 25 var 112 --> eqn 116 var 113 --> eqn 218 var 114 --> eqn 35 var 115 --> eqn 132 var 116 --> eqn 156 var 117 --> eqn 99 var 118 --> eqn 197 var 119 --> eqn 147 var 120 --> eqn 79 var 121 --> eqn 3 var 122 --> eqn 4 var 123 --> eqn 2 var 124 --> eqn 258 var 125 --> eqn 50 var 126 --> eqn 97 var 127 --> eqn 32 var 128 --> eqn 31 var 129 --> eqn 228 var 130 --> eqn 30 var 131 --> eqn 18 var 132 --> eqn 17 var 133 --> eqn 141 var 134 --> eqn 15 var 135 --> eqn 160 var 136 --> eqn 14 var 137 --> eqn 1 var 138 --> eqn 21 var 139 --> eqn 64 var 140 --> eqn 23 var 141 --> eqn 154 var 142 --> eqn 12 var 143 --> eqn 11 var 144 --> eqn 155 var 145 --> eqn 10 var 146 --> eqn 9 var 147 --> eqn 7 var 148 --> eqn 202 var 149 --> eqn 277 var 150 --> eqn 276 var 151 --> eqn 92 var 152 --> eqn 274 var 153 --> eqn 135 var 154 --> eqn 272 var 155 --> eqn 210 var 156 --> eqn 270 var 157 --> eqn 152 var 158 --> eqn 149 var 159 --> eqn 230 var 160 --> eqn 185 var 161 --> eqn 184 var 162 --> eqn 182 var 163 --> eqn 180 var 164 --> eqn 246 var 165 --> eqn 76 var 166 --> eqn 175 var 167 --> eqn 172 var 168 --> eqn 170 var 169 --> eqn 168 var 170 --> eqn 268 var 171 --> eqn 125 var 172 --> eqn 266 var 173 --> eqn 29 var 174 --> eqn 264 var 175 --> eqn 262 var 176 --> eqn 146 var 177 --> eqn 260 var 178 --> eqn 16 var 179 --> eqn 247 var 180 --> eqn 245 var 181 --> eqn 124 var 182 --> eqn 244 var 183 --> eqn 242 var 184 --> eqn 241 var 185 --> eqn 120 var 186 --> eqn 208 var 187 --> eqn 204 var 188 --> eqn 145 var 189 --> eqn 256 var 190 --> eqn 61 var 191 --> eqn 131 var 192 --> eqn 243 var 193 --> eqn 240 var 194 --> eqn 265 var 195 --> eqn 110 var 196 --> eqn 238 var 197 --> eqn 237 var 198 --> eqn 235 var 199 --> eqn 234 var 200 --> eqn 224 var 201 --> eqn 153 var 202 --> eqn 223 var 203 --> eqn 221 var 204 --> eqn 219 var 205 --> eqn 217 var 206 --> eqn 158 var 207 --> eqn 37 var 208 --> eqn 161 var 209 --> eqn 179 var 210 --> eqn 176 var 211 --> eqn 46 var 212 --> eqn 233 var 213 --> eqn 206 var 214 --> eqn 205 var 215 --> eqn 212 var 216 --> eqn 67 var 217 --> eqn 275 var 218 --> eqn 111 var 219 --> eqn 250 var 220 --> eqn 214 var 221 --> eqn 239 var 222 --> eqn 215 var 223 --> eqn 213 var 224 --> eqn 211 var 225 --> eqn 138 var 226 --> eqn 209 var 227 --> eqn 207 var 228 --> eqn 8 var 229 --> eqn 200 var 230 --> eqn 44 var 231 --> eqn 103 var 232 --> eqn 112 var 233 --> eqn 85 var 234 --> eqn 174 var 235 --> eqn 171 var 236 --> eqn 107 var 237 --> eqn 106 var 238 --> eqn 105 var 239 --> eqn 104 var 240 --> eqn 102 var 241 --> eqn 100 var 242 --> eqn 98 var 243 --> eqn 96 var 244 --> eqn 94 var 245 --> eqn 115 var 246 --> eqn 114 var 247 --> eqn 273 var 248 --> eqn 181 var 249 --> eqn 33 var 250 --> eqn 63 var 251 --> eqn 271 var 252 --> eqn 91 var 253 --> eqn 93 var 254 --> eqn 90 var 255 --> eqn 142 var 256 --> eqn 89 var 257 --> eqn 88 var 258 --> eqn 87 var 259 --> eqn 86 var 260 --> eqn 84 var 261 --> eqn 82 var 262 --> eqn 80 var 263 --> eqn 78 var 264 --> eqn 108 var 265 --> eqn 196 var 266 --> eqn 119 var 267 --> eqn 26 var 268 --> eqn 252 var 269 --> eqn 109 equation to variable ********************** eqn 1 --> var 137 eqn 2 --> var 123 eqn 3 --> var 121 eqn 4 --> var 122 eqn 5 --> var 30 eqn 6 --> var 110 eqn 7 --> var 147 eqn 8 --> var 228 eqn 9 --> var 146 eqn 10 --> var 145 eqn 11 --> var 143 eqn 12 --> var 142 eqn 13 --> var -1 eqn 14 --> var 136 eqn 15 --> var 134 eqn 16 --> var 178 eqn 17 --> var 132 eqn 18 --> var 131 eqn 19 --> var 28 eqn 20 --> var 91 eqn 21 --> var 138 eqn 22 --> var 21 eqn 23 --> var 140 eqn 24 --> var 14 eqn 25 --> var 111 eqn 26 --> var 267 eqn 27 --> var 56 eqn 28 --> var 90 eqn 29 --> var 173 eqn 30 --> var 130 eqn 31 --> var 128 eqn 32 --> var 127 eqn 33 --> var 249 eqn 34 --> var 102 eqn 35 --> var 114 eqn 36 --> var 99 eqn 37 --> var 207 eqn 38 --> var 41 eqn 39 --> var 61 eqn 40 --> var -1 eqn 41 --> var -1 eqn 42 --> var 83 eqn 43 --> var -1 eqn 44 --> var 230 eqn 45 --> var 34 eqn 46 --> var 211 eqn 47 --> var 29 eqn 48 --> var 87 eqn 49 --> var 57 eqn 50 --> var 125 eqn 51 --> var 55 eqn 52 --> var 54 eqn 53 --> var 32 eqn 54 --> var 53 eqn 55 --> var 85 eqn 56 --> var 52 eqn 57 --> var 51 eqn 58 --> var 49 eqn 59 --> var 48 eqn 60 --> var 46 eqn 61 --> var 190 eqn 62 --> var 19 eqn 63 --> var 250 eqn 64 --> var 139 eqn 65 --> var 59 eqn 66 --> var 89 eqn 67 --> var 216 eqn 68 --> var 2 eqn 69 --> var 18 eqn 70 --> var 84 eqn 71 --> var -1 eqn 72 --> var 75 eqn 73 --> var 42 eqn 74 --> var -1 eqn 75 --> var 1 eqn 76 --> var 165 eqn 77 --> var 45 eqn 78 --> var 263 eqn 79 --> var 120 eqn 80 --> var 262 eqn 81 --> var 92 eqn 82 --> var 261 eqn 83 --> var 73 eqn 84 --> var 260 eqn 85 --> var 233 eqn 86 --> var 259 eqn 87 --> var 258 eqn 88 --> var 257 eqn 89 --> var 256 eqn 90 --> var 254 eqn 91 --> var 252 eqn 92 --> var 151 eqn 93 --> var 253 eqn 94 --> var 244 eqn 95 --> var 103 eqn 96 --> var 243 eqn 97 --> var 126 eqn 98 --> var 242 eqn 99 --> var 117 eqn 100 --> var 241 eqn 101 --> var 96 eqn 102 --> var 240 eqn 103 --> var 231 eqn 104 --> var 239 eqn 105 --> var 238 eqn 106 --> var 237 eqn 107 --> var 236 eqn 108 --> var 264 eqn 109 --> var 269 eqn 110 --> var 195 eqn 111 --> var 218 eqn 112 --> var 232 eqn 113 --> var 63 eqn 114 --> var 246 eqn 115 --> var 245 eqn 116 --> var 112 eqn 117 --> var 27 eqn 118 --> var 26 eqn 119 --> var 266 eqn 120 --> var 185 eqn 121 --> var 60 eqn 122 --> var 12 eqn 123 --> var 9 eqn 124 --> var 181 eqn 125 --> var 171 eqn 126 --> var 7 eqn 127 --> var 13 eqn 128 --> var 3 eqn 129 --> var 100 eqn 130 --> var 17 eqn 131 --> var 191 eqn 132 --> var 115 eqn 133 --> var 44 eqn 134 --> var 31 eqn 135 --> var 153 eqn 136 --> var 6 eqn 137 --> var 65 eqn 138 --> var 225 eqn 139 --> var 74 eqn 140 --> var 39 eqn 141 --> var 133 eqn 142 --> var 255 eqn 143 --> var 58 eqn 144 --> var 97 eqn 145 --> var 188 eqn 146 --> var 176 eqn 147 --> var 119 eqn 148 --> var 37 eqn 149 --> var 158 eqn 150 --> var 86 eqn 151 --> var 94 eqn 152 --> var 157 eqn 153 --> var 201 eqn 154 --> var 141 eqn 155 --> var 144 eqn 156 --> var 116 eqn 157 --> var 62 eqn 158 --> var 206 eqn 159 --> var 38 eqn 160 --> var 135 eqn 161 --> var 208 eqn 162 --> var 81 eqn 163 --> var 80 eqn 164 --> var 79 eqn 165 --> var 108 eqn 166 --> var 107 eqn 167 --> var 106 eqn 168 --> var 169 eqn 169 --> var 23 eqn 170 --> var 168 eqn 171 --> var 235 eqn 172 --> var 167 eqn 173 --> var 68 eqn 174 --> var 234 eqn 175 --> var 166 eqn 176 --> var 210 eqn 177 --> var 16 eqn 178 --> var 109 eqn 179 --> var 209 eqn 180 --> var 163 eqn 181 --> var 248 eqn 182 --> var 162 eqn 183 --> var 95 eqn 184 --> var 161 eqn 185 --> var 160 eqn 186 --> var 47 eqn 187 --> var 36 eqn 188 --> var 43 eqn 189 --> var 67 eqn 190 --> var 98 eqn 191 --> var 20 eqn 192 --> var 15 eqn 193 --> var 5 eqn 194 --> var 4 eqn 195 --> var 33 eqn 196 --> var 265 eqn 197 --> var 118 eqn 198 --> var 76 eqn 199 --> var 8 eqn 200 --> var 229 eqn 201 --> var 88 eqn 202 --> var 148 eqn 203 --> var 78 eqn 204 --> var 187 eqn 205 --> var 214 eqn 206 --> var 213 eqn 207 --> var 227 eqn 208 --> var 186 eqn 209 --> var 226 eqn 210 --> var 155 eqn 211 --> var 224 eqn 212 --> var 215 eqn 213 --> var 223 eqn 214 --> var 220 eqn 215 --> var 222 eqn 216 --> var 82 eqn 217 --> var 205 eqn 218 --> var 113 eqn 219 --> var 204 eqn 220 --> var 77 eqn 221 --> var 203 eqn 222 --> var 24 eqn 223 --> var 202 eqn 224 --> var 200 eqn 225 --> var 66 eqn 226 --> var 72 eqn 227 --> var 40 eqn 228 --> var 129 eqn 229 --> var 50 eqn 230 --> var 159 eqn 231 --> var 71 eqn 232 --> var 35 eqn 233 --> var 212 eqn 234 --> var 199 eqn 235 --> var 198 eqn 236 --> var 101 eqn 237 --> var 197 eqn 238 --> var 196 eqn 239 --> var 221 eqn 240 --> var 193 eqn 241 --> var 184 eqn 242 --> var 183 eqn 243 --> var 192 eqn 244 --> var 182 eqn 245 --> var 180 eqn 246 --> var 164 eqn 247 --> var 179 eqn 248 --> var 25 eqn 249 --> var -1 eqn 250 --> var 219 eqn 251 --> var 104 eqn 252 --> var 268 eqn 253 --> var 93 eqn 254 --> var 10 eqn 255 --> var 22 eqn 256 --> var 189 eqn 257 --> var 69 eqn 258 --> var 124 eqn 259 --> var -1 eqn 260 --> var 177 eqn 261 --> var 70 eqn 262 --> var 175 eqn 263 --> var 105 eqn 264 --> var 174 eqn 265 --> var 194 eqn 266 --> var 172 eqn 267 --> var 64 eqn 268 --> var 170 eqn 269 --> var 11 eqn 270 --> var 156 eqn 271 --> var 251 eqn 272 --> var 154 eqn 273 --> var 247 eqn 274 --> var 152 eqn 275 --> var 217 eqn 276 --> var 150 eqn 277 --> var 149