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