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

Application of the PCF calculus for solving the problem of nonblocking supervisory control of discrete event systems

Тип публикации: Статья в журнале

Тип материала: Текст

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

Журнал: Journal of Physics: Conference Series: Multiconference on Control Problems (MCCP 2020, 6-8 October 2020)

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

Серия книг: Journal of Physics: Conference Series

Том: 1864

Номер: 1

Год публикации: 2021

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

DOI: 10.1088/1742-6596/1864/1/012048

Аннотация: 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 suggests a representation of discrete event system as a positively constructed formula to imply automated logical inference in the calculus of positively constructed formulas. During the inference, languages of the discrete event system are generated and analyzed. The minimally restricting supervisor for uncontrollable specification may be also designed. A nonblocking supervisor design is illustrated with a simplified model of autonomous underwater vehicle operational modes switching.

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

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

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

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

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

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