logo
лекции по МОТС / Введение

Детерминированная система без последствий

Детерминированная система без последствий - система состояние которой z(t) зависит только от z(t0) и не зависит от z(0) ... z(t0), т.е. z(t) зависит от z(t0) и не зависит от того каким способом система попала в состояние z(t0).

Для систем без последствия еее состояние можно описать как:

z(t)= H{t,t0,z(t0), (t, xL]t0t},

где {(t, xL]t0t} - множество всевозможных отрывков входных сообщений, соответствующих интервалу (t0, t]. H - оператор переходов системы.

tÎT, t0ÎT, z(t0) ÎZ, (t, xL]t0tÎ {(t, xL]t0t}.

Формальная запись отображения:

T ´ T ´ {(t, xL]t0t} ® Z.

Начальные условия H{t0, t0, z(t0), (t, xL]t0t0 } = z(t0).

Если (t, xL1]t0t = (t, xL2]t0t, то H{t0, t, z(t0), (t, xL1]t0t } = H{t0, t, z(t0), (t, xL2]t0t}

Если t0<t1<t2 и t0, t1, t2 Î T, то H{t0, t2, z(t0), (t, xL]t0t2 } = H{t2, t1, z(t1), (t, xL2]t1t2}, так как (t, xL]t0t2 есть сочленение отрезков (t, xL]t0t1 и (t, xL]t1t2.

Оператор выходов системы G реализует отношение

{(t, t0)} ´ Z ´ (t, xL)T} ® Y,

y(t) = G(t, t0, z(t0), (t, xL2]t0t).

(x, y) Î X ´ Y - расширенное состояние системы.

Динамическая система без последствий (динамическая система Кламана) -упорядоченное множество (T, X, Z, Y, {(t, xL)T, H, G), удовлетворяющие поставленным выше требованиям:

  1. T является подмножеством действительных чисел.

  2. {(t, xL)T}- множество отображений T®X, удовлетворяющие сочленению отрезков.

  3. Оператор переходов H реализует {(t, t0)} ´ Z ´ (t, xL)T} ® Y.

  4. Оператор выходов системы G задается видом y(t) = G(t, t0, z(t0), (t, xL2]t0t).