论文部分内容阅读
本文给出了一种控制器综合中有限状态机分配优化算法.该算法研究了减少相关性的按权状态分配方法,针对经典的按权状态分配算法存在的权值难以计算和权的定义不能客观反映相关性等问题,利用Espresso方法设计了面向两级逻辑实现的改进和扩充的按权状态分配算法.该算法状态分配速度快,适合大规模控制器的状态分配.