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

Лекция №10. Динамическое описание систем

Функционирование сложной системы можно представить как совокупность двух функций времени: x(t) - внутреннее состояние системы; y(t) - выходной процесс системы. Обе функции зависят от u(t) - входного воздействия и от f(t) - возмущения.

Для каждого t Î T существует множество z ÎZ.

Z=Z1 ´ Z2 ... ´ Zn - множество n мерного пространства. Состояние системы z(t) - точка или вектор пространства Z с обобщенными координатами z1, z2, z3, z4, ....., zn.

U=T ´ Z - фазовое пространство системы.

 

 

Детерминированная система без последствий - система состояние которой 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).