符号化离散控制器的物理实现技术

作者： 任明明 [1] ; Emil Dumitrescu [2] ; Eric Niel [2] ; 李鹏 [3] ; 李蓉 [3]

摘要：针对基于二进决策树（BDD）技术综合出的符号化离散控制器,提出了一种物理实现技术.该方法通过针对可控变量引入环境变量,以及将监督器方程转换为控制函数向量,同时解决了符号化控制器综合技术带来的控制的非确定性和结构的不兼容性.还尝试将离散控制器技术引入到硬件设计自动化领域,利用离散控制器作系统错误的自动修正.介绍了该技术的理论原理与控制结构特性,并通过一个实际的片上串并转换系统,详细展示了该实现技术.

关键字： EDA 离散控制器综合 形式验证 硬件设计

---

上一篇：基于机器视觉的电池尾端破皮检测
下一篇：用改进的列生成算法优化异构WSN生命周期