Проектирование реактивных алгоритмов путем решения уравнений над автоматами
Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою L. Показано, як одержати максимальний розв’язок нерівності відносно операції синх...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84120 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою 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 |