Phisycal Implementation Technique for Symbolic Discrete Controller Synthesis
微电子学与计算机2014年31卷第5期 页码:112-116
作者机构:
1. 1 南京南瑞集团公司 信息通信技术分公司,江苏,南京,211100
2. 2 法国国家科学研究中心 安培实验室, 法国 维勒班F,69100
3. 3 宁夏电力公司信息通信分公司,宁夏,银川,750000
作者简介:
基金信息:
DOI:
中图分类号:
纸质出版:2014
稿件说明:
移动端阅览
任明明, Emil Dumitrescu, Eric Niel, 李鹏, 李蓉. 符号化离散控制器的物理实现技术[J]. 微电子学与计算机, 2014, 31(5): 112-116,120.
REN Ming-ming, Emil Dumitrescu, Eric Niel, et al. Phisycal Implementation Technique for Symbolic Discrete Controller Synthesis[J]. 2014, 31(5): 112-116.
任明明, Emil Dumitrescu, Eric Niel, 李鹏, 李蓉. 符号化离散控制器的物理实现技术[J]. 微电子学与计算机, 2014, 31(5): 112-116,120.DOI:
REN Ming-ming, Emil Dumitrescu, Eric Niel, et al. Phisycal Implementation Technique for Symbolic Discrete Controller Synthesis[J]. 2014, 31(5): 112-116.DOI:
A physical hardware implementation technique has been proposed for discrete controllers synthesized by symbolic DCS.By introducing auxiliary variables for the controllable input variables and transforming the supervisor equation to a vector of control functions
this method resolves both the control non-determinism problem and the structural incompatibility problem introduced by the symbolic technique.We also try to introduce the DCS technique into the hardware design automation area
hoping to correct automatically design errors.This paper illustrates this technique as well as the control architecture by a real-life hardware design.