HydLaWiki
First Example
Start:
The following program (also called a '''model''') describ...
with the following shape:
&ref(./sawtooth.png,50%);
INIT <=> 0 <= f < 2.
INCREASE <=> [](f' = 1).
DROP <=> [](f- = 2 => f = 0).
INIT, INCREASE << DROP.
The first three lines (often called '''rules''' or '''nam...
This program defines the trajectory of a variable f (whos...
- The rule INIT defines the value of f at time 0, which t...
- The rule INCREASE states that the slope of f is always 1.
- The rule DROP states that the value of f is reset to 0 ...
- The final line states that
-- INIT is enabled,
-- DROP is enabled, and
-- INCREASE is enabled whenever it is consistent with DRO...
#br
More examples can be found in the [[Examples]] page.
End:
The following program (also called a '''model''') describ...
with the following shape:
&ref(./sawtooth.png,50%);
INIT <=> 0 <= f < 2.
INCREASE <=> [](f' = 1).
DROP <=> [](f- = 2 => f = 0).
INIT, INCREASE << DROP.
The first three lines (often called '''rules''' or '''nam...
This program defines the trajectory of a variable f (whos...
- The rule INIT defines the value of f at time 0, which t...
- The rule INCREASE states that the slope of f is always 1.
- The rule DROP states that the value of f is reset to 0 ...
- The final line states that
-- INIT is enabled,
-- DROP is enabled, and
-- INCREASE is enabled whenever it is consistent with DRO...
#br
More examples can be found in the [[Examples]] page.
Page: