Проектирование реактивных алгоритмов путем решения уравнений над автоматами
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
|
|
| Creator |
Чеботарев, А.Н.
|
|
| Subject |
Кибернетика
|
|
| Description |
Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою 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. |
|
| Date |
2015-07-03T09:01:00Z
2015-07-03T09:01:00Z 2012 |
|
| Type |
Article
|
|
| Identifier |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84120 519.731.1 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|