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

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)

Язык публикации: english

Серия книг: CEUR Workshop Proceedings:

Том: 2638

Номера страниц: 53-67

Количество страниц: 15

Год публикации: 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: Нет

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет