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

The construction of controllable sublanguage of specification for DES via PCFs based inference

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

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

Авторы: 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

Номера страниц: 68-78

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

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

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

Аннотация: The paper considers how methods of a logical inference search in the calculus of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specification on the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specification is presented.

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

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

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

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

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

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