Information Technology Reference
In-Depth Information
tr
"
no tr _ tr
in
5
0
0
0
T
N
out
The arrows annotated with 0 represent simultaneity. Formally, 0 abbreviates here
the point interval [0,0]. Also the annotation
5 is an abbreviation standing for
thetimeinterval[0,5].
Reset after 5 seconds.
Assuming that after a period of 5 seconds of output
T
an
input
no tr
is present for
"
seconds while output is still
T
, the lter is committed
to change its output to
N
.
no tr
"
in
0
0
N
5
T
out
Error handling.
Assuming the input
Error
is present for
"
seconds, the lter is
committed to output
X
after this time.
Error
"
in
0
X
out
Exceptional state is kept.
Assuming the lter is in
X
it is committed to stay in
this state.
X
X
out
5
Design Specications: PLC-Automata
When designing real-time controllers some details of the target architecture on
which these controllers are to be implemented have to be taken into account
in order to guarantee that the required real-time constraints are realizable. Our
Search WWH ::
Custom Search