Проектирование реактивных алгоритмов путем решения уравнений над автоматами
Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою 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| id |
nasplib_isofts_kiev_ua-123456789-84120 |
|---|---|
| record_format |
dspace |
| spelling |
Чеботарев, А.Н. 2015-07-03T09:01:00Z 2015-07-03T09:01:00Z 2012 Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84120 519.731.1 Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою 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. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Проектирование реактивных алгоритмов путем решения уравнений над автоматами Проектування реактивних алгоритмів шляхом розв’язання рівнянь над автоматами Design of reactive algorithms by solving equations over finite state machines Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| spellingShingle |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами Чеботарев, А.Н. Кибернетика |
| title_short |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| title_full |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| title_fullStr |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| title_full_unstemmed |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| title_sort |
проектирование реактивных алгоритмов путем решения уравнений над автоматами |
| author |
Чеботарев, А.Н. |
| author_facet |
Чеботарев, А.Н. |
| topic |
Кибернетика |
| topic_facet |
Кибернетика |
| publishDate |
2012 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Проектування реактивних алгоритмів шляхом розв’язання рівнянь над автоматами Design of reactive algorithms by solving equations over finite state machines |
| 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.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84120 |
| citation_txt |
Проектирование реактивных алгоритмов путем решения уравнений над автоматами / А.Н. Чеботарев // Кибернетика и системный анализ. — 2012. — Т. 48, № 4. — С. 3-13. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT čebotarevan proektirovaniereaktivnyhalgoritmovputemrešeniâuravneniinadavtomatami AT čebotarevan proektuvannâreaktivnihalgoritmívšlâhomrozvâzannârívnânʹnadavtomatami AT čebotarevan designofreactivealgorithmsbysolvingequationsoverfinitestatemachines |
| first_indexed |
2025-12-07T17:32:29Z |
| last_indexed |
2025-12-07T17:32:29Z |
| _version_ |
1850871643849621504 |