关键词：反应合成；管理控制；弥合差距；合成技术
摘 要：The goal of this paper is to present a formal connection between synthesis problems that have been considered,largely separately, in the two research communities of control engineering and formal methods. By making this connection mathematically precise, we hope to \bridge the gap" between two research areas that aim at tackling similar synthesis problems, but from di erent angles, and by emphasizing di erent, and often complementary, aspects. Such a formal bridge should be a source of inspiration for new lines of investigation that will leverage the power of the synthesis techniques that have been developed in these two areas.