Метод функционального диагностирования дискретно-событийных систем на основе модели нечеткого конечного автомата
- Авторы: Шумский А..1, Жирабок А..1
-
Учреждения:
- Дальневосточный федеральный университет
- Выпуск: № 2 (2025)
- Страницы: 38-49
- Раздел: Анализ и синтез систем управления
- URL: https://journal-vniispk.ru/1819-3161/article/view/351201
- ID: 351201
Цитировать
Полный текст
Аннотация
Рассматривается задача функционального диагностирования дискретно-событийных систем ответственного назначения, описываемых моделью нечеткого конечного автомата. Предлагается метод решения задачи, особенностью которого является использование математического аппарата нечеткой логики. Описываются операции нечеткой логики и вводится понятие детерминизатора нечеткого конечного автомата. Приводится схема диагностирования, позволяющая формировать структурированный вектор невязки. Схема содержит ряд каналов (по числу возможных дефектов в системе). В основе каждого канала лежит наблюдатель в виде детерминизатора специального нечеткого конечного автомата, одновременно учитывающего возможность как правильного перехода автомата при исправном функционировании системы, так и неправильного перехода, обусловливаемого дефектом в системе. Другой частью канала является блок принятия решения. Предлагаются способы синтеза наблюдателя и блока принятия решения. Особенности применения метода иллюстрируются на примере задачи мониторинга ошибок операторов IT-системы.
Об авторах
А. Е Шумский
Дальневосточный федеральный университет
Автор, ответственный за переписку.
Email: a.e.shumsky@yandex.com
г. Владивосток, Россия
А. Н Жирабок
Дальневосточный федеральный университет
Email: zhirabok@mail.ru
г. Владивосток, Россия
Список литературы
- Wonham, W.M., Kai C., Rudle, K. Supervisory Control of Discrete-Event Systems: A Brief History 1980-2015 // Proc. of 20th IFAC Congress. – Toulouse, France, 2017. – P. 1827–1833.
- Sampath, M., Sengupta, R., Lafortune., S., et al. Failure Diagnosis Using Discrete-Event Models // IEEE Transactions on Control Systems Technology. – 1996. – Vol. 4, no. 2. – P. 105–124.
- Zaytoon, J., Lafortune, S. Overview of Fault Diagnosis Methods for Discrete Event Systems // Annual Reviews in Control. – 2013. – Vol. 37, no. 2. – P. 308–320.
- Cassandras, Ch., Lafortune, S. Introduction to Discrete Event Systems. Second edition. – New York: Springer Science+Business Media, LLC, 2008. – 770 p.
- Жирабок А. Н., Калинина Н. А., Шумский А. Е. Метод мониторинга поведения человека-оператора в человеко-машинных системах // Известия РАН. Теория и системы управления. – 2018. – № 3. – С. 98–107. [Zhirabok, A.N., Kalinina, N.A., Shumskii, A.E. Technique of Monitoring a Human Operator’s Behavior in Man-Machine Systems // Journal of Computer and Systems Sciences International. – 2018. – Vol. 57, no. 3. – P. 443–452.]
- Жирабок А. Н., Калинина Н. А., Шумский А. Е. Метод функционального диагностирования недетерминированных конечных автоматов // Известия РАН. Теория и системы управления. – 2020. – № 4. – С. 62–72. [Zhirabok, A.N., Kalinina, N.A., Shumskii, A.E. Method for the Functional Diagnosis of Nondeterministic Finite State Machines //Journal of Computer and Systems Sciences International. – 2020. – Vol. 59, no. 4. – P. 565–574.]
- Hartmanis, J., Stearns, R. The Algebraic Structure Theory of Sequential Machines. – New York: Prentice-Hall Inc., 1966. – 211 p.
- Заде Л. Понятие лингвистической переменной и ее применение к принятию приближенных решений. – М: Мир, 1976. – 165 с. [Zadeh, L.A., Fu, K.S., Tanaka, K., and Shimura, M. Fuzzy Sets and Their Applications to Cognitive and Decision Processes. – New York: Academic Press, 1975.]
- Wee, W.G., Fu, K.S. A Formulation of Fuzzy Automata and Its Applications as a Model of Learning Systems // IEEE Trans. Syst. Science and Cybernetics. – 1969. – Vol. 5, no. 3. – P. 215–223.
- Ульзутуев И.Е., Максимов А.А. О свойствах решёток подавтоматов нечётких полуавтоматов и их детерминизаторов // Вестник СГТУ. – 2015. – № 2 (79). – С. 117–126. [Ulzutuev, I.E., Maximov, A.A. The Properties of Subautomata Lattices of Fuzzy Semiautomata and Their Determinizators // Vestnik of Saratov State Technical University. – 2015. – No. 2 (79). – P. 117–126. (In Russian)]
- Воеводин В.В., Кузнецов Ю.А. Матрицы и вычисления. – М.: Наука, 1984. – 320 с. [Voevodin, V.V., Kuznetsov, U.A. Matrices and computations. – Moscow: Nauka, 1984. – 320 p. (In Russian)]
- Грузликов А.М., Колесов Н.В. Дискретно-событийная диагностическая модель распределенной вычислительной системы. Независимые цепи // Автоматика и телемеханика. – 2016. – № 10. – С. 139–154. [Gruzlikov, A.M., Kolesov, N.V. Discrete-Event Diagnostic Model for a Distributed Computational System. Independent Chains // Automation and Remote Control. – 2017. – Vol. 77, no. 10. – P. 1805–1817.]
- Tuxi, T.M., Carvalho, L.K., Nunes, E.V.L., Cunha, A.E. Diagnosability Verification Using LTL Model Checking // Discrete Event Dynamic Systems. – 2022 – Vol. 32, no. 3. – P. 399–433.
Дополнительные файлы
