Проектирование реактивных алгоритмов путем решения уравнений над автоматами

Розглядається задача розв’язання нерівностей над автоматами, яка виникає при композиційному підході до проектування реактивних систем. Задача формулюється та розв’язується на рівні специфікацій автоматів логічною мовою L. Показано, як одержати максимальний розв’язок нерівності відносно операції синх...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
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