Проектирование реактивных алгоритмов путем решения уравнений над автоматами
Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою L. Показано, як одержати максимальний розв’язок нерівності відносно операції синх...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2012 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84120 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою L. Показано, як одержати максимальний розв’язок нерівності відносно операції синхронної композиції автоматів. Іл.: 3. Бібліогр.: 9 назв.
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.
|
|---|---|
| ISSN: | 0023-1274 |