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

Logic inference based construction of a supervisor for a discrete event system

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

Журнал: CEUR Workshop Proceedings: 2nd Intern. Workshop on Information, Computation, and Control Systems for Distributed Environments (ICCS-DE 2020; Irkutsk, 6-7 July 2020)

Том: 2638


Год: 2020

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


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


Аннотация: The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory control theory. The approach proposes a representation of automata-based discrete event system as a positively constructed formula and implementation of the calculus of positively constructed formulas. The stages of a supervisor construction are illustrated with a simplified model of an autonomous underwater vehicle operational modes switching. The supremal controllable sublanguage of the specification and the supervisor are constructed.

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

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

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

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

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