HomeIssuesSOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN

SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).

The problem of solving inequalities over finite state machines (FSMs) is considered. This problem arises in compositional approach to the design of reactive systems. The problem is formulated and solved at the level of FSMs 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.
Download file
Counter downloads: 74
  • Title SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN
  • Headline SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN
  • Publesher Tomask State UniversityTomsk State University
  • Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(9)
  • Date:
  • DOI
Keywords
реактивная система, спецификация в языке L, У-автомат, синхронная композиция У-автоматов, неравенство над У-автоматами, минимальное решение, reactive system, language L specification, У-automaton, synchronous composition of У-automata, inequality over У-automata, maximal solution
Authors
References
Чеботарев А. Н., Куривчак О. И. Аппроксимация множеств сверхслов формулами языка L // Кибернетика и системный анализ. 2007. №6. С. 18-26.
Брауэр В. Введение в теорию конечных автоматов. М.: Радио и связь, 1987. 392 с.
Чеботарев А. Н. Об одном подходе к функциональной спецификации автоматных систем. I // Кибернетика и системный анализ. 1993. №3. С. 31-42.
Harel D., Pnueli A. On the development of reactive systems // NATO ASI Series. Logic and Models of Concurrent Systems. Berlin: Springer, 1985. F13. P. 477-498.
Yevtushenko N., Zharikova S., Vetrova M. Multi component digital circuit optimization by solving FSM equations // Euromicro Symposium on Digital System Design, IEEE Computer society, 2003. P. 62-68.
Buffalov S., El-Fakih K., Yevtushenko N., Bochmann G. Progressive solutions to a parallel automata equation // LNCS. 2003. V. 2767. P. 367-383.
Yevtushenko N., Villa T., Brayton R., Petrenko A., et. al. Solution of synchronous language equations for logic synthesis // Вестник Томского госуниверситета. 2002. № 1. С. 132-138.
Капитонова Ю. В., Чеботарев А. Н. Индуктивный синтез автомата по спецификации в логическом языке L // Там же. 2000. № 6. С. 3-13.
Чеботарев А. Н. Взаимодействие автоматов // Там же. 1991. № 6. С. 17-29.
SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).
SOLVING INEQUALITIES OVER FINITE STATE MACHINES IN THE REACTIVE SYSTEMS DESIGN | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 3(9).
Download full-text version
Counter downloads: 208
Download file