Аннотация:
Рассмотрена задача решения неравенств над автоматами, возникающая при композиционном подходе к проектированию реактивных систем. Задача формулируется и решается на уровне спецификаций автоматов в логическом языке $L$. Показано, как получить максимальное решение неравенства относительно операции синхронной композиции автоматов.
Ключевые слова:реактивная система, спецификация в языке $L$, $\Sigma$-автомат, синхронная композиция $\Sigma$-автоматов, неравенство над $\Sigma$-автоматами, минимальное решение.
Полный текст:
PDF файл (584 kB)