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

On Checking Observability of Formal Languages in DES Control Problems

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

Журнал: 8th International Conference on Control, Decision and Information Technologies, CoDIT 2022

Том:

Номер:

Год: 2022

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

Издательство:

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

URL:

Проекты:

Технологии разработки и анализа предметно-ориентированных интеллектуальных систем группового управления в недетерминированных распределенных средах

DOI: 10.1109/CoDIT55151.2022.9804002

Аннотация: The paper describes a new approach to checking the observability of formal regular languages. As well known, the observability is a crucial property for existence of the supervisory control for partially observed discrete event systems. Our checking procedure is based on the automatic theorem proving in the calculus of positively constructed formulas. The presented technique may be successfully used in various control problems including those appearing in robotics.

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

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

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

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

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

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

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