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

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)

Том: 1864

Номер: 1

Год: 2021

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


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


Аннотация: 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: 0

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

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

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

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