Selected Papers from the IFAC Symposium, Zurich, Switzerland, 4-6 WITH NON-ZERO DECISION TIME P. Kozák Czechoslovak Academy of Sciences, Institute E. C. S, L C S and pref(L) = L. Xe is interpreted as a set of labels of controlled .