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

A first-order logic based approach to problems of decentralized supervisory control of DES

Тип публикации: Статья в журнале

Тип материала: Текст

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

Журнал: AIP Conference Proceedings, 12th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA)

Язык публикации: english

Том: 2046

Номера страниц: 020021

Количество страниц: 1

Год публикации: 2018

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

URL: https://aip.scitation.org/doi/abs/10.1063/1.5081541

DOI: 10.1063/1.5081541

Аннотация: A new way of formalizing and solving various control problems for the important class of dynamic systems known as DES is suggested. The formalization is based on the original first-order logic calculus of the positively-constructed formulas (PCF). A PCF-based algorithm for checking the co-observability property of a specification language restricting DES behavior is presented. Co-observable languages serve as specifications for the decentralized supervisors, which are necessary to implement group control tasks. The approach is demonstrated on the example of a discrete-event model of an autonomous underwater vehicle, which describes AUV's high-level operation modes switching while following the leader, in a surveillance mission, performed by the AUV group.

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

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

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

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

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

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