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

Positively Constructed Formulas-Based Approach to Mobile Robot Control Using des

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

Журнал: 44th International Convention on Information, Communication and Electronic Technology (MIPRO 2021, Opatija, 27 September - 1 October 2021)



Год: 2021

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


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


Аннотация: The paper describes the principles of the implementation of supervisors for discrete event systems, designed with the help of automatic theorem proving in the calculus of positively constructed formulas. The main advantage of the proposed approach is the ability to carry out complex evaluations of events on the base of the current state of the system. Computable predicates are also may be employed, definitions of which are based on the data coming from external sources. As an illustrative example a mobile robot movement in an unknown environment is considered.

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

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

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

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

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