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