Введение
1. Модели и методы теории систем 16
1.1. Основы математической теории систем 16
1.2. Проблемы идентификации систем 27
1.3. Конечные автоматы 32
1.4. Булевы функции 38
1.5. Поиск 44
1.6. Выводы 60
2. Поиск на частично упорядоченных структурах 63
2.1. Общие схемы поиска безусловных решений 63
2.2. А4-источник 77
2.3. Поиск безусловных решений для М.-источников 80
2.4. АМ-источник 96
2.5. Поиск адаптивных решений для ЛЛ4-источников 103
2.6. Неприводимые множества представителей семейства множеств 108
2.7. Выводы 118
3. Анализ конечных автоматов 120
3.1. Поиск идентифицирующих слов 120
3.2. Построение нижних экспоненциальных оценок 138
3.3. Сложность поиска минимальных идентифицирующих слов 145
3.4. Оценка диагностических свойств класса автоматов 151
3.5- Построение автоматов-экспериментаторов 157
3.6. Представление автоматов группами 162
3.7. Рекурсивная модель секретного замка 177
3.8. Выводы 179
4. Анализ булевых функций .182
4.1. Комбинаторные алгоритмы построения ДНФ 182
4.2. Управляемость.наблюдаемость булевых функций 193
4.3. Идентификация булевых вектор-функций 199
4.4. Идентификация неисправностей выделением ядра .212
4.5. Выводы 217
5. ДДФ-системы 219
5.1. Основные понятия и определения 219
5.2. Композиции ДДФ-систем 224
5.3. Адаптивное управление ДДФ-системами 226
5.4. Выводы 231
Заключение 233
Список литературы 237
Приложение 248
