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

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

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

Номера страниц: 1567-1572

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

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

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

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: Нет