web address of the page
http://jnas.nbuv.gov.ua/article/UJRN-0000232543
Cybernetics and Systems Analysis 
А - 2019 /
Issue (2012, Т. 48, № 4)
Чеботарев А. Н.
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
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.
Бібліографічний опис:
Чеботарев А. Н. Проектирование реактивных алгоритмов путем решения уравнений над автоматами. Кибернетика и системный анализ. 2012. Т. 48, № 4. С. 3-13. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000232543
PDF
Transliteration