|
|
Прикладная дискретная математика, 2010, номер 3(9), страницы 100–110
(Mi pdm236)
|
 |
|
 |
Логическое проектирование дискретных автоматов
Решение неравенств над автоматами в проектировании реактивных систем
А. Н. Чеботарёв
Институт кибернетики НАН Украины, г. Киев, Украина
Аннотация:
Рассмотрена задача решения неравенств над автоматами, возникающая при композиционном подходе к проектированию реактивных систем. Задача формулируется и решается на уровне спецификаций автоматов в логическом языке $L$. Показано, как получить максимальное решение неравенства относительно операции синхронной композиции автоматов.
Ключевые слова:
реактивная система, спецификация в языке $L$, $\Sigma$-автомат, синхронная композиция $\Sigma$-автоматов, неравенство над $\Sigma$-автоматами, минимальное решение.
Образец цитирования:
А. Н. Чеботарёв, “Решение неравенств над автоматами в проектировании реактивных систем”, ПДМ, 2010, № 3(9), 100–110
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm236 https://www.mathnet.ru/rus/pdm/y2010/i3/p100
|
| Статистика просмотров: |
| Страница аннотации: | 221 | | PDF полного текста: | 65 | | Список литературы: | 62 | | Первая страница: | 1 |
|
Цитирование в формате AMSBIB
Обратная связь: