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

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)

Том: 2046

Номер:

Год: 2018

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

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

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

URL: https://aip.scitation.org/doi/abs/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: 1

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

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

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

Добавил в систему: