Проектирование реактивных алгоритмов путем решения уравнений над автоматами

Чеботарев, А. Н.


	Наукова періодика України		Кібернетика та системний аналіз

Чеботарев А. Н.
Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А. Н. Чеботарев // Кибернетика и системный анализ. - 2012. - Т. 48, № 4. - С. 3-13. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_4_2

The problem of solving inequalities over finite state machines (FSMs) is considered. This problem arises in the compositional approach to the design of reactive systems. The problem is formulated and solved at the level of FSM specifications in the logical language L. We show how to compute the maximal solution to the inequality with respect to the operation of synchronous composition of FSMs.

Повний текст PDF - 135.325 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Чеботарев А.

Бібліографічний опис для цитування:

Чеботарев А. Н. Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А. Н. Чеботарев // Кибернетика и системный анализ. - 2012. - Т. 48, № 4. - С. 3-13. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_4_2.

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача