Глава
Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений.
При описании поведения многомодульных систем, в которых обработка входного воздействия производится в течении одного такта времени одновременно всеми компонентами, используется операция синхронной композиции. Наиболее простыми композициями (для решения автоматных уравнений) являются композиции без обратных связей и ветвлений и так называемые "топологии контроллера", поэтому мы предлагаем такие "окна" и рассматривать при оптимизации компонентов.