Страница публикации
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
Добавил в систему: