Project

General

Profile

Download (9.96 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:28:24
5
(*
6
Original block name: Deadzone_PP/DeadZone
7
*)
8
node  DeadZone_30_491(In_1 : real;
9
	In_2 : real;
10
	In_3 : real;
11
	In_4 : real;
12
	In_5 : real;
13
	In_6 : real;
14
	__time_step : real;
15
	__nb_step : int;)
16
returns(Out_1 : real;
17
	Out_2 : real;
18
	Out_3 : real;
19
	Out_4 : real;
20
	Out_5 : real;
21
	Out_6 : real;);
22
var Add_1 : real;
23
	Add_2 : real;
24
	Add_3 : real;
25
	Add_4 : real;
26
	Add_5 : real;
27
	Add_6 : real;
28
	Add1_1 : real;
29
	Add1_2 : real;
30
	Add1_3 : real;
31
	Add1_4 : real;
32
	Add1_5 : real;
33
	Add1_6 : real;
34
	Add2_1 : real;
35
	Add2_2 : real;
36
	Add2_3 : real;
37
	Add2_4 : real;
38
	Add2_5 : real;
39
	Add2_6 : real;
40
	Constant_1 : real;
41
	Constant1_1 : real;
42
	Constant2_1 : real;
43
	Constant3_1 : real;
44
	Switch_1 : real;
45
	Switch_2 : real;
46
	Switch_3 : real;
47
	Switch_4 : real;
48
	Switch_5 : real;
49
	Switch_6 : real;
50
	Switch1_1 : real;
51
	Switch1_2 : real;
52
	Switch1_3 : real;
53
	Switch1_4 : real;
54
	Switch1_5 : real;
55
	Switch1_6 : real;
56
	branch_sharp_0_1 : real;
57
	branch_sharp_0_2 : real;
58
	branch_sharp_0_3 : real;
59
	branch_sharp_0_4 : real;
60
	branch_sharp_0_5 : real;
61
	branch_sharp_0_6 : real;
62
	branch_sharp_1_1 : real;
63
	branch_sharp_1_2 : real;
64
	branch_sharp_1_3 : real;
65
	branch_sharp_1_4 : real;
66
	branch_sharp_1_5 : real;
67
	branch_sharp_1_6 : real;
68
	gte_1 : bool;
69
	gte_2 : bool;
70
	gte_3 : bool;
71
	gte_4 : bool;
72
	gte_5 : bool;
73
	gte_6 : bool;
74
	lower_value_1 : real;
75
	lte_1 : bool;
76
	lte_2 : bool;
77
	lte_3 : bool;
78
	lte_4 : bool;
79
	lte_5 : bool;
80
	lte_6 : bool;
81
	upper_value_1 : real;
82
let
83
	Add_1 = 0.0 + branch_sharp_0_1 + branch_sharp_1_1;
84
	Add_2 = 0.0 + branch_sharp_0_2 + branch_sharp_1_2;
85
	Add_3 = 0.0 + branch_sharp_0_3 + branch_sharp_1_3;
86
	Add_4 = 0.0 + branch_sharp_0_4 + branch_sharp_1_4;
87
	Add_5 = 0.0 + branch_sharp_0_5 + branch_sharp_1_5;
88
	Add_6 = 0.0 + branch_sharp_0_6 + branch_sharp_1_6;
89
	Add1_1 = 0.0 + In_1 - lower_value_1;
90
	Add1_2 = 0.0 + In_2 - lower_value_1;
91
	Add1_3 = 0.0 + In_3 - lower_value_1;
92
	Add1_4 = 0.0 + In_4 - lower_value_1;
93
	Add1_5 = 0.0 + In_5 - lower_value_1;
94
	Add1_6 = 0.0 + In_6 - lower_value_1;
95
	Add2_1 = 0.0 - upper_value_1 + In_1;
96
	Add2_2 = 0.0 - upper_value_1 + In_2;
97
	Add2_3 = 0.0 - upper_value_1 + In_3;
98
	Add2_4 = 0.0 - upper_value_1 + In_4;
99
	Add2_5 = 0.0 - upper_value_1 + In_5;
100
	Add2_6 = 0.0 - upper_value_1 + In_6;
101
	Constant_1 = 1.000000000000000;
102
	Constant1_1 = 0.000000000000000;
103
	Constant2_1 = 1.000000000000000;
104
	Constant3_1 = 0.000000000000000;
105
	Switch_1 = if gte_1 then
106
		Constant_1
107
	    else Constant1_1;
108
	Switch_2 = if gte_2 then
109
		Constant_1
110
	    else Constant1_1;
111
	Switch_3 = if gte_3 then
112
		Constant_1
113
	    else Constant1_1;
114
	Switch_4 = if gte_4 then
115
		Constant_1
116
	    else Constant1_1;
117
	Switch_5 = if gte_5 then
118
		Constant_1
119
	    else Constant1_1;
120
	Switch_6 = if gte_6 then
121
		Constant_1
122
	    else Constant1_1;
123
	Switch1_1 = if lte_1 then
124
		Constant2_1
125
	    else Constant3_1;
126
	Switch1_2 = if lte_2 then
127
		Constant2_1
128
	    else Constant3_1;
129
	Switch1_3 = if lte_3 then
130
		Constant2_1
131
	    else Constant3_1;
132
	Switch1_4 = if lte_4 then
133
		Constant2_1
134
	    else Constant3_1;
135
	Switch1_5 = if lte_5 then
136
		Constant2_1
137
	    else Constant3_1;
138
	Switch1_6 = if lte_6 then
139
		Constant2_1
140
	    else Constant3_1;
141
	branch_sharp_0_1 = 1.0 * Add2_1 * Switch1_1;
142
	branch_sharp_0_2 = 1.0 * Add2_2 * Switch1_2;
143
	branch_sharp_0_3 = 1.0 * Add2_3 * Switch1_3;
144
	branch_sharp_0_4 = 1.0 * Add2_4 * Switch1_4;
145
	branch_sharp_0_5 = 1.0 * Add2_5 * Switch1_5;
146
	branch_sharp_0_6 = 1.0 * Add2_6 * Switch1_6;
147
	branch_sharp_1_1 = 1.0 * Add1_1 * Switch_1;
148
	branch_sharp_1_2 = 1.0 * Add1_2 * Switch_2;
149
	branch_sharp_1_3 = 1.0 * Add1_3 * Switch_3;
150
	branch_sharp_1_4 = 1.0 * Add1_4 * Switch_4;
151
	branch_sharp_1_5 = 1.0 * Add1_5 * Switch_5;
152
	branch_sharp_1_6 = 1.0 * Add1_6 * Switch_6;
153
	gte_1 = (In_1 <= lower_value_1);
154
	gte_2 = (In_2 <= lower_value_1);
155
	gte_3 = (In_3 <= lower_value_1);
156
	gte_4 = (In_4 <= lower_value_1);
157
	gte_5 = (In_5 <= lower_value_1);
158
	gte_6 = (In_6 <= lower_value_1);
159
	lower_value_1 = 2.000000000000000;
160
	lte_1 = (In_1 >= upper_value_1);
161
	lte_2 = (In_2 >= upper_value_1);
162
	lte_3 = (In_3 >= upper_value_1);
163
	lte_4 = (In_4 >= upper_value_1);
164
	lte_5 = (In_5 >= upper_value_1);
165
	lte_6 = (In_6 >= upper_value_1);
166
	upper_value_1 = 5.000000000000000;
167
	Out_1 = Add_1;
168
	Out_2 = Add_2;
169
	Out_3 = Add_3;
170
	Out_4 = Add_4;
171
	Out_5 = Add_5;
172
	Out_6 = Add_6;
173
tel
174

    
175
(*
176
Original block name: Deadzone_PP/DeadZone1
177
*)
178
node  DeadZone1_31_063(In_1 : real;
179
	In_2 : real;
180
	In_3 : real;
181
	In_4 : real;
182
	In_5 : real;
183
	In_6 : real;
184
	__time_step : real;
185
	__nb_step : int;)
186
returns(Out_1 : real;
187
	Out_2 : real;
188
	Out_3 : real;
189
	Out_4 : real;
190
	Out_5 : real;
191
	Out_6 : real;);
192
var Add_1 : real;
193
	Add_2 : real;
194
	Add_3 : real;
195
	Add_4 : real;
196
	Add_5 : real;
197
	Add_6 : real;
198
	Add1_1 : real;
199
	Add1_2 : real;
200
	Add1_3 : real;
201
	Add1_4 : real;
202
	Add1_5 : real;
203
	Add1_6 : real;
204
	Add2_1 : real;
205
	Add2_2 : real;
206
	Add2_3 : real;
207
	Add2_4 : real;
208
	Add2_5 : real;
209
	Add2_6 : real;
210
	Constant_1 : real;
211
	Constant1_1 : real;
212
	Constant2_1 : real;
213
	Constant3_1 : real;
214
	Switch_1 : real;
215
	Switch_2 : real;
216
	Switch_3 : real;
217
	Switch_4 : real;
218
	Switch_5 : real;
219
	Switch_6 : real;
220
	Switch1_1 : real;
221
	Switch1_2 : real;
222
	Switch1_3 : real;
223
	Switch1_4 : real;
224
	Switch1_5 : real;
225
	Switch1_6 : real;
226
	branch_sharp_0_1 : real;
227
	branch_sharp_0_2 : real;
228
	branch_sharp_0_3 : real;
229
	branch_sharp_0_4 : real;
230
	branch_sharp_0_5 : real;
231
	branch_sharp_0_6 : real;
232
	branch_sharp_1_1 : real;
233
	branch_sharp_1_2 : real;
234
	branch_sharp_1_3 : real;
235
	branch_sharp_1_4 : real;
236
	branch_sharp_1_5 : real;
237
	branch_sharp_1_6 : real;
238
	gte_1 : bool;
239
	gte_2 : bool;
240
	gte_3 : bool;
241
	gte_4 : bool;
242
	gte_5 : bool;
243
	gte_6 : bool;
244
	lower_value_1 : real;
245
	lte_1 : bool;
246
	lte_2 : bool;
247
	lte_3 : bool;
248
	lte_4 : bool;
249
	lte_5 : bool;
250
	lte_6 : bool;
251
	upper_value_1 : real;
252
let
253
	Add_1 = 0.0 + branch_sharp_0_1 + branch_sharp_1_1;
254
	Add_2 = 0.0 + branch_sharp_0_2 + branch_sharp_1_2;
255
	Add_3 = 0.0 + branch_sharp_0_3 + branch_sharp_1_3;
256
	Add_4 = 0.0 + branch_sharp_0_4 + branch_sharp_1_4;
257
	Add_5 = 0.0 + branch_sharp_0_5 + branch_sharp_1_5;
258
	Add_6 = 0.0 + branch_sharp_0_6 + branch_sharp_1_6;
259
	Add1_1 = 0.0 + In_1 - lower_value_1;
260
	Add1_2 = 0.0 + In_2 - lower_value_1;
261
	Add1_3 = 0.0 + In_3 - lower_value_1;
262
	Add1_4 = 0.0 + In_4 - lower_value_1;
263
	Add1_5 = 0.0 + In_5 - lower_value_1;
264
	Add1_6 = 0.0 + In_6 - lower_value_1;
265
	Add2_1 = 0.0 - upper_value_1 + In_1;
266
	Add2_2 = 0.0 - upper_value_1 + In_2;
267
	Add2_3 = 0.0 - upper_value_1 + In_3;
268
	Add2_4 = 0.0 - upper_value_1 + In_4;
269
	Add2_5 = 0.0 - upper_value_1 + In_5;
270
	Add2_6 = 0.0 - upper_value_1 + In_6;
271
	Constant_1 = 1.000000000000000;
272
	Constant1_1 = 0.000000000000000;
273
	Constant2_1 = 1.000000000000000;
274
	Constant3_1 = 0.000000000000000;
275
	Switch_1 = if gte_1 then
276
		Constant_1
277
	    else Constant1_1;
278
	Switch_2 = if gte_2 then
279
		Constant_1
280
	    else Constant1_1;
281
	Switch_3 = if gte_3 then
282
		Constant_1
283
	    else Constant1_1;
284
	Switch_4 = if gte_4 then
285
		Constant_1
286
	    else Constant1_1;
287
	Switch_5 = if gte_5 then
288
		Constant_1
289
	    else Constant1_1;
290
	Switch_6 = if gte_6 then
291
		Constant_1
292
	    else Constant1_1;
293
	Switch1_1 = if lte_1 then
294
		Constant2_1
295
	    else Constant3_1;
296
	Switch1_2 = if lte_2 then
297
		Constant2_1
298
	    else Constant3_1;
299
	Switch1_3 = if lte_3 then
300
		Constant2_1
301
	    else Constant3_1;
302
	Switch1_4 = if lte_4 then
303
		Constant2_1
304
	    else Constant3_1;
305
	Switch1_5 = if lte_5 then
306
		Constant2_1
307
	    else Constant3_1;
308
	Switch1_6 = if lte_6 then
309
		Constant2_1
310
	    else Constant3_1;
311
	branch_sharp_0_1 = 1.0 * Add2_1 * Switch1_1;
312
	branch_sharp_0_2 = 1.0 * Add2_2 * Switch1_2;
313
	branch_sharp_0_3 = 1.0 * Add2_3 * Switch1_3;
314
	branch_sharp_0_4 = 1.0 * Add2_4 * Switch1_4;
315
	branch_sharp_0_5 = 1.0 * Add2_5 * Switch1_5;
316
	branch_sharp_0_6 = 1.0 * Add2_6 * Switch1_6;
317
	branch_sharp_1_1 = 1.0 * Add1_1 * Switch_1;
318
	branch_sharp_1_2 = 1.0 * Add1_2 * Switch_2;
319
	branch_sharp_1_3 = 1.0 * Add1_3 * Switch_3;
320
	branch_sharp_1_4 = 1.0 * Add1_4 * Switch_4;
321
	branch_sharp_1_5 = 1.0 * Add1_5 * Switch_5;
322
	branch_sharp_1_6 = 1.0 * Add1_6 * Switch_6;
323
	gte_1 = (In_1 <= lower_value_1);
324
	gte_2 = (In_2 <= lower_value_1);
325
	gte_3 = (In_3 <= lower_value_1);
326
	gte_4 = (In_4 <= lower_value_1);
327
	gte_5 = (In_5 <= lower_value_1);
328
	gte_6 = (In_6 <= lower_value_1);
329
	lower_value_1 = 2.000000000000000;
330
	lte_1 = (In_1 >= upper_value_1);
331
	lte_2 = (In_2 >= upper_value_1);
332
	lte_3 = (In_3 >= upper_value_1);
333
	lte_4 = (In_4 >= upper_value_1);
334
	lte_5 = (In_5 >= upper_value_1);
335
	lte_6 = (In_6 >= upper_value_1);
336
	upper_value_1 = 5.000000000000000;
337
	Out_1 = Add_1;
338
	Out_2 = Add_2;
339
	Out_3 = Add_3;
340
	Out_4 = Add_4;
341
	Out_5 = Add_5;
342
	Out_6 = Add_6;
343
tel
344

    
345
(*
346
Original block name: Deadzone_PP
347
*)
348
node  Deadzone_PP(_virtual : bool;)
349
returns(Out1_1 : real;
350
	Out1_2 : real;
351
	Out1_3 : real;
352
	Out1_4 : real;
353
	Out1_5 : real;
354
	Out1_6 : real;
355
	Out2_1 : real;
356
	Out2_2 : real;
357
	Out2_3 : real;
358
	Out2_4 : real;
359
	Out2_5 : real;
360
	Out2_6 : real;);
361
var Constant_1 : real;
362
	Constant_2 : real;
363
	Constant_3 : real;
364
	Constant_4 : real;
365
	Constant_5 : real;
366
	Constant_6 : real;
367
	DeadZone_1 : real;
368
	DeadZone_2 : real;
369
	DeadZone_3 : real;
370
	DeadZone_4 : real;
371
	DeadZone_5 : real;
372
	DeadZone_6 : real;
373
	DeadZone1_1 : real;
374
	DeadZone1_2 : real;
375
	DeadZone1_3 : real;
376
	DeadZone1_4 : real;
377
	DeadZone1_5 : real;
378
	DeadZone1_6 : real;
379
	__time_step : real;
380
	__nb_step : int;
381
let
382
	Constant_1 = 0.000000000000000;
383
	Constant_2 = 4.000000000000000;
384
	Constant_3 = 2.300000000000000;
385
	Constant_4 = 5.000000000000000;
386
	Constant_5 = 3.000000000000000;
387
	Constant_6 = 7.000000000000000;
388
	(DeadZone_1, DeadZone_2, DeadZone_3, DeadZone_4, DeadZone_5, DeadZone_6) = DeadZone_30_491(Constant_1, Constant_2, Constant_3, Constant_4, Constant_5, Constant_6, __time_step, __nb_step);
389
	(DeadZone1_1, DeadZone1_2, DeadZone1_3, DeadZone1_4, DeadZone1_5, DeadZone1_6) = DeadZone1_31_063(Constant_1, Constant_2, Constant_3, Constant_4, Constant_5, Constant_6, __time_step, __nb_step);
390
	Out1_1 = DeadZone_1;
391
	Out1_2 = DeadZone_2;
392
	Out1_3 = DeadZone_3;
393
	Out1_4 = DeadZone_4;
394
	Out1_5 = DeadZone_5;
395
	Out1_6 = DeadZone_6;
396
	Out2_1 = DeadZone1_1;
397
	Out2_2 = DeadZone1_2;
398
	Out2_3 = DeadZone1_3;
399
	Out2_4 = DeadZone1_4;
400
	Out2_5 = DeadZone1_5;
401
	Out2_6 = DeadZone1_6;
402
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
403
	__nb_step = (0 -> ((pre __nb_step) + 1));
404
tel
405

    
(379-379/1153)