Страница публикации

On checking properties of decentralized controlled discrete-event systems

Авторы: Nagul N., Davydov A.

Журнал: AIP Conference Proceedings 2046

Том:

Номер:

Год: 2018

Отчётный год: 2018

Издательство:

Местоположение издательства:

URL:

Проекты:

Технологии разработки проблемно-ориентированных самоорганизующихся мультиагентных систем группового управления: методы, инструментальные средства, приложения (0348-2016-0003)АААА-А17-117032210078-4

DOI: 10.1063/1.5081542

Аннотация: In spite of intensive study since 1980s, there are still a lot of open problems in the supervisory control theory of discrete-event systems (DES), especially partially observed and decentralized ones, due to complexity issues of supervisor's construction and verification algorithms. An important problem is the decentralized supervisory control, implemented by a set of automata each observing its own part of the system behavior. Preservation of co-observability of specification languages for DES under state space reduction, which is applied to reduce SCT algorithms computational complexity, is studied. One popular automata abstraction is considered and conditions for its applicability are obtained using the method of logical-algebraic equations.

Индексируется WOS: Q5

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет

Публикация в печати: 0