Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT
Модели класса темпоральных автоматов предоставляют удобную абстракцию для решения задач диагностики и управления в системах промышленного Интернет вещей (IIoT). Для их применения необходимо выполнять идентификацию автомата путем пассивного обучения онлайн, используя только положительные образцы. Так...
Saved in:
| Date: | 2021 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine
2021
|
| Subjects: | |
| Online Access: | https://jais.net.ua/index.php/files/article/view/180 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems of Control and Informatics |
Institution
Problems of Control and Informatics| id |
oai:ojs2.jais.net.ua:article-180 |
|---|---|
| record_format |
ojs |
| institution |
Problems of Control and Informatics |
| baseUrl_str |
|
| datestamp_date |
2024-03-14T10:54:41Z |
| collection |
OJS |
| language |
Russian |
| topic |
промисловий інтернет речей кіберфізичні виробничі системи виявлення аномалій гібридний темпоральний автомат ідентифікація систем потокова кластеризація |
| spellingShingle |
промисловий інтернет речей кіберфізичні виробничі системи виявлення аномалій гібридний темпоральний автомат ідентифікація систем потокова кластеризація Kadomskіy , Kirill Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| topic_facet |
промышленный интернет вещей киберфизические производственные системы выявление аномалий гибридный темпоральный автомат идентификация систем потоковая кластеризация промисловий інтернет речей кіберфізичні виробничі системи виявлення аномалій гібридний темпоральний автомат ідентифікація систем потокова кластеризація industrial IoT (IIoT) cyber-physical production systems (CPPS) anomaly detection hybrid timed automata (HTA) model identification sequential clustering |
| format |
Article |
| author |
Kadomskіy , Kirill |
| author_facet |
Kadomskіy , Kirill |
| author_sort |
Kadomskіy , Kirill |
| title |
Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| title_short |
Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| title_full |
Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| title_fullStr |
Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| title_full_unstemmed |
Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT |
| title_sort |
застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними iiot |
| title_alt |
Применение потоковой кластеризации для идентификации гибридных темпоральных автоматов на аналоговых данных IIoT Using sequential clustering to identification of hybrid timed automata from analog IIoT data |
| description |
Модели класса темпоральных автоматов предоставляют удобную абстракцию для решения задач диагностики и управления в системах промышленного Интернет вещей (IIoT). Для их применения необходимо выполнять идентификацию автомата путем пассивного обучения онлайн, используя только положительные образцы. Такой тип обучения возможен только для гибридных автоматов (HTA) с алгоритмом OTALA. Однако для обучения HTA необходима последовательность дискретных событий вместо непрерывных аналоговых временных рядов, обычно встречающихся в IIoT. A. von Birgelen, O. Niggemann и другие предпринимали попытки восполнить эту пробел за счет предварительной обработки наблюдений самоорганизационными картами (SOM) с преобразованием водораздела, однако полученные модели часто неэффективны в реальных условиях. В данной статье задача идентификации темпорального автомата по аналоговым данным IIoT решается с применением инкрементного алгоритма кластеризации на основе моделей (IMCF). IMCF - это потоковый алгоритм, который обрабатывает входные временные ряды в режиме онлайн и превращает их в последовательность дискретных состояний с четкими или нечеткими переходами между ними. Такие переходы далее используются как события, необходимые для идентификации HTA по алгоритму OTALA. Полученные модели экспериментально исследованы на примере системы IIoT, ранее представлявшей сложность для моделирования. Достигнутое повышение эффективности на 24,9–76,8 % демонстрирует, что дискретизация с помощью IMCF более информативна для идентификации HTA. Также обсуждаются более широкие перспективы применения HTA в системах IIoT и определены ограничения, остающиеся актуальными для подобных практических применений: дискретность переходов между состояниями HTA и отсутствие долговременной памяти переходов. |
| publisher |
V.M. Glushkov Institute of Cybernetics of NAS of Ukraine |
| publishDate |
2021 |
| url |
https://jais.net.ua/index.php/files/article/view/180 |
| work_keys_str_mv |
AT kadomskíykirill primeneniepotokovojklasterizaciidlâidentifikaciigibridnyhtemporalʹnyhavtomatovnaanalogovyhdannyhiiot AT kadomskíykirill zastosuvannâpotokovoíklasterizacíídlâídentifíkacíígíbridnihtemporalʹnihavtomatívzaanalogovimidanimiiiot AT kadomskíykirill usingsequentialclusteringtoidentificationofhybridtimedautomatafromanalogiiotdata |
| first_indexed |
2025-10-30T02:48:45Z |
| last_indexed |
2025-10-30T02:48:45Z |
| _version_ |
1847373359258533888 |
| spelling |
oai:ojs2.jais.net.ua:article-1802024-03-14T10:54:41Z Применение потоковой кластеризации для идентификации гибридных темпоральных автоматов на аналоговых данных IIoT Застосування потокової кластеризації для ідентифікації гібридних темпоральних автоматів за аналоговими даними IIoT Using sequential clustering to identification of hybrid timed automata from analog IIoT data Kadomskіy , Kirill промышленный интернет вещей киберфизические производственные системы выявление аномалий гибридный темпоральный автомат идентификация систем потоковая кластеризация промисловий інтернет речей кіберфізичні виробничі системи виявлення аномалій гібридний темпоральний автомат ідентифікація систем потокова кластеризація industrial IoT (IIoT) cyber-physical production systems (CPPS) anomaly detection hybrid timed automata (HTA) model identification sequential clustering Модели класса темпоральных автоматов предоставляют удобную абстракцию для решения задач диагностики и управления в системах промышленного Интернет вещей (IIoT). Для их применения необходимо выполнять идентификацию автомата путем пассивного обучения онлайн, используя только положительные образцы. Такой тип обучения возможен только для гибридных автоматов (HTA) с алгоритмом OTALA. Однако для обучения HTA необходима последовательность дискретных событий вместо непрерывных аналоговых временных рядов, обычно встречающихся в IIoT. A. von Birgelen, O. Niggemann и другие предпринимали попытки восполнить эту пробел за счет предварительной обработки наблюдений самоорганизационными картами (SOM) с преобразованием водораздела, однако полученные модели часто неэффективны в реальных условиях. В данной статье задача идентификации темпорального автомата по аналоговым данным IIoT решается с применением инкрементного алгоритма кластеризации на основе моделей (IMCF). IMCF - это потоковый алгоритм, который обрабатывает входные временные ряды в режиме онлайн и превращает их в последовательность дискретных состояний с четкими или нечеткими переходами между ними. Такие переходы далее используются как события, необходимые для идентификации HTA по алгоритму OTALA. Полученные модели экспериментально исследованы на примере системы IIoT, ранее представлявшей сложность для моделирования. Достигнутое повышение эффективности на 24,9–76,8 % демонстрирует, что дискретизация с помощью IMCF более информативна для идентификации HTA. Также обсуждаются более широкие перспективы применения HTA в системах IIoT и определены ограничения, остающиеся актуальными для подобных практических применений: дискретность переходов между состояниями HTA и отсутствие долговременной памяти переходов. Моделі класу темпоральних автоматів надають зручну абстракцію для вирішення завдань діагностики та управління у системах промислового Інтернету речей (IIoT). Для їхнього застосування необхідно виконувати ідентифікаціюавтомата шляхом пасивного навчання онлайн, використовуючи лише позитивні зразки. Такий тип навчання можливий лише для гібридних темпоральних автоматів (HTA) із алгоритмом OTALA. Однак для навчання HTA необхідна послідовність дискретних подій замість безперервних аналогових часових рядів, які зазвичай зустрічаються в IIoT. A. von Birgelen, O. Niggemann та інші робили спроби заповнити цю прогалину за рахунок попередньої обробки спостережень самоорганізаційними картами (SOM) із перетворенням вододілу, проте отримані моделі часто неефективні в реальних умовах. У даній статті завдання ідентифікації темпорального автомата за аналоговими даними IIoT вирішується із застосуванням інкрементного алгоритму кластеризації на основі моделей (IMCF). IMCF — це потоковий алгоритм, який обробляє вхідні часові ряди в режимі онлайн і перетворює їх на послідовність дискретних станів із чіткими або нечіткими переходами між ними. Такі переходи далі використовуються як події, необхідні для ідентифікації HTA за алгоритмом OTALA. Отримані моделі експериментально досліджено на прикладі системи IIoT, яка раніше представляла складність для моделювання. Досягнуте підвищення ефективності на 24,9–76,8 % демонструє, що дискретизація за допомогою IMCF більш інформативна для ідентифікації HTA. Також обговорюються ширші перспективи застосування HTA в системах IIoT і визначено обмеження, що залишаються актуальними для подібних практичних застосувань: дискретність переходів між станами HTA і відсутність довготривалої пам’яті переходів. In Industrial IoT (IIoT) systems, timed automata provide a highly useful abstraction for diagnosis and control tasks. Applying them requires automaton to be learned in passive online manner using positive samples only. Such kind of learning is supported by Hybrid timed Automata (HTA) and algorithm OTALA, but requireds a sequence of discrete events rather than continuous analog time series typically found in IIoT. Recent attempts to cover this gap, taken by A. von Birgelen, O. Niggemann, and others, involved pre-processing observations with a self-organized map (SOM) and watershed transform, yet resulting models have proven ineffective in some real-world systems. In this paper, incremental model-based clustering (IMCF) is employed to learn timed automaton from analog IIoT data. IMCF is a sequential algorithm that processes observed time-series online and splits them into a sequence of discrete states with either crisp or fuzzy transitions between them. Such transitions are then treated as events required for HTA identification with OTALA. Obtained models are evaluated in a case of IIoT system that has proved to be challenging for existing modelling techniques. Experimental results show 24,9–76,8% increase in model’s performance and suggest that discretizing obtained with IMCF has higher informativeness for HTA identification. Finally, wider perspectives of applying HTA in IIoT are discussed, and remaining principal limitations are identified as discrete nature of state transitions, and lack of long-term memory for transitions. V.M. Glushkov Institute of Cybernetics of NAS of Ukraine 2021-05-24 Article Article application/pdf https://jais.net.ua/index.php/files/article/view/180 10.34229/1028-0979-2021-5-3 Міжнародний науково-технічний журнал "Проблеми керування та інформатики"; Том 66 № 5 (2021): Міжнародний науково-технічний журнал "Проблеми керування та інформатики"; 31-44 International Scientific Technical Journal "Problems of Control and Informatics; Том 66 № 5 (2021): International Scientific and Technical Journal "PROBLEMS OF CONTROL AND INFORMATICS"; 31-44 International Scientific Technical Journal "Problems of Control and Informatics"; Vol. 66 No. 5 (2021): International Scientific and Technical Journal "PROBLEMS OF CONTROL AND INFORMATICS"; 31-44 2786-6505 2786-6491 10.34229/1028-0979-2021-5 ru https://jais.net.ua/index.php/files/article/view/180/270 Copyright (c) 2021 Kirill Kadomskіy https://creativecommons.org/licenses/by-nc-nd/4.0 |