Логическое описание процессов управления

В основе логического анализа лежит представление о том, что управление можно формализовать, используя отображение Г множества условий С в решения (действия) R

U = C ^г R (5.1)

где С - множество условий, R - множество решений, Г -отображение условий на решения R.

а,Ь,с — логические переменные, которые описывают множество С.

a = 1, логическая переменная истинная

0, ложная логическая переменная

Тогда условие записывается в виде логических выражений вида:

с₁ = a · b · c(5.2)

с₂= a· b ·dUc·d (5.3)

Методы логического управления:

1. Метод Corig (Франция). На основе определения С и R составляется таблица Corig.

Делать Если

R₁ a·b·c

R₂ a·b·dUb·c

R₃ a·b·c·dUd

2. Метод Table-decision(таблицы решений США) состоит в составлении логических таблиц вида:

3. Метод логических диаграмм Маркова использует набор операторов и схемы проверки условий:

Например, для указанных выше выражений имеем: