[1]詹瑜坤,孙佳伟,罗继亮,等.无刷直流电机DSP逻辑控制程序的Petri网设计方法[J].华侨大学学报(自然科学版),2020,41(6):816-823.[doi:10.11830/ISSN.1000-5013.202003034]
　ZHAN Yukun,SUN Jiawei,LUO Jiliang,et al.Design Method of DSP Logic Control Programs for Brushless Direct Current Motors Using Petri Nets[J].Journal of Huaqiao University(Natural Science),2020,41(6):816-823.[doi:10.11830/ISSN.1000-5013.202003034]
点击复制

无刷直流电机DSP逻辑控制程序的Petri网设计方法()
分享到：

《华侨大学学报（自然科学版）》[ISSN:1000-5013/CN:35-1079/N]

卷:
第41卷
期数:
2020年第6期
页码:
816-823
栏目:
出版日期:
2020-11-20

文章信息/Info

Title:
Design Method of DSP Logic Control Programs for Brushless Direct Current Motors Using Petri Nets
文章编号:
1000-5013(2020)06-0816-08
作者:
詹瑜坤1; 2;  孙佳伟1;  罗继亮1; 2;  郑力新3;  张兵4
1. 华侨大学 信息科学与工程学院, 福建 厦门 361021;2. 华侨大学 福建省电机控制与系统优化调度工程研究中心, 福建 厦门 361021;3. 华侨大学 工学院, 福建 泉州 362021;4. 南阳农业职业学院 机电工程系, 河南 南阳 473000
Author(s):
ZHAN Yukun1; 2;  SUN Jiawei1;  LUO Jiliang1; 2;  ZHENG Lixin3;  ZHANG Bing4
1. College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China; 2. Fujian Engineering Research Center of Motor Control and System Optimal Schedule, Huaqiao University, Xiamen 361021, China; 3. Engineering Institute, Huaqiao University, Quanzhou 362021, China; 4. Department of Electromechanical Engineering, Nanyang Vocational College of Agriculture, Nanyang 473000, China
关键词:
Petri网;  无刷直流电机;  数字信号处理;  逻辑控制程序
Keywords:
Petri nets;  brushless direct current motor;  digital signal processing;  logic control programs
分类号:
TP273.5
DOI:
10.11830/ISSN.1000-5013.202003034
文献标志码:
A
摘要:
提出一种无刷直流(BLDC)电机数字信号处理(DSP)逻辑控制程序的Petri网设计方法.首先,建立霍尔传感器和电机旋转方向的Petri网模型;其次,利用功率管(MOSFET)二二切换规则,设计功率管通断的变迁,获得电机的逻辑控制Petri网模型,并根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并利用换相逻辑逐个验证;最后,借助Petri网变迁的激发规则,设计无刷直流电机DSP逻辑控制程序,并对文中方法进行实验验证.结果表明:文中方法能够保证控制程序的正确性和可靠性,可以有效地简化无刷直流电机DSP逻辑控制程序的调试过程.
Abstract:
A method is proposed by Petri nets for designing digital signal processing(DSP)logic control programs for brushless direct current(BLDC)motors. Firstly, the Petri net models are constructed for the Hall sensors and rotation direction of motor. Secondly, using the two-two switching rule of metal-oxide-semiconductor field effect transistor(MOSFET), the transitions between MOSFET on-off states are designed such that the logic control Petri net model of motor is obtained. Thereafter, the states of the dynamic system of BLDC motor are all calculated via the Petri nets reachable graph algorithm, and verified one by one with the commutation logic. Finally, the DSP control program for a BLDC motor is obtained with the excitation rules ofPetri net transitions, and the proposed method is verified by experiment. The results show that the proposed method can ensure the correctness and reliability of control program, and can effectively simplify the debugging process of BLDC motor DSP logic control program.

参考文献/References:

[1] FREY G,LITZ L.Formal methods in PLC programming[C]//IEEE International Conference on Systems, Man, and Cybernetics.Nashville:IEEE Press,2000:2431-2436.DOI:10.1109/ICSMC.2000.884356.
[2] SWARTJE L,VANBEEK D A,FOKKINK W J,et al.Model-based design of supervisory controllers for baggage handling systems[J].Simulation Modelling Practice and Theory,2017,78(11):28-50.DOI:10.1016/j.simpat.2017.08.005.
[3] YAKOVLEV A,KOELMANS A M.Petri nets and digital hardware design[M].Berlin:Springer,1998.
[4] YAKOVLEV A,GOMES L,LAVAGNO L.Hardware design and Petri nets[M].Norwell:Kluwer,2000.
[5] DIAZ-RODRIGUEZ M,LOPEZ-MELLADO E,BRAMERET P,et al.Translation from Petri nets to Boolean equations for the algebraic design of logic controllers[C]//IEEE International Conference on Electrical Engineering,Computing Science and Automatic Control.Merida City:IEEE Press,2011:1-6.DOI:10.1109/ICEEE.2011.6106 622.
[6] SILVA C,QUINTANS C,COLMENAR A,et al.A method based on Petri nets and a matrix model to implement reconfigurable logic controllers[J].IEEE Transactions on Industrial Electronics,2010,57(10):3544-3566.DOI:10.1109/TIE.2009.203894.
[7] 罗继亮,陈雪琨,齐鹏飞,等.间歇式化工形式化建模与顺序控制器设计[J].上海交通大学学报,2012,46(12):1896-1900.DOI:10.16183/j.cnki.jsjtu.2012.12.004.
[8] 倪会娟,罗继亮.采用普通Petri网的自动化立体仓库系统的PLC程序设计[J].华侨大学学报(自然科学版),2014,35(2):146-150.DOI:10.11830/ISSN.1000-5013.2014.02.0146.
[9] PEREIRA F,GOMES L.FPGA based speed control of brushless DC motors using IOPT Petri net models[C]//IEEE International Conference on Industrial Technology.Cape Town:IEEE Press,2013:1011-1016.
[10] PEREIRA F,GOMES L.The IOPT-flow modeling framework applied to power electronics controllers[J].IEEE Transaction on Industrial Electronics,2017,64(3):2363-2372.DOI:10.1109/TIE.2016.2620101.
[11] 大卫 R,奥兰 H.佩特利网和逻辑控制器图形表示工具(GRAFCET)[M].黄建文,等译.北京:机械工业出版社,1996.
[12] 夏长亮.无刷直流电机控制系统[M].北京:科学出版社,2009.
[13] 温嘉斌,赵红阳,刘子宁.无刷直流电机神经网络PI控制系统设计[J].电机与控制应用,2018,45(12):50-52.
[14] 杨婷婷,张兰红,王韧纲.无刷直流电机直接转矩控制系统的相电流检测及处理[J].电机与控制应用,2019,46(2):87-94.
[15] 王维强,曾晓松,夏茂树.电动汽车永磁无刷直流电机控制器设计[J].华侨大学学报(自然科学版),2019,40(1):20-25.DOI:10.11830/ISSN.1000-5013.201808005.

备注/Memo

备注/Memo:
收稿日期: 2020-03-28
通信作者: 罗继亮(1977-),男,教授,博士,主要从事离散事件系统的研究.E-mail:jlluo@hqu.edu.cn.
基金项目: 国家自然科学基金资助项目(61573158, 61973130)http://www.hdxb.hqu.edu.cn
更新日期/Last Update: 2020-11-20