1

 This file has been generated by CoCoSim2.

2


3

 Compiler: Lustre compiler 2 (ToLustre.m)

4

 Time: 03Dec2018 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

