技术总结
本发明涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法，通过对无刷直流电机的霍尔传感器和转向控制变量建模，得到功率管的Petri网，Petri网模型直观易懂，且易于分析。本发明通过Petri网可达图算法，计算无刷直流电机动态系统的状态集合，并根据梯形换向逻辑逐个验证，是否符合规范，若不符合，重新设计系统的Petri网模型，避免了程序中的逻辑错误。本发明给出无刷直流电机逻辑控制数学表达式，为DSP逻辑控制程序设计做铺垫，数学表达式描述逻辑控制更加严谨和清晰。
技术研发人员：詹瑜坤;罗继亮;聂卓赟;张兵;付雨豪
受保护的技术使用者：华侨大学
技术研发日：2019.12.05
技术公布日：2020.03.06