lustrec-tests/sandbox/extraction/piecewise_lin/ex1sat.lus @ 43460259
| 1 |
node top(in0 : real) returns (sx, x, y : real); |
|---|---|
| 2 |
let
|
| 3 |
assert(in0 >= -1. and in0 <= 1.); |
| 4 |
x = 0. -> 1.5 * pre sx - 0.7 * pre y + 1.6 * in0; |
| 5 |
y = 0. -> pre x; |
| 6 |
sx = if x > 10. then 10. else if x < -10. then -10. else in0 + x; |
| 7 |
tel
|