Controller Designer

这项研究是关于转换综合，其中控制规范的幼稚实现被转换为更好地满足总体设计要求的实现。目前正在探索两个新想法。一种是使用与生产系统使用的搜索策略类似的搜索策略，但更高效，因为在搜索规则中隐藏了底层实现的大部分细节。这为基于规则的方法提供了灵活性和模块化，同时避免了性能问题。另一个想法是将反馈构建到系统中，以便可以根据控制器对整体设计的影响来评估有关控制器设计的决策，并相应地进行改进。研究中产生的想法正在试验台上进行试验，这是一个从抽象规范到布局或伪布局的综合系统。正在对将控制器设计器集成到更大的综合系统中进行评估。

This research is on a transformational synthesis in which a naive implementation of a control specification is transformed into one that better meets the requirements of the overall design. Two new ideas are being explored. One is to use a search strategy similar to that used by production systems, but which is more efficient because in the search rules it hides much of the detail of the underlying implementation. This gives the flexibility and modularity of the rule-based approach while avoiding the performance problems. The other idea is to build feed back into the system so that decisions about the design of the controller can be evaluated in terms of their impact on the overall design and refined accordingly. Ideas generated in the research are being experimented with in a testbed, a synthesis system that goes from abstract specification to layout, or pseudo-layout. Evaluation of integrating the controller designer into a larger synthesis system is being made.