Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (660 Bytes)

1
node top(r : bool; in0 : real) returns (x0, x1, x2, x3, x4 : real);
2
let
3
  assert(in0 >= -1. and in0 <= 1.);
4
  x0 = 0. -> if r then 1. else 0.4250 * pre x0 + 0.8131 * in0;
5
  x1 = 0. -> if r then 1. else
6
    0.3167 * pre x0 + 0.1016 * pre x1 - 0.4444 * pre x2 + 0.1807 * in0;
7
  x2 = 0. -> if r then 1. else
8
    0.1278 * pre x0 + 0.4444 * pre x1 + 0.8207 * pre x2 + 0.0729 * in0;
9
  x3 = 0. -> if r then 1. else
10
    0.0365 * pre x0 + 0.1270 * pre x1 + 0.5202 * pre x2 + 0.4163 * pre x3 - 0.5714 * pre x4 + 0.0208 * in0;
11
  x4 = 0. -> if r then 1. else
12
    0.0147 * pre x0 + 0.0512 * pre x1 + 0.2099 * pre x2 + 0.57104 * pre x3 + 0.7694 * pre x4 + 0.0084 * in0;
13
tel