Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_integrator_ext_reset_matrix_test / integrator_ext_reset_matrix_test.lus @ 6c3ea955

History | View | Annotate | Download (14.4 KB)

1
-- This file has been generated by cocoSim
2

    
3

    
4
-- System nodes
5
node integrator_ext_reset_matrix_test (In4_1_1 : real; In4_1_2 : real; In4_1_3 : real; In4_1_4 : real; In7_1_1 : real; In1_1_1 : real; In2_1_1 : real; In2_1_2 : real; In2_1_3 : real; In2_1_4 : real; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In5_1_1 : real; In5_1_2 : real; In5_1_3 : real; In5_1_4 : real; In6_1_1 : real; In6_1_2 : real; In6_1_3 : real; In6_1_4 : real; In8_1_1 : real; In9_1_1 : real; In10_1_1 : real; In10_1_2 : real; In10_1_3 : real; In10_1_4 : real; In11_1_1 : real; In11_1_2 : real; In11_1_3 : real; In11_1_4 : real; In12_1_1 : real; In12_1_2 : real; In12_1_3 : real; In12_1_4 : real; In13_1_1 : real; In13_1_2 : real; In13_1_3 : real; In13_1_4 : real; In14_1_1 : real; In15_1_1 : real; In16_1_1 : real; In16_1_2 : real; In16_1_3 : real; In16_1_4 : real; In17_1_1 : real; In17_1_2 : real; In17_1_3 : real; In17_1_4 : real; In18_1_1 : real; In18_1_2 : real; In18_1_3 : real; In18_1_4 : real; In19_1_1 : real; In20_1_1 : real)
6
returns (Out4_1_1 : real; Out4_1_2 : real; Out4_1_3 : real; Out4_1_4 : real;
7
	Out1_2_1 : real; Out1_2_2 : real; Out1_2_3 : real; Out1_2_4 : real;
8
	Out2_3_1 : real; Out2_3_2 : real; Out2_3_3 : real; Out2_3_4 : real;
9
	Out3_4_1 : real; Out3_4_2 : real; Out3_4_3 : real; Out3_4_4 : real;
10
	Out5_5_1 : real; Out5_5_2 : real; Out5_5_3 : real; Out5_5_4 : real;
11
	Out6_6_1 : real; Out6_6_2 : real; Out6_6_3 : real; Out6_6_4 : real;
12
	Out7_7_1 : real; Out7_7_2 : real; Out7_7_3 : real; Out7_7_4 : real;
13
	Out8_8_1 : real; Out8_8_2 : real; Out8_8_3 : real; Out8_8_4 : real;
14
	Out9_9_1 : real; Out9_9_2 : real; Out9_9_3 : real; Out9_9_4 : real;
15
	Out10_10_1 : real; Out10_10_2 : real; Out10_10_3 : real; Out10_10_4 : real); 
16
var
17
	Integrator_1_1 : real; Integrator_1_2 : real; Integrator_1_3 : real; Integrator_1_4 : real;
18
	Integrator1_1_1 : real; Integrator1_1_2 : real; Integrator1_1_3 : real; Integrator1_1_4 : real;
19
	Integrator2_1_1 : real; Integrator2_1_2 : real; Integrator2_1_3 : real; Integrator2_1_4 : real;
20
	Integrator3_1_1 : real; Integrator3_1_2 : real; Integrator3_1_3 : real; Integrator3_1_4 : real;
21
	Integrator4_1_1 : real; Integrator4_1_2 : real; Integrator4_1_3 : real; Integrator4_1_4 : real;
22
	Integrator5_1_1 : real; Integrator5_1_2 : real; Integrator5_1_3 : real; Integrator5_1_4 : real;
23
	Integrator6_1_1 : real; Integrator6_1_2 : real; Integrator6_1_3 : real; Integrator6_1_4 : real;
24
	Integrator7_1_1 : real; Integrator7_1_2 : real; Integrator7_1_3 : real; Integrator7_1_4 : real;
25
	Integrator8_1_1 : real; Integrator8_1_2 : real; Integrator8_1_3 : real; Integrator8_1_4 : real;
26
	Integrator9_1_1 : real; Integrator9_1_2 : real; Integrator9_1_3 : real; Integrator9_1_4 : real;
27
	i_virtual_local : real;
28
	Integrator_Reset_Trigger1_1: bool;
29
	Integrator_Reset_Trigger1_2: bool;
30
	Integrator_Reset_Trigger2_1: bool;
31
	Integrator_Reset_Trigger2_2: bool;
32
	Integrator1_Reset_Trigger1_1: bool;
33
	Integrator1_Reset_Trigger1_2: bool;
34
	Integrator1_Reset_Trigger2_1: bool;
35
	Integrator1_Reset_Trigger2_2: bool;
36
	Integrator2_Reset_Trigger1_1: bool;
37
	Integrator2_Reset_Trigger1_2: bool;
38
	Integrator2_Reset_Trigger2_1: bool;
39
	Integrator2_Reset_Trigger2_2: bool;
40
	Integrator3_Reset_Trigger1_1: bool;
41
	Integrator3_Reset_Trigger1_2: bool;
42
	Integrator3_Reset_Trigger2_1: bool;
43
	Integrator3_Reset_Trigger2_2: bool;
44
	Integrator4_Reset_Trigger1_1: bool;
45
	Integrator4_Reset_Trigger1_2: bool;
46
	Integrator4_Reset_Trigger2_1: bool;
47
	Integrator4_Reset_Trigger2_2: bool;
48
	Integrator5_Reset_Trigger1_1: bool;
49
	Integrator5_Reset_Trigger1_2: bool;
50
	Integrator5_Reset_Trigger2_1: bool;
51
	Integrator5_Reset_Trigger2_2: bool;
52
	Integrator6_Reset_Trigger1_1: bool;
53
	Integrator6_Reset_Trigger1_2: bool;
54
	Integrator6_Reset_Trigger2_1: bool;
55
	Integrator6_Reset_Trigger2_2: bool;
56
	Integrator7_Reset_Trigger1_1: bool;
57
	Integrator7_Reset_Trigger1_2: bool;
58
	Integrator7_Reset_Trigger2_1: bool;
59
	Integrator7_Reset_Trigger2_2: bool;
60
	Integrator8_Reset_Trigger1_1: bool;
61
	Integrator8_Reset_Trigger1_2: bool;
62
	Integrator8_Reset_Trigger2_1: bool;
63
	Integrator8_Reset_Trigger2_2: bool;
64
	Integrator9_Reset_Trigger1_1: bool;
65
	Integrator9_Reset_Trigger1_2: bool;
66
	Integrator9_Reset_Trigger2_1: bool;
67
	Integrator9_Reset_Trigger2_2: bool;
68
let 
69
	Integrator_Reset_Trigger1_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
70
	Integrator_1_1 = 0.00000000 -> if Integrator_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_1) + pre Integrator_1_1;
71
	Integrator_Reset_Trigger1_2 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
72
	Integrator_1_2 = 0.00000000 -> if Integrator_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_2) + pre Integrator_1_2;
73
	Integrator_Reset_Trigger2_1 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
74
	Integrator_1_3 = 0.00000000 -> if Integrator_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_3) + pre Integrator_1_3;
75
	Integrator_Reset_Trigger2_2 = false -> (pre(In7_1_1) <= 0.0 and In7_1_1 > 0.0);
76
	Integrator_1_4 = 0.00000000 -> if Integrator_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In4_1_4) + pre Integrator_1_4;
77
	Integrator1_Reset_Trigger1_1 = false -> (pre(In2_1_1) <= 0.0 and In2_1_1 > 0.0);
78
	Integrator1_1_1 = 0.00000000 -> if Integrator1_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_1;
79
	Integrator1_Reset_Trigger1_2 = false -> (pre(In2_1_2) <= 0.0 and In2_1_2 > 0.0);
80
	Integrator1_1_2 = 0.00000000 -> if Integrator1_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_2;
81
	Integrator1_Reset_Trigger2_1 = false -> (pre(In2_1_3) <= 0.0 and In2_1_3 > 0.0);
82
	Integrator1_1_3 = 0.00000000 -> if Integrator1_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_3;
83
	Integrator1_Reset_Trigger2_2 = false -> (pre(In2_1_4) <= 0.0 and In2_1_4 > 0.0);
84
	Integrator1_1_4 = 0.00000000 -> if Integrator1_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In1_1_1) + pre Integrator1_1_4;
85
	Integrator2_Reset_Trigger1_1 = false -> (pre(In5_1_1) <= 0.0 and In5_1_1 > 0.0);
86
	Integrator2_1_1 = 0.00000000 -> if Integrator2_Reset_Trigger1_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_1) + pre Integrator2_1_1;
87
	Integrator2_Reset_Trigger1_2 = false -> (pre(In5_1_2) <= 0.0 and In5_1_2 > 0.0);
88
	Integrator2_1_2 = 0.00000000 -> if Integrator2_Reset_Trigger1_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_2) + pre Integrator2_1_2;
89
	Integrator2_Reset_Trigger2_1 = false -> (pre(In5_1_3) <= 0.0 and In5_1_3 > 0.0);
90
	Integrator2_1_3 = 0.00000000 -> if Integrator2_Reset_Trigger2_1 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_3) + pre Integrator2_1_3;
91
	Integrator2_Reset_Trigger2_2 = false -> (pre(In5_1_4) <= 0.0 and In5_1_4 > 0.0);
92
	Integrator2_1_4 = 0.00000000 -> if Integrator2_Reset_Trigger2_2 then 0.00000000 else (1.00000000 * 1.00000000)*(pre In3_1_4) + pre Integrator2_1_4;
93
	Integrator3_Reset_Trigger1_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
94
	Integrator3_1_1 = 25.00000000 -> if Integrator3_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_1) + pre Integrator3_1_1;
95
	Integrator3_Reset_Trigger1_2 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
96
	Integrator3_1_2 = 54.00000000 -> if Integrator3_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_2) + pre Integrator3_1_2;
97
	Integrator3_Reset_Trigger2_1 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
98
	Integrator3_1_3 = 0.70000000 -> if Integrator3_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In6_1_3) + pre Integrator3_1_3;
99
	Integrator3_Reset_Trigger2_2 = false -> (pre(In8_1_1) <= 0.0 and In8_1_1 > 0.0);
100
	Integrator3_1_4 = 58.00000000 -> if Integrator3_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In6_1_4) + pre Integrator3_1_4;
101
	Integrator4_Reset_Trigger1_1 = false -> (pre(In10_1_1) <= 0.0 and In10_1_1 > 0.0);
102
	Integrator4_1_1 = 25.00000000 -> if Integrator4_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_1;
103
	Integrator4_Reset_Trigger1_2 = false -> (pre(In10_1_2) <= 0.0 and In10_1_2 > 0.0);
104
	Integrator4_1_2 = 54.00000000 -> if Integrator4_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_2;
105
	Integrator4_Reset_Trigger2_1 = false -> (pre(In10_1_3) <= 0.0 and In10_1_3 > 0.0);
106
	Integrator4_1_3 = 0.70000000 -> if Integrator4_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_3;
107
	Integrator4_Reset_Trigger2_2 = false -> (pre(In10_1_4) <= 0.0 and In10_1_4 > 0.0);
108
	Integrator4_1_4 = 58.00000000 -> if Integrator4_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In9_1_1) + pre Integrator4_1_4;
109
	Integrator5_Reset_Trigger1_1 = false -> (pre(In12_1_1) <= 0.0 and In12_1_1 > 0.0);
110
	Integrator5_1_1 = 25.00000000 -> if Integrator5_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_1) + pre Integrator5_1_1;
111
	Integrator5_Reset_Trigger1_2 = false -> (pre(In12_1_2) <= 0.0 and In12_1_2 > 0.0);
112
	Integrator5_1_2 = 54.00000000 -> if Integrator5_Reset_Trigger1_2 then 54.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_2) + pre Integrator5_1_2;
113
	Integrator5_Reset_Trigger2_1 = false -> (pre(In12_1_3) <= 0.0 and In12_1_3 > 0.0);
114
	Integrator5_1_3 = 0.70000000 -> if Integrator5_Reset_Trigger2_1 then 0.70000000 else (1.00000000 * 1.00000000)*(pre In11_1_3) + pre Integrator5_1_3;
115
	Integrator5_Reset_Trigger2_2 = false -> (pre(In12_1_4) <= 0.0 and In12_1_4 > 0.0);
116
	Integrator5_1_4 = 58.00000000 -> if Integrator5_Reset_Trigger2_2 then 58.00000000 else (1.00000000 * 1.00000000)*(pre In11_1_4) + pre Integrator5_1_4;
117
	Integrator6_Reset_Trigger1_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
118
	Integrator6_1_1 = 25.00000000 -> if Integrator6_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In13_1_1) + pre Integrator6_1_1;
119
	Integrator6_Reset_Trigger1_2 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
120
	Integrator6_1_2 = 54.00000000 -> if Integrator6_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In13_1_2) + pre Integrator6_1_2;
121
	Integrator6_Reset_Trigger2_1 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
122
	Integrator6_1_3 = 0.70000000 -> if Integrator6_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In13_1_3) + pre Integrator6_1_3;
123
	Integrator6_Reset_Trigger2_2 = false -> (pre(In14_1_1) <= 0.0 and In14_1_1 > 0.0);
124
	Integrator6_1_4 = 58.00000000 -> if Integrator6_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In13_1_4) + pre Integrator6_1_4;
125
	Integrator7_Reset_Trigger1_1 = false -> (pre(In16_1_1) <= 0.0 and In16_1_1 > 0.0);
126
	Integrator7_1_1 = 25.00000000 -> if Integrator7_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_1;
127
	Integrator7_Reset_Trigger1_2 = false -> (pre(In16_1_2) <= 0.0 and In16_1_2 > 0.0);
128
	Integrator7_1_2 = 54.00000000 -> if Integrator7_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_2;
129
	Integrator7_Reset_Trigger2_1 = false -> (pre(In16_1_3) <= 0.0 and In16_1_3 > 0.0);
130
	Integrator7_1_3 = 0.70000000 -> if Integrator7_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_3;
131
	Integrator7_Reset_Trigger2_2 = false -> (pre(In16_1_4) <= 0.0 and In16_1_4 > 0.0);
132
	Integrator7_1_4 = 58.00000000 -> if Integrator7_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In15_1_1) + pre Integrator7_1_4;
133
	Integrator8_Reset_Trigger1_1 = false -> (pre(In18_1_1) <= 0.0 and In18_1_1 > 0.0);
134
	Integrator8_1_1 = 25.00000000 -> if Integrator8_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In17_1_1) + pre Integrator8_1_1;
135
	Integrator8_Reset_Trigger1_2 = false -> (pre(In18_1_2) <= 0.0 and In18_1_2 > 0.0);
136
	Integrator8_1_2 = 54.00000000 -> if Integrator8_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In17_1_2) + pre Integrator8_1_2;
137
	Integrator8_Reset_Trigger2_1 = false -> (pre(In18_1_3) <= 0.0 and In18_1_3 > 0.0);
138
	Integrator8_1_3 = 0.70000000 -> if Integrator8_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In17_1_3) + pre Integrator8_1_3;
139
	Integrator8_Reset_Trigger2_2 = false -> (pre(In18_1_4) <= 0.0 and In18_1_4 > 0.0);
140
	Integrator8_1_4 = 58.00000000 -> if Integrator8_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In17_1_4) + pre Integrator8_1_4;
141
	Integrator9_Reset_Trigger1_1 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);
142
	Integrator9_1_1 = 25.00000000 -> if Integrator9_Reset_Trigger1_1 then 25.00000000 else (1.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_1;
143
	Integrator9_Reset_Trigger1_2 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);
144
	Integrator9_1_2 = 54.00000000 -> if Integrator9_Reset_Trigger1_2 then 54.00000000 else (2.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_2;
145
	Integrator9_Reset_Trigger2_1 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);
146
	Integrator9_1_3 = 0.70000000 -> if Integrator9_Reset_Trigger2_1 then 0.70000000 else (3.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_3;
147
	Integrator9_Reset_Trigger2_2 = false -> (pre(In20_1_1) <= 0.0 and In20_1_1 > 0.0);
148
	Integrator9_1_4 = 58.00000000 -> if Integrator9_Reset_Trigger2_2 then 58.00000000 else (4.00000000 * 1.00000000)*(pre In19_1_1) + pre Integrator9_1_4;
149
	Out4_1_1 = Integrator_1_1;
150
	Out4_1_2 = Integrator_1_2;
151
	Out4_1_3 = Integrator_1_3;
152
	Out4_1_4 = Integrator_1_4;
153
	Out1_2_1 = Integrator1_1_1;
154
	Out1_2_2 = Integrator1_1_2;
155
	Out1_2_3 = Integrator1_1_3;
156
	Out1_2_4 = Integrator1_1_4;
157
	Out2_3_1 = Integrator2_1_1;
158
	Out2_3_2 = Integrator2_1_2;
159
	Out2_3_3 = Integrator2_1_3;
160
	Out2_3_4 = Integrator2_1_4;
161
	Out3_4_1 = Integrator3_1_1;
162
	Out3_4_2 = Integrator3_1_2;
163
	Out3_4_3 = Integrator3_1_3;
164
	Out3_4_4 = Integrator3_1_4;
165
	Out5_5_1 = Integrator4_1_1;
166
	Out5_5_2 = Integrator4_1_2;
167
	Out5_5_3 = Integrator4_1_3;
168
	Out5_5_4 = Integrator4_1_4;
169
	Out6_6_1 = Integrator5_1_1;
170
	Out6_6_2 = Integrator5_1_2;
171
	Out6_6_3 = Integrator5_1_3;
172
	Out6_6_4 = Integrator5_1_4;
173
	Out7_7_1 = Integrator6_1_1;
174
	Out7_7_2 = Integrator6_1_2;
175
	Out7_7_3 = Integrator6_1_3;
176
	Out7_7_4 = Integrator6_1_4;
177
	Out8_8_1 = Integrator7_1_1;
178
	Out8_8_2 = Integrator7_1_2;
179
	Out8_8_3 = Integrator7_1_3;
180
	Out8_8_4 = Integrator7_1_4;
181
	Out9_9_1 = Integrator8_1_1;
182
	Out9_9_2 = Integrator8_1_2;
183
	Out9_9_3 = Integrator8_1_3;
184
	Out9_9_4 = Integrator8_1_4;
185
	Out10_10_1 = Integrator9_1_1;
186
	Out10_10_2 = Integrator9_1_2;
187
	Out10_10_3 = Integrator9_1_3;
188
	Out10_10_4 = Integrator9_1_4;
189
	i_virtual_local= 0.0 -> 1.0;
190
tel
191