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

The formal logic approach for checking the observability of a specification language on des functioning

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

Журнал: Proc. 41st Intern. Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2018)



Год: 2018

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


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


Аннотация: Using the new approach to the formalization of controlled discrete-event systems (DES), based on positively constructed formulas (PCFs) calculus, the algorithm for testing the observability of the specification languages is presented in this paper. An information mapping in the form of a natural projection and an automata-based representation of a logical DES is considered. Sequences of events, causing changes in the state of the system, are generated as words of a formal language. A discrete-event model of an autonomous underwater vehicle (AUV) as a member of an AUV group is developed, which describe the main high-level functions of the AUV in surveillance missions. Its formalization in the form of PCF is presented.

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

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

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

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

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