Аннотация:
Разработаны основные положения, модели и методы для решения задач контроля и диагностирования процессов в системе по показателям изменений связей событий в процессах. Для этого впервые классическое рекуррентное определение последовательностей расширено до $Z$-рекуррентного определения последовательностей, позволяющего представлять процессы формальными моделями в виде порядков $Z$-рекуррентных форм. Разработаны классификация порядков $Z$-рекуррентных форм и алгоритмы решения задач контроля и диагностирования процессов в системе с помощью представления процессов порядками $Z$-рекуррентных форм. Для повышения эффективности вычисления порядков $Z$-рекуррентных форм разработана алгебра отношений предшествования элементов, формулы которой позволяют разработать приемы вычисления порядков $Z$-рекуррентных форм.
Ключевые слова:задача контроля и диагностирования, сложная система, процесс, событие, последовательность, $Z$-рекуррентное определение, порядок $Z$-рекуррентной формы, алгебра предшествования элементов.
УДК:519.716
Поступила в редакцию: 03.07.2018 Исправленный вариант: 30.10.2018 Принята в печать: 12.11.2018