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

PCF-based formalization of the parallel composition of automata

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

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

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

Журнал: CEUR Workshop Proceedings: Proc. of 1st Intern. Workshop on Information, Computation, and Control Systems for Distributed Environments (ICCS-DE'2019)

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

Серия книг: CEUR Workshop Proceedings

Том: 2430

Номера страниц: 29-41

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

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

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

DOI: 10.47350/ICCS-DE.2019.03

Аннотация: The paper demonstrates how the automatic theorem proving technique of the PCF calculus is applied to construct parallel composition of automata. Parallel composition plays an essential role in the supervisory control theory at different stages of systems and supervisors design. Improved formalization of discrete event systems as positively-constructed formulas along with auxiliary predicates, serving for accessibility of the automaton checking, simplify parallel composition construction.

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

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

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

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

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

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