TY - JOUR

T1 - An algorithm for generating boolean expressions in VHDL based on ladder diagrams

AU - Xie, Hongxia

AU - Zhuang, Zheng Yun

PY - 2015

Y1 - 2015

N2 - This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-) based programmable logic controllers (PLCs), where an effective conversion from an LD to its associated Boolean expressions seems rarely mentioned. Based on this core thought, the conversion process of the algorithm first involves abstracting and expressing the encountered LD as an activity-on-vertex (AOV) graph. Next, an AND-OR tree in which AND-nodes and OR-nodes connote the series and the parallel relationships between the vertices of the AOV graph is constructed based on the AOV graph. Therefore, by a traversal to the AND-OR tree, the associated Boolean expression, as the output of the algorithm, can be easily obtained in VHDL. The proposed algorithm is then verified with an illustrative example, wherein a complicated LD is given as the input.

AB - This study proposes an algorithm for generating the associated Boolean expression in VHDL, given a ladder diagram (LD) as the input. The purpose of the algorithm is to implement of field-programmable gate array-(FPGA-) based programmable logic controllers (PLCs), where an effective conversion from an LD to its associated Boolean expressions seems rarely mentioned. Based on this core thought, the conversion process of the algorithm first involves abstracting and expressing the encountered LD as an activity-on-vertex (AOV) graph. Next, an AND-OR tree in which AND-nodes and OR-nodes connote the series and the parallel relationships between the vertices of the AOV graph is constructed based on the AOV graph. Therefore, by a traversal to the AND-OR tree, the associated Boolean expression, as the output of the algorithm, can be easily obtained in VHDL. The proposed algorithm is then verified with an illustrative example, wherein a complicated LD is given as the input.

UR - http://www.scopus.com/inward/record.url?scp=84924246225&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84924246225&partnerID=8YFLogxK

U2 - 10.1155/2015/530586

DO - 10.1155/2015/530586

M3 - Article

AN - SCOPUS:84924246225

SN - 1024-123X

VL - 2015

JO - Mathematical Problems in Engineering

JF - Mathematical Problems in Engineering

M1 - 530586

ER -