ГлавнаяАрхивРЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ

РЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ | Прикладная дискретная математика. 2010. № 3(9).

Рассмотрена задача решения неравенств над автоматами, возникающая при композиционном подходе к проектированию реактивных систем. Задача формулируется и решается на уровне спецификаций автоматов в логическом языке L. Показано, как получить максимальное решение неравенства относительно операции синхронной композиции автоматов.
  • Title РЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ
  • Headline РЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 3(9)
  • Date:
  • DOI
Ключевые слова
реактивная система, спецификация в языке L, У-автомат, синхронная композиция У-автоматов, неравенство над У-автоматами, минимальное решение, reactive system, language L specification, У-automaton, synchronous composition of У-automata, inequality over У-automata, maximal solution
Авторы
Ссылки
Чеботарев А. Н., Куривчак О. И. Аппроксимация множеств сверхслов формулами языка 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.
РЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ | Прикладная дискретная математика. 2010. № 3(9).
РЕШЕНИЕ НЕРАВЕНСТВ НАД АВТОМАТАМИ В ПРОЕКТИРОВАНИИ РЕАКТИВНЫХ СИСТЕМ | Прикладная дискретная математика. 2010. № 3(9).
Полнотекстовая версия