Основы синтеза и диагностирования автоматов. Воронин В.В. - 181 стр.

UptoLike

Составители: 

177
Каждому такому набору можно однозначно поставить выходной
набор. Однако требуется два новых датчика и два дополнительных
входа в «новой» системе управления.
Во-вторых, можно организовать в СУ «память» и запоминать в
ней действие системы в прошлом. Формально это делается введени-
ем множества внутренних состояний S, в которых может находиться
система
S={s
0
,s
1
,…,s
q
},
где s
0
- это начальное состояние системы. Пусть для нашего приме-
ра таким состоянием будет случай, когда оба кондиционера выклю-
чены. Будем формально описывать задачу в виде графа. Из состоя-
ния s
0
система может переходить в другое состояние под
воздействием абстрактных входных символов, обозначим их сле-
дующим образом:
При входном символе x
0
состояние системы не должно изме-
ниться. Отсюда вершина s
0
будет иметь петлю и выход СУ должен
быть 000. Переобозначим выходные наборы СУ абстрактными сим-
волами как это принято в абстрактной теории автоматов:
Где y
4
–y
7
выходные символы СУ при аварийной ситуации.
<10 10-22 23-30 30-35 >35
x
1
x
2
x
3
000 001 010 011 100
x
0
x
1
x
2
x
3
x
4
y
1
y
2
y
3
000 001 101 011 100 101 110 111
y
0
y
1
y
2
y
3
y
4
y
5
y
6
y
7
y
1
y
2
y
3
0 0 1
1 1 1
0 1 1
1 0 1
x
1
x
2
x
3
x
4
x
5
1 0 0 0 0
1 0 0 1 1
1 0 0 0 1
1 0 0 1 0
авария при отключенных К
1
и К
2
авария при включенных К
1
и К
2
авария возникла при К
1
=0 и К
2
=1
авария возникла при К
1
=1 и К
2
=0