Project

General

Profile

Download (11.8 KB) Statistics
| Branch: | Tag: | Revision:
1 4748b215 hbourbou
-- This file has been generated by CoCoSim2.
2
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:03:16
5
(*
6
Original block name: integrator_ext_IC_vector_test_PP/Integrator
7
*)
8
node  Integrator_60_005(f_lpar_x_rpar__1 : real;
9
	f_lpar_x_rpar__2 : real;
10
	f_lpar_x_rpar__3 : real;
11
	x0_1 : real;
12
	__time_step : real;
13
	__nb_step : int;)
14
returns(F_lpar_x_rpar__1 : real;
15
	F_lpar_x_rpar__2 : real;
16
	F_lpar_x_rpar__3 : real;);
17
var Constant_1 : real;
18
	Product_1 : real;
19
	Sample_1 : real;
20
	Sample_2 : real;
21
	Sample_3 : real;
22
	Sum1_1 : real;
23
	Sum1_2 : real;
24
	Sum1_3 : real;
25
	Sum2_1 : real;
26
	Sum2_2 : real;
27
	Sum2_3 : real;
28
	Sum6_1 : real;
29
	Sum6_2 : real;
30
	Sum6_3 : real;
31
	UnitDelay_1 : real;
32
	UnitDelay_2 : real;
33
	UnitDelay_3 : real;
34
	UnitDelay1_1 : real;
35
let
36
	Constant_1 = 0.000000000000000;
37
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
38
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
39
	Sample_2 = (f_lpar_x_rpar__2 * 1.000000000000000);
40
	Sample_3 = (f_lpar_x_rpar__3 * 1.000000000000000);
41
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
42
	Sum1_2 = 0.0 + Sample_2 + Sum2_2;
43
	Sum1_3 = 0.0 + Sample_3 + Sum2_3;
44
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
45
	Sum2_2 = 0.0 + UnitDelay_2 + Product_1;
46
	Sum2_3 = 0.0 + UnitDelay_3 + Product_1;
47
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
48
	Sum6_2 = 0.0 + UnitDelay_2 + Product_1;
49
	Sum6_3 = 0.0 + UnitDelay_3 + Product_1;
50
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
51
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
52
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
53
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
54
	F_lpar_x_rpar__1 = Sum6_1;
55
	F_lpar_x_rpar__2 = Sum6_2;
56
	F_lpar_x_rpar__3 = Sum6_3;
57
tel
58
59
(*
60
Original block name: integrator_ext_IC_vector_test_PP/Integrator1
61
*)
62
node  Integrator1_61_005(f_lpar_x_rpar__1 : real;
63
	x0_1 : real;
64
	x0_2 : real;
65
	x0_3 : real;
66
	__time_step : real;
67
	__nb_step : int;)
68
returns(F_lpar_x_rpar__1 : real;
69
	F_lpar_x_rpar__2 : real;
70
	F_lpar_x_rpar__3 : real;);
71
var Constant_1 : real;
72
	Product_1 : real;
73
	Product_2 : real;
74
	Product_3 : real;
75
	Sample_1 : real;
76
	Sum1_1 : real;
77
	Sum1_2 : real;
78
	Sum1_3 : real;
79
	Sum2_1 : real;
80
	Sum2_2 : real;
81
	Sum2_3 : real;
82
	Sum6_1 : real;
83
	Sum6_2 : real;
84
	Sum6_3 : real;
85
	UnitDelay_1 : real;
86
	UnitDelay_2 : real;
87
	UnitDelay_3 : real;
88
	UnitDelay1_1 : real;
89
let
90
	Constant_1 = 0.000000000000000;
91
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
92
	Product_2 = 1.0 * x0_2 * UnitDelay1_1;
93
	Product_3 = 1.0 * x0_3 * UnitDelay1_1;
94
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
95
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
96
	Sum1_2 = 0.0 + Sample_1 + Sum2_2;
97
	Sum1_3 = 0.0 + Sample_1 + Sum2_3;
98
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
99
	Sum2_2 = 0.0 + UnitDelay_2 + Product_2;
100
	Sum2_3 = 0.0 + UnitDelay_3 + Product_3;
101
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
102
	Sum6_2 = 0.0 + UnitDelay_2 + Product_2;
103
	Sum6_3 = 0.0 + UnitDelay_3 + Product_3;
104
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
105
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
106
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
107
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
108
	F_lpar_x_rpar__1 = Sum6_1;
109
	F_lpar_x_rpar__2 = Sum6_2;
110
	F_lpar_x_rpar__3 = Sum6_3;
111
tel
112
113
(*
114
Original block name: integrator_ext_IC_vector_test_PP/Integrator2
115
*)
116
node  Integrator2_62_219(f_lpar_x_rpar__1 : real;
117
	f_lpar_x_rpar__2 : real;
118
	f_lpar_x_rpar__3 : real;
119
	x0_1 : real;
120
	x0_2 : real;
121
	x0_3 : real;
122
	__time_step : real;
123
	__nb_step : int;)
124
returns(F_lpar_x_rpar__1 : real;
125
	F_lpar_x_rpar__2 : real;
126
	F_lpar_x_rpar__3 : real;);
127
var Constant_1 : real;
128
	Product_1 : real;
129
	Product_2 : real;
130
	Product_3 : real;
131
	Sample_1 : real;
132
	Sample_2 : real;
133
	Sample_3 : real;
134
	Sum1_1 : real;
135
	Sum1_2 : real;
136
	Sum1_3 : real;
137
	Sum2_1 : real;
138
	Sum2_2 : real;
139
	Sum2_3 : real;
140
	Sum6_1 : real;
141
	Sum6_2 : real;
142
	Sum6_3 : real;
143
	UnitDelay_1 : real;
144
	UnitDelay_2 : real;
145
	UnitDelay_3 : real;
146
	UnitDelay1_1 : real;
147
let
148
	Constant_1 = 0.000000000000000;
149
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
150
	Product_2 = 1.0 * x0_2 * UnitDelay1_1;
151
	Product_3 = 1.0 * x0_3 * UnitDelay1_1;
152
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
153
	Sample_2 = (f_lpar_x_rpar__2 * 1.000000000000000);
154
	Sample_3 = (f_lpar_x_rpar__3 * 1.000000000000000);
155
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
156
	Sum1_2 = 0.0 + Sample_2 + Sum2_2;
157
	Sum1_3 = 0.0 + Sample_3 + Sum2_3;
158
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
159
	Sum2_2 = 0.0 + UnitDelay_2 + Product_2;
160
	Sum2_3 = 0.0 + UnitDelay_3 + Product_3;
161
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
162
	Sum6_2 = 0.0 + UnitDelay_2 + Product_2;
163
	Sum6_3 = 0.0 + UnitDelay_3 + Product_3;
164
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
165
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
166
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
167
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
168
	F_lpar_x_rpar__1 = Sum6_1;
169
	F_lpar_x_rpar__2 = Sum6_2;
170
	F_lpar_x_rpar__3 = Sum6_3;
171
tel
172
173
(*
174
Original block name: integrator_ext_IC_vector_test_PP/Integrator3
175
*)
176
node  Integrator3_63_009(f_lpar_x_rpar__1 : real;
177
	f_lpar_x_rpar__2 : real;
178
	f_lpar_x_rpar__3 : real;
179
	x0_1 : real;
180
	__time_step : real;
181
	__nb_step : int;)
182
returns(F_lpar_x_rpar__1 : real;
183
	F_lpar_x_rpar__2 : real;
184
	F_lpar_x_rpar__3 : real;);
185
var Constant_1 : real;
186
	Product_1 : real;
187
	Sample_1 : real;
188
	Sample_2 : real;
189
	Sample_3 : real;
190
	Sum1_1 : real;
191
	Sum1_2 : real;
192
	Sum1_3 : real;
193
	Sum2_1 : real;
194
	Sum2_2 : real;
195
	Sum2_3 : real;
196
	Sum6_1 : real;
197
	Sum6_2 : real;
198
	Sum6_3 : real;
199
	UnitDelay_1 : real;
200
	UnitDelay_2 : real;
201
	UnitDelay_3 : real;
202
	UnitDelay1_1 : real;
203
let
204
	Constant_1 = 0.000000000000000;
205
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
206
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
207
	Sample_2 = (f_lpar_x_rpar__2 * 1.000000000000000);
208
	Sample_3 = (f_lpar_x_rpar__3 * 1.000000000000000);
209
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
210
	Sum1_2 = 0.0 + Sample_2 + Sum2_2;
211
	Sum1_3 = 0.0 + Sample_3 + Sum2_3;
212
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
213
	Sum2_2 = 0.0 + UnitDelay_2 + Product_1;
214
	Sum2_3 = 0.0 + UnitDelay_3 + Product_1;
215
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
216
	Sum6_2 = 0.0 + UnitDelay_2 + Product_1;
217
	Sum6_3 = 0.0 + UnitDelay_3 + Product_1;
218
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
219
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
220
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
221
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
222
	F_lpar_x_rpar__1 = Sum6_1;
223
	F_lpar_x_rpar__2 = Sum6_2;
224
	F_lpar_x_rpar__3 = Sum6_3;
225
tel
226
227
(*
228
Original block name: integrator_ext_IC_vector_test_PP/Integrator4
229
*)
230
node  Integrator4_64_005(f_lpar_x_rpar__1 : real;
231
	x0_1 : real;
232
	x0_2 : real;
233
	x0_3 : real;
234
	__time_step : real;
235
	__nb_step : int;)
236
returns(F_lpar_x_rpar__1 : real;
237
	F_lpar_x_rpar__2 : real;
238
	F_lpar_x_rpar__3 : real;);
239
var Constant_1 : real;
240
	Product_1 : real;
241
	Product_2 : real;
242
	Product_3 : real;
243
	Sample_1 : real;
244
	Sum1_1 : real;
245
	Sum1_2 : real;
246
	Sum1_3 : real;
247
	Sum2_1 : real;
248
	Sum2_2 : real;
249
	Sum2_3 : real;
250
	Sum6_1 : real;
251
	Sum6_2 : real;
252
	Sum6_3 : real;
253
	UnitDelay_1 : real;
254
	UnitDelay_2 : real;
255
	UnitDelay_3 : real;
256
	UnitDelay1_1 : real;
257
let
258
	Constant_1 = 0.000000000000000;
259
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
260
	Product_2 = 1.0 * x0_2 * UnitDelay1_1;
261
	Product_3 = 1.0 * x0_3 * UnitDelay1_1;
262
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
263
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
264
	Sum1_2 = 0.0 + Sample_1 + Sum2_2;
265
	Sum1_3 = 0.0 + Sample_1 + Sum2_3;
266
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
267
	Sum2_2 = 0.0 + UnitDelay_2 + Product_2;
268
	Sum2_3 = 0.0 + UnitDelay_3 + Product_3;
269
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
270
	Sum6_2 = 0.0 + UnitDelay_2 + Product_2;
271
	Sum6_3 = 0.0 + UnitDelay_3 + Product_3;
272
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
273
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
274
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
275
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
276
	F_lpar_x_rpar__1 = Sum6_1;
277
	F_lpar_x_rpar__2 = Sum6_2;
278
	F_lpar_x_rpar__3 = Sum6_3;
279
tel
280
281
(*
282
Original block name: integrator_ext_IC_vector_test_PP/Integrator5
283
*)
284
node  Integrator5_65_004(f_lpar_x_rpar__1 : real;
285
	f_lpar_x_rpar__2 : real;
286
	f_lpar_x_rpar__3 : real;
287
	x0_1 : real;
288
	x0_2 : real;
289
	x0_3 : real;
290
	__time_step : real;
291
	__nb_step : int;)
292
returns(F_lpar_x_rpar__1 : real;
293
	F_lpar_x_rpar__2 : real;
294
	F_lpar_x_rpar__3 : real;);
295
var Constant_1 : real;
296
	Product_1 : real;
297
	Product_2 : real;
298
	Product_3 : real;
299
	Sample_1 : real;
300
	Sample_2 : real;
301
	Sample_3 : real;
302
	Sum1_1 : real;
303
	Sum1_2 : real;
304
	Sum1_3 : real;
305
	Sum2_1 : real;
306
	Sum2_2 : real;
307
	Sum2_3 : real;
308
	Sum6_1 : real;
309
	Sum6_2 : real;
310
	Sum6_3 : real;
311
	UnitDelay_1 : real;
312
	UnitDelay_2 : real;
313
	UnitDelay_3 : real;
314
	UnitDelay1_1 : real;
315
let
316
	Constant_1 = 0.000000000000000;
317
	Product_1 = 1.0 * x0_1 * UnitDelay1_1;
318
	Product_2 = 1.0 * x0_2 * UnitDelay1_1;
319
	Product_3 = 1.0 * x0_3 * UnitDelay1_1;
320
	Sample_1 = (f_lpar_x_rpar__1 * 1.000000000000000);
321
	Sample_2 = (f_lpar_x_rpar__2 * 1.000000000000000);
322
	Sample_3 = (f_lpar_x_rpar__3 * 1.000000000000000);
323
	Sum1_1 = 0.0 + Sample_1 + Sum2_1;
324
	Sum1_2 = 0.0 + Sample_2 + Sum2_2;
325
	Sum1_3 = 0.0 + Sample_3 + Sum2_3;
326
	Sum2_1 = 0.0 + UnitDelay_1 + Product_1;
327
	Sum2_2 = 0.0 + UnitDelay_2 + Product_2;
328
	Sum2_3 = 0.0 + UnitDelay_3 + Product_3;
329
	Sum6_1 = 0.0 + UnitDelay_1 + Product_1;
330
	Sum6_2 = 0.0 + UnitDelay_2 + Product_2;
331
	Sum6_3 = 0.0 + UnitDelay_3 + Product_3;
332
	UnitDelay_1 = (0.000000000000000 -> (pre Sum1_1));
333
	UnitDelay_2 = (0.000000000000000 -> (pre Sum1_2));
334
	UnitDelay_3 = (0.000000000000000 -> (pre Sum1_3));
335
	UnitDelay1_1 = (1.000000000000000 -> (pre Constant_1));
336
	F_lpar_x_rpar__1 = Sum6_1;
337
	F_lpar_x_rpar__2 = Sum6_2;
338
	F_lpar_x_rpar__3 = Sum6_3;
339
tel
340
341
(*
342
Original block name: integrator_ext_IC_vector_test_PP
343
*)
344
node  integrator_ext_IC_vector_test_PP(In4_1 : real;
345
	In4_2 : real;
346
	In4_3 : real;
347
	In7_1 : real;
348
	In1_1 : real;
349
	In2_1 : real;
350
	In2_2 : real;
351
	In2_3 : real;
352
	In3_1 : real;
353
	In3_2 : real;
354
	In3_3 : real;
355
	In5_1 : real;
356
	In5_2 : real;
357
	In5_3 : real;
358
	In6_1 : real;
359
	In6_2 : real;
360
	In6_3 : real;
361
	In8_1 : real;
362
	In9_1 : real;
363
	In10_1 : real;
364
	In10_2 : real;
365
	In10_3 : real;
366
	In11_1 : real;
367
	In11_2 : real;
368
	In11_3 : real;
369
	In12_1 : real;
370
	In12_2 : real;
371
	In12_3 : real;)
372
returns(Out4_1 : real;
373
	Out4_2 : real;
374
	Out4_3 : real;
375
	Out1_1 : real;
376
	Out1_2 : real;
377
	Out1_3 : real;
378
	Out2_1 : real;
379
	Out2_2 : real;
380
	Out2_3 : real;
381
	Out3_1 : real;
382
	Out3_2 : real;
383
	Out3_3 : real;
384
	Out5_1 : real;
385
	Out5_2 : real;
386
	Out5_3 : real;
387
	Out6_1 : real;
388
	Out6_2 : real;
389
	Out6_3 : real;);
390
var Integrator_1 : real;
391
	Integrator_2 : real;
392
	Integrator_3 : real;
393
	Integrator1_1 : real;
394
	Integrator1_2 : real;
395
	Integrator1_3 : real;
396
	Integrator2_1 : real;
397
	Integrator2_2 : real;
398
	Integrator2_3 : real;
399
	Integrator3_1 : real;
400
	Integrator3_2 : real;
401
	Integrator3_3 : real;
402
	Integrator4_1 : real;
403
	Integrator4_2 : real;
404
	Integrator4_3 : real;
405
	Integrator5_1 : real;
406
	Integrator5_2 : real;
407
	Integrator5_3 : real;
408
	__time_step : real;
409
	__nb_step : int;
410
let
411
	(Integrator_1, Integrator_2, Integrator_3) = Integrator_60_005(In4_1, In4_2, In4_3, In7_1, __time_step, __nb_step);
412
	(Integrator1_1, Integrator1_2, Integrator1_3) = Integrator1_61_005(In1_1, In2_1, In2_2, In2_3, __time_step, __nb_step);
413
	(Integrator2_1, Integrator2_2, Integrator2_3) = Integrator2_62_219(In3_1, In3_2, In3_3, In5_1, In5_2, In5_3, __time_step, __nb_step);
414
	(Integrator3_1, Integrator3_2, Integrator3_3) = Integrator3_63_009(In6_1, In6_2, In6_3, In8_1, __time_step, __nb_step);
415
	(Integrator4_1, Integrator4_2, Integrator4_3) = Integrator4_64_005(In9_1, In10_1, In10_2, In10_3, __time_step, __nb_step);
416
	(Integrator5_1, Integrator5_2, Integrator5_3) = Integrator5_65_004(In11_1, In11_2, In11_3, In12_1, In12_2, In12_3, __time_step, __nb_step);
417
	Out4_1 = Integrator_1;
418
	Out4_2 = Integrator_2;
419
	Out4_3 = Integrator_3;
420
	Out1_1 = Integrator1_1;
421
	Out1_2 = Integrator1_2;
422
	Out1_3 = Integrator1_3;
423
	Out2_1 = Integrator2_1;
424
	Out2_2 = Integrator2_2;
425
	Out2_3 = Integrator2_3;
426
	Out3_1 = Integrator3_1;
427
	Out3_2 = Integrator3_2;
428
	Out3_3 = Integrator3_3;
429
	Out5_1 = Integrator4_1;
430
	Out5_2 = Integrator4_2;
431
	Out5_3 = Integrator4_3;
432
	Out6_1 = Integrator5_1;
433
	Out6_2 = Integrator5_2;
434
	Out6_3 = Integrator5_3;
435
	__time_step = (0.0 -> ((pre __time_step) + 1.000000000000000));
436
	__nb_step = (0 -> ((pre __nb_step) + 1));
437
tel