Модель автономного управления

Модель управления, представляющая базу знаний продукционной системы и лежащая в основе реализации сеансно-временного метода, должна обеспечивать процесс управления совокупностью большого количества функциональных элементов, характеризующийся многочисленными причинно-следственными связями между множеством параллельно протекающих процессов. Поэтому с учетом требований, определенных выше, для разработки математической модели управления целесообразно применение сетей Петри. Сети Петри являются мощным средством моделирования дискретных систем и используются в самых различных областях техники, в том числе и при моделировании процессов управления и контроля космических аппаратов.

Cеть Петри задается совокупностью множеств:

,

где - множество позиций,

- множество переходов,

- функция входных инциденций,

- функция выходных инциденций,

- вектор начального маркирования.

Функции входных и выходных инциденций задают отношения между позициями и переходами сети. При этом используются следующие обозначения:

для и

для и

Множество называется множеством входных (выходных) позиций перехода , а множество множеством входных (выходных) переходов позиции .

Вектор ставит в соответствие каждой позиции сети целое неотрицательное число. Графически сеть Петри представляет собой ориентированный двудольный граф с двумя типами вершины: позиции и переходы.

В содержательном плане позициям соответствуют некоторые условия, а переходам - события. Входные позиции перехода определяют набор условий, необходимых для того, чтобы событие могло произойти. В свою очередь, в результате события появляются новые условия, определяемые выходными позициями перехода. Таким образом, сеть Петри позволяет решать причинно-следственные связи моделируемого процесса управления в пространстве условий и событий.

По решаемым задачам наиболее близкими является разновидность сетей Петри - Е-сети. Е-сеть определяется, как связная конфигурация позиций посредством разрешаемых схем переходов и задается совокупностью множеств

,

где - конечное непустое множество позиций,

- множество периферийных позиций,

- множество решающих позиций,

Еще статьи

Учение о биосфере. Основные среды жизни и условия существования организмов
Слово "экология" происходит от двух греческих слов: oikos, что означает дом, родина, и logos ― понятие, учение. В буквальном смысле экология ― это "наука о местообитании". "Под экологией, ― писал Геккель, ― мы понимаем сум ...