Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / extraction / piecewise_lin / ex3sat.lus @ 43460259

History | View | Annotate | Download (251 Bytes)

1
node top(in0 : real) returns (sx0, x0, x1 : real);
2
let
3
  assert(in0 >= -1. and in0 <= 1.);
4
  x0 = 0. -> 0.499 * pre sx0 - 0.05 * pre x1 + in0;
5
  x1 = 0. -> 0.01 * pre sx0 + pre x1;
6
  sx0 = if x0 > 50. then 50. else if x0 < -50. then -50. else x0;
7
tel