Диагностические эксперименты с нечеткими автоматами

References

1. Gill A. Lineinye posledovatel’nostnye mashiny [Linear sequential machines]. Moscow, Nauka, 1974. 298 p. (in Russian).

2. Faradgev R. G. Lineinye posledovatel’nostnye mashiny [Linear sequential machines]. Moscow, Sovetskoje Radio, 1975, 248 p. (in Russian).

3. Agibalov G. P. Recognition of operators realized by linear autonomous automata. Izv. AN USSR. Tech. Cybernetika, 1970, no. 3, pp. 99-108 (in Russian).

4. Agibalov G. P., Jufit Ya.G. O prostykh eksperimentakh dlia lineinykh initsial’nykh avtomatov [On simple experiments for linear initial automata]. Avtomatica i vychisliteljnaja technika, 1972, no. 2, pp. 17-19 (in Russian).

5. Speranskij D. V. Eksperimenty s lineinymi i bi-lineinymi konechnymi avtomatami [Experiments with linear and bi-linear finite automata]. Saratov, Saratov. Univ. Press, 2004. 144 p. (in Russian).

6. Kurosh A.G. Lektsii po obshchei algebre [Lectures in general algebra]. Moscow, Nauka, 1973, 400 p. (in Russian).

7. Skobelev V. V., Skobelev V. G. Analiz shifrsistem [Analysis of ciphersystems]. Donetsk, IAMM NASU, 2009, 479 p. (in Russian).

8. Skobelev V. V., Glazunov N. M., Skobelev V. G. Mnogoobraziia nad kol’tsami. Teoriia i prilozhenie [Varieties over rings. Theory and applications]. Donetsk, IAMM NASU, 2011, 323 p. (in Russian).

9. Skobelev V. V., Skobelev V. G. Analysis of nonlinear automata with lag 2 over finite ring. Prikladnaja discretnaja matematika, 2010, no. 1, pp. 68-85 (in Russian).

10. Skobelev V. V. Complexity of identification of nonlinear 1-dimensional automata with lag 2 over finite ring. Computernaja mathematika, 2011, vol. 2, pp. 81-89 (in Russian).

11. Kuznetsov S. P. Dinamicheskii khaos [Dynamical chaos]. Moscow, Fizmatlit, 2001. 296 p. (in Russian).

12. Skobelev V. V., Skobelev V. G. On the complexity of analysis of automata over a finite ring. Cybernet. Systems Anal., 2010, vol. 46, no. 4, pp. 533-545.

13. Skobelev V. V. On systems of polynomial equations over finite rings. Naukovi zapysky NaU-KMA. Ser. Computerny nauky, 2012, vol. 138, pp. 15-19.

14. Skobelev V. V. On subsets of automata over finite ring determined via terms of ideals. Visn., Ser. Fiz.-Mat. Nauky, Kyiv. Univ. Im. Tarasa Shevchenka, 2011, no. 3, pp. 212-218 (in Ukrainian).

15. Skobelev V. V. Simulation of automata over a finite ring by the automata with finite memory. J. of Automation and Information Sci. 2012, vol. 44, no. 5, pp. 57-66.

16. Skobelev V. V. Analysis of the problem of recognition of automaton over some ring. Dopov. Nats. Akad. Nauk Ukr., Mat., Pryr., Tekh. Nauky, 2012, no. 9, pp. 29-35 (in Russian).

17. Skobelev V. V. On automata determined over varieties over some ring. Tr. Inst. Prikl. Mat. Mekh., 2012, vol. 24, pp. 190-201 (in Russian).

18. Skobelev V. V. Automata over vatieties with some algebra. Visn., Ser. Fiz.-Mat. Nauky, Kyiv. Univ. Im. Tarasa Shevchenka, 2012, no 2, pp. 234-238 (in Ukrainian).

19. Skobelev V. V. Analysis of automata determined over parametric varieties over an associative ring. Visn., Ser. Fiz.-Mat. Nauky, Kyiv. Univ. Im. Tarasa Shevchenka, 2012, no. 3, pp. 239-244.

20. Skobelev V. V. On automata determined over polynomially parametric varieties over some finite ring. Tr. Inst. Prikl. Mat. Mekh. 2012, vol. 25, pp. 185-195 (in Russian).

21. Skobelev V. V. On homomorphisms of automata over varieties over some ring. Dopov. Nats. Akad. Nauk Ukr., Mat., Pryr., Tekh. Nauky, 2013, no. 1, pp. 42-46 (in Russian).

22. Skobelev V. V. Analysis of automata determined over elliptic curves. Visn., Ser. Fiz.-Mat. Nauky, Kyiv. Univ. Im. Tarasa Shevchenka, 2012, no. 1, pp. 223-230 (in Ukrainian).

23. Skobelev V. V. Analysis of families of hash functions defined by automata over a finite ring. Cybernet. Systems Anal., 2013, vol. 49, no. 2, pp. 209-216.

УДК 62-50

ДИАГНОСТИЧЕСКИЕ ЭКСПЕРИМЕНТЫ С НЕЧЕТКИМИ АВТОМАТАМИ

Д. В. Сперанский

Доктортехнических наук, профессор кафедры высшей и прикладной математики, Московский государственный университет путей сообщения (МИИТ), Speranskiy.DV@gmail.com

Для нечетких автоматов введено понятие обобщенной диагностической последовательности. Предложен метод ее построения. Метод базируется на использовании конструкции диагностического дерева. Установлено, что задача синтеза обобщенной диагностической последовательности является многокритериальной задачей оптимизации.

Ключевые слова: нечеткий автомат, диагностический эксперимент.

© Сперанский Д. В., 2013

ВВЕДЕНИЕ

Напомним, что экспериментом с детерминированным автоматом [1] принято называть процесс подачи на автомат последовательности входных сигналов, наблюдения реакции на эту последовательность и вывода заключений о его состоянии (начальном, промежуточном или конечном). Модель такого автомата во многих случаях является вполне приемлемой для многих реальных систем. Однако информация о функционировании систем часто носит приближенный и субъективный характер, а потому приводит к огрублению модели. Для адекватного отражения нечеткости исходной информации требуется подходящий математический аппарат, созданный Л.Заде на основе понятия нечеткого множества [2]. Полезность и эффективность концепции нечеткости (размытости) подтверждается многочисленными практическими приложениями разработанных на этой базе теорий нечетких алгоритмов, нечетких отношений, нечеткой логики, нечетких графов в различных предметных областях. Понятно, что это справедливо и для теории нечетких автоматов. В настоящее время известны несколько модификаций понятия нечеткого конечного автомата, каждое из которых адаптировано к конкретному классу рассматриваемых задач. Ниже исследуются так называемые диагностические эксперименты для нечетких автоматов (НА).

1. МОДЕЛЬ НЕЧЕТКОГО АВТОМАТА

Определим модель НА, которая будет использоваться в дальнейшем.

Нечетким конечным автоматом назовем пятерку:

А = (Б,^У,5, А),

где Б = {^1, в2, . ..,вп} — конечное множество состояний, X = (Х1, х2,..., хт} — конечное множество входов, У = {у1, у2,..., ур} — конечное множество выходов, 5 : Б х X х [0,1] ^ Б — функция переходов, А : Б х X х [0,1] ^ У — функция выходов. Функция 5 имеет следующую интерпретацию: НА, находящийся в состоянии 5, под воздействием входа х переходит в состояние в;, причем значение функции принадлежности элемента (в,х, 5) нечеткому подмножеству Б х X х Б равно некоторой величине д е [0,1].

Функция 5, введенная выше, фактически, порождает множество нечетких матриц Т(х) для каждого входа х е X:

Т (х) = [^х (вг,в] )], 1 < М < П.

Каждая такая матрица является квадратной, ее строки и столбцы соответствуют состояниям множества Б. На пересечении г-ой строки и 3-го столбца стоит величина дх(вг, в ]) е [0,1], являющаяся оценкой степени возможности перехода НА из состояния вг в состояние в] при воздействии входа х.

Некоторые классические определения различных типов автоматов (например, недетерминированного) являются частными случаями приведенного определения НА.

По аналогии с [3] введем функцию выхода А : Б х X х [0,1] ^ У, имеющую следующую интерпретацию: НА, перешедший в состоянии в под воздействием входа х, инициирует выход у, причем значение функции принадлежности элемента (в, х, у) нечеткому подмножеству Б х X х У равно некоторой величине д е [0,1].

Введенная нами функция А, фактически, порождает множество матриц Л(х) для каждого входа х е X:

Л(х) = [V*(вг, У])], 1 < г < п, 1 < з < р.

Каждая такая матрица является прямоугольной, ее строки соответствуют состояниям множества Б, а столбцы — выходам НА из множества У. На пересечении г-й строки и 3-го столбца стоит величина их(вг,у]) е [0,1], являющаяся оценкой степени возможности выхода у] НА при переходе его из состояния вг при воздействии входа х.

Рассмотрим пример НА, имеющего множество состояний Б = {1,2,3,4} и множество входов

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2 X = {0,1}. Предположим, что матрицы Т(х) для этого НА имеют следующий вид:

Т(0) =

0 0.5 0.8 0 0 0 0.7 0

0 0 0 0.3 , Т (1) = 0.4 0 0 0

0 0 0 0.1 0.7 0 0 0

0 0.6 0.4 0 0 0 0.2 0

Как следует из содержимого этих матриц, например при входе х = 0 НА переходит из состояния 1 в состояние 2 со значением д0(1, 2) = 0.5, а из состояния 1 в состояние 3 со значением д0(1, 3) = 0.8. Аналогично, переход НА при входе х = 0 из состояния 4 в состояние 2 и д0(4, 2) = 0.6, переход из состояния 4 в состояние 3 со значением д0(4,3) = 0.4.

Условимся далее указанные переходы 5(в,х) записывать в следующем виде:

5(1, 0) = {(210.5), (3|0.8)}, 5(4,0) = {(2|0.6), (3|0.4)}.

Введем также следующие обозначения:

1. 55(в, х) = {вг1, вг2,..., в^ } — это подмножество состояний НА, в которые он переходит из состояния в под воздействием входа х. Так, для нашего примера 55(1, 0) = {2, 3}, 55(4, 0) = {2,3}.

2. 5^(в,х) = {дг1 , дг2, ..., д^} — степени возможности перехода НА из состояния в под воздействием входа х в соответствующие состояния из множества 5^(в,х). Так, для нашего примера 5^(1,0) = {0.5,0.8)}, 5^(4,0) = {0.6,0.4}

3. 5^(в, х, в') = д(в, в') — степень возможности перехода из состояния в в состояние в' при входе х. Так, для нашего примера 5^(1, 0, 2) = {0.5}, 5^(4, 0,3) = {0.4}.

Условимся далее вместо слов «степень возможности перехода из состояния в в состояние в'» писать «степень перехода... ».

Пусть Б' = {в], в]2,..., в] } есть некоторое подмножество множества Б состояний НА. Переход НА из состояний подмножества Б' при входе х определим следующим образом:

5(Б',х) = {О 5(в],х)| •

Пусть для нашего примера Б' = {в1, в2}, тогда 5({в1, в2}, 0) = {5(в1, 0)и5(в2, 0)} = {(2|0.5), (3|0.8), (4|0.3)}.

В соответствии с введенным выше обозначением для этого Б имеем:

5^({1, 2}, 0) = {0.5, 0.8, 0.3} и 55({1, 2}, 0) = {2,3,4}.

Множество состояний, в которые НА переходит из состояния в под воздействием входной последовательности и = хг1, хг2, ... ,хгь определяется так:

55 (в,и) = 5з (. . .5^ (5з (в,хг1 ),хг2 ) . . . ,хгь ).

Вернемся к нашему примеру. Пусть и = хг1, хг2 =0,1 и в = 1. В соответствии со сказанным выше 55

Понятно, что переход НА из состояния в в некоторое фиксированное состояние в' е 55(в, и) возможен по различным траекториям (путям). Так, формула (1) показывает, что из состояния 1 в состояние 55(1,и) = 1 возможно перейти по двум различным траекториям: 1 ^ 2 ^ 1 и 1 ^ 3 ^ 1. Каждому переходу в этих траекториях соответствует некоторая конкретная степень перехода. Так, для траектории 1 ^ 2 ^ 1 переходу 1 ^ 2 соответствует д0(1, 2) = 0.5, а для перехода 2 ^ 1 эта степень есть д1 (2,1) = 0.4.

Рассмотрим входную последовательность и = хг1 ,хг2, ...,хгь. Зафиксируем некоторое состояние НА в е Б и некоторое состояние в' е 55(в,и). Среди всех возможных траекторий перехода этого НА из состояния в в состояние в под воздействием указанной входной последовательности и выделим,

например, траекторию, проходящую следующим образом: в ^ в^1 ^ в^2 ^ ••• ^ в^ь-1 ^ в'. Этой траектории поставим в соответствие число М(и, д), которое назовем степенью перехода по зафиксированной траектории, где д = в, в^1, в^2,..., в'.

Для того чтобы выразить М(и,д) через заданную функцию переходов НА, можно воспользоваться одним из следующих вариантов, ранее использованных в ряде работ:

М1 (и,д) = ш1п[5^(в,хг1 ,в*1), 5^(в^ ,х*2, в*2),.. .,5^(в^ь,х*ь, в')],

М2 (и,д) = шах[5^(в,хг1, в^ ),5^ (в^ ,х*2, в^),.. .,5^(в^ ,х*ь ,в ')].

Заметим, что приведенные варианты определения значения М(и, д)связаны с возможными вариантами определения композиции двух нечетких отношений [4].

2. ПОСТРОЕНИЕ ДИАГНОСТИЧЕСКИХ ЭКСПЕРИМЕНТОВ

В теории детерминированных автоматов [1] исследовалась диагностическая задача, заключающаяся в определении неизвестного начального состояния автомата по наблюдаемой реакции на специальную входную последовательность, называемую диагностической. Диагностическая задача считается

разрешимой, если искомое начальное состояние, которое предполагается принадлежащим заранее оговоренному множеству допустимых начальных состояний, определяется однозначно.

Ниже рассматривается аналогичная задача для нечетких автоматов. В отличие от классической задачи здесь будет исследоваться возможность минимизации неопределенности, касающейся состава множества возможных стартовых (начальных) состояний автомата, порождающих наблюдаемую экспериментатором реакцию.

Для поиска диагностической последовательности, используемой при решении диагностической задачи для заданного НА и заданного множества допустимых начальных состояний, воспользуемся конструкцией дерева преемников (ДП), аналогичной введенной в [1].

По аналогии с [1] далее используется понятие ст-множества состояний автомата — произвольной конечной совокупности его состояний. Подчеркнем, что элементы ст-множества не обязательно различны. ст-множество назовем простым (кратным), если оно состоит из единственного элемента (содержит два или более одинаковых элементов).

Назовем ст-множество однородным, если все его элементы одинаковы. Отметим, что простое ст-множество есть частный случай однородного.

Под А-группой далее понимается множество ст-множеств. Назовем А-группу простой (однородной), если все ст-множества в ней просты (однородны).

Используемые далее понятие хг1 ,хг2,... ,хг;-преемника А-группы в целом совпадает с введенным в [1], а незначительные отличия легко видеть из примера на приведенном ниже рисунке.

Конструкция ДП бесконечна по своему протяжению. Ниже будет дано определение усеченного варианта ДП, которое назовем диагностическим деревом (ДД). Для формулировки правил «усечения» ДП введем еще одно понятие.

Пусть д есть ст-множество некоторой А-группы С ', связанной с ветвью к-го уровня (к ^ 1), являющегося преемником по входному символу х некоторых ст-множеств из А-группы С уровня (к — 1). Множество состояний ст-множеств А-группы С, из которых можно перейти по входному символу х в состояния из множества д (это их состояния-«предшественники»), обозначим через д-1. Величину |д-11 назовем мерой неопределенности ст-множества д (по символу х) и обозначим через иЖ(д). Мерой неопределенности А-группы С (по символу х), которую обозначим через иЖ(С), назовем максимум из значений мер неопределенностей всех ст-множеств, входящих в состав А-груп-пы С. Условимся считать, что мера неопределенности множества Б0, связанного с нулевой ветвью ДД, равна |Б01.

Перейдем теперь к определению ДД, конструируемого для заданного НА. ДД есть дерево преемников, в котором ветвь Ь к-го уровня становится конечной, если удовлетворяется одно из следующих условий:

1. Мера неопределенности А-группы, связанной с Ь, равна 1;

2. Мера неопределенности А-группы к-го уровня (к>1), связанной с Ь, больше меры неопределенности некоторой А-группы уровня, предшествующего к-му;

3. А-группа, связанная с Ь, связана с некоторой ветвью уровня, предшествующего к-му.

Понятно, что выполнение условия 1 означает, что для исследуемого НА его начальное состояние по наблюдаемой реакции определяется однозначно. Выполнение условия 2 указывает на то, что продолжение построения ДП по направлению ветви Ь не имеет смысла, так как неопределенность при определении начального состояния по этому направлению возрастает. Выполнение условия 3 означает бесперспективность построения ДП по этому направлению: в уже построенном на предыдущем этапе фрагменте ДД имеется возможность найти более короткую ДП.

Нетрудно доказать, что построение ДД есть конечный процесс.

Рассмотрим пример построения ДД для НА, у которого Б = {1, 2,3,4}, X = {а, в}, ^ = {а, Ь, с}, множество допустимых начальных состояний есть Б0 = {1, 2,3}, а матрицы переходов и выходов Т(х) и Л(х) таковы:

Т (а) =

' 0.1 0.8 0 0 0 0.1 0 0.5 '

0.9 0 0 0 0 0.2 0 0.6

0 0 0 0 0.6 ; Л(а) = 0.4 0 0

0 0 0.7 0 0 0.7 0 0

0 0.3 0 0 0 0 0.8 0

0 0 0 0.6 0 0 0.3 0

0 0 0 0 0.5 0 0.4 0

0.8 0 0 0 0 = ()в Л( 0.7 0 0

0 0 0 0.5 0.2 0 0.3 0.1

0 0 0 0.7 0.9 0 0.6 0.2

Т (в) =

Диагностическое дерево для этого НА изображено на рисунке.

С0

С-1

( дь = {1,1}, 56 - {2, 2}, 5ю - {4,4, 5} ^

С5

/ 013 — 514

V У = а у = С

С4

Диагностическое дерево

{ 917 = {4, 5}, 518 = {5, 4} ^

Заметим, что терминология и понятия для ДП, такие как путь по дереву, входная последовательность, соответствующая пути, траектория движения НА и т.д., в полной мере относятся и к ДД.

Введенные выше значения меры неопределенности А-групп для построенного ДД, как легко проверить, таковы:

иж (Со) = иж (Ох) = 3, иж (О) = иж (Оа) = № (Ох) = иж (Ое) = 2, иж (О) = 1.

Из этих данных вытекают следующие факты: ветвь ДД, связанная с А-группой О5, является конечной в силу условия 1 определения ДД; ветви Оз,О4 и Ое являются конечными в силу условия 2 определения ДД. Понятно, что движение НА по различным траекториям порождает различные реакции. Рассмотрим, например, входное слово р = в, а. В ДД на рисунке ему соответствуют пути (траектории) из А-группы О0 в различные ст-множества А-группы О5. Принимая во внимание, что Б0 = {1, 2,3}, для рассматриваемого НА его движение может осуществляться по следующим четырем траекториям:

?1 = до,дз ,д1з; ?2 = до , дз^м; ?з = до,д4 ,д15; ?4 = до ,д4 ,д1е.

Далее множество всех возможных траекторий движения НА при подаче входного слова р будем обозначать как ф(р).

Введем теперь понятие обобщенной диагностической последовательности (ОДП) для нечеткого автомата.

Определение. Входное слово р назовем ОДП для заданного НА с множеством допустимых начальных состояний Бо, если и только если

V ф,qj е ф

Здесь <5(£о,дг) обозначает ст-множество, в одном из состояний которого оказывается НА после подачи входного слова р при движении по траектории qj.

Смысл использования ОДП состоит в уменьшении неопределенности (размытости) множества состояний НА, из которых он мог стартовать при наблюдаемой экспериментатором реакции на его выходе.

Вообще говоря, исходя из определения ОДП, можно рассматривать различные постановки диагностической задачи. Одна из них, которая рассматривается далее, формулируется следующим образом: для заданного НА и заданного множества допустимых начальных состояний построить такую входную последовательность, подача которой позволяет по наблюдаемой реакции НА найти минимальное по мощности множество его возможных начальных состояний.

Другая постановка диагностической задачи связана с построением ОДП, когда в качестве критерия оптимизации используются значение степени переходов. Перейдем теперь к описанию метода построения ОДП для решения диагностической задачи в первой из представленных выше постановок. Ее решение будет получено с использованием конструкции ДД. Нетрудно сообразить, что минимизация мощности возможных стартовых состояний рассматриваемого НА будет достигнута на пути в ДД из А-группы Оо, связанной с нулевой ветвью ДД, в А-группу, для которой достигается минимум величины тах(иж(<5(£о, qi),<5(иж(Бо, qj)), фигурирующей в определении ОДП. Напомним, что эта величина есть не что иное как мера неопределенности А-группы, в состав которой входят ст-множества, являющиеся конечными вершинами траекторий, соответствующих некоторому входному слову р.

Отсюда становится понятным метод решения исследуемой задачи: среди всех А-групп ДД необходимо найти такую А-группу О, которая доставляет минимум мере неопределенности иж(О), тогда входное слово р, соответствующее пути по ДД из А-группы Оо в эту А-группу О, и является решением рассматриваемой задачи.

Проиллюстрируем метод на примере НА, для которого ДД изображено на рисунке. Поскольку в этом ДД минимальное значение величины иж(О) = 1 достигается для А-группы О5, то входное слово р = в, а, соответствующее пути по ДД из Оо в О5, дает искомую ОДП. В самом деле, вычисленные выходные реакции при движении по всем возможным траекториям, приведенным выше и представленным в таблице, подтверждают, что использование ОДП р = в, а позволяет однозначно определить стартовое состояние рассматриваемого НА.

Заметим, что входное слово р = в, в, которое соответствует пути по ДД из А-группы Оо в А-группу Ое, также является ОДП. В самом деле, иж(Ое) = 2 < иж(Оо) = 3, т. е. упомянутое входное слово удовлетворяет неравенству (2) в определении ОДП. Вместе с тем, наблюдение реакции НА именно на это слово не всегда дает возможность однозначно восстановить его

Траектория Реакция НА Стартовое состояние

91 Ьа 1

92 ЬЬ 2

93 са 3

94 сс 3

стартовое состояние. Легко убедиться, что слово р = в, в дает одну и ту же реакцию b, b, если НА

1 /1 в/ь . в/ь . _ в/ь _ в/ь ,ч

стартует в состоянии 1 или 2 (1 —> 4 —>• 4, 2 —> 5 —> 4). Можно проверить, что входные слова а, а

и а, в также являются ОДП для рассматриваемого НА, но оба они позволяют определить стартовые состояния только как одно из двух возможных.

Из сказанного следует, что для рассматриваемого НА существует четыре различных ОДП длины два, но только одна из них (р = в, а) позволяет однозначно восстановить его стартовое состояние.

Заметим, что в диагностической задаче оптимизация ОДП возможна по трем возможным критериям.

ЗАКЛЮЧЕНИЕ

Из изложенного выше вытекает, что между диагностической задачей для детерминированного автомата и аналогичной задачей для нечеткого автомата имеется принципиальное различие. Для НА эта задача в общем случае является многокритериальной, а для детерминированного автомата при сравнение двух ДП используется лишь один критерий (либо длина, либо вес).

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

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

Библиографический список

1. Гилл А. Введение в теорию конечных автоматов. М. : 3. Dubois D., Prade H. Fuzzy Sets and Systems : Theory

Наука, 1966. 272 с. and Applications. N.Y. : Academy Press, 1980. 392 p.

2. Zadeh L. A. Fuzzy sets // Inf. Control. 1965. Vol. 8. 4. Кофман А. Введение в теорию нечетких множеств.

P. 338-353. М. : Радио и связь, 1982. 432 с.

On Diagnostic Experiments for Fuzzy Automata

D. V. Speranskiy

Moscow State University of Railway Engineering, Russia, 127994, Moscow, Obraztsova st., 9, bld. 9, Speranskiy.DV@gmail.com

The concept of a generalized diagnostic experiment for fuzzy automata is introduced. A method constructing diagnostic experiments for fuzzy automata is proposed. The method is based on diagnostic tree structure. It is establish that the problem of diagnostic experiment synthesis is a multi-criteria optimization problem.

Key words: diagnostic experiment, fuzzy automata.

References

1. Gill A. Introduction to the Theory of Finite-state Machines. New-York, San-Francisco, Toronto, London,

McGrow Hill Book Company, 1962 (Rus. ed.: Gill A.

Vvedenie v teoriiu konechnykh avtomatov. Moscow,

Nauka, 1966, 272 p.)

2. Zadeh L. A. Fuzzy sets. Inf. Control., 1965, vol. 8, pp. 338-353.

3. Dubois D., Prade H. Fuzzy Sets and Systems :

Theory and Applications. New York, Academy Press, 1980. 392 p.

4. Kaufmann A. Introduction a la theorie des sous-ensembles flous a l’usage des ingenieurs