公开(公告)号：CN110308690A

公开(公告)日：2019-10-08

申请号：CN201910682010.0

申请日：2019-07-26

Applicant: 华侨大学

Inventor： 詹瑜坤 ,  罗继亮 ,  聂卓赟 ,  张兵 ,  付雨豪

IPC: G05B19/042

Abstract: 本发明涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法，通过对无刷直流电机的霍尔传感器和转向控制变量建模，得到功率管的Petri网，Petri网模型直观易懂，且易于分析。本发明通过Petri网可达图算法，计算无刷直流电机动态系统的状态集合，并根据梯形换向逻辑逐个验证，是否符合规范，若不符合，重新设计系统的Petri网模型，避免了程序中的逻辑错误。本发明给出无刷直流电机逻辑控制数学表达式，为DSP逻辑控制程序设计做铺垫，数学表达式描述逻辑控制更加严谨和清晰。

公开(公告)号：CN110865586A

公开(公告)日：2020-03-06

申请号：CN201911233946.1

申请日：2019-12-05

Applicant: 华侨大学

Inventor： 詹瑜坤 ,  罗继亮 ,  聂卓赟 ,  张兵 ,  付雨豪

IPC: G05B19/042

Abstract: 本发明涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法，通过对无刷直流电机的霍尔传感器和转向控制变量建模，得到功率管的Petri网，Petri网模型直观易懂，且易于分析。本发明通过Petri网可达图算法，计算无刷直流电机动态系统的状态集合，并根据梯形换向逻辑逐个验证，是否符合规范，若不符合，重新设计系统的Petri网模型，避免了程序中的逻辑错误。本发明给出无刷直流电机逻辑控制数学表达式，为DSP逻辑控制程序设计做铺垫，数学表达式描述逻辑控制更加严谨和清晰。

公开(公告)号：CN110865586B

公开(公告)日：2022-06-07

申请号：CN201911233946.1

申请日：2019-12-05

Applicant: 华侨大学

Inventor： 詹瑜坤 ,  罗继亮 ,  聂卓赟 ,  张兵 ,  付雨豪

IPC: G05B19/042

Abstract: 本发明涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法，通过对无刷直流电机的霍尔传感器和转向控制变量建模，得到功率管的Petri网，Petri网模型直观易懂，且易于分析。本发明通过Petri网可达图算法，计算无刷直流电机动态系统的状态集合，并根据梯形换向逻辑逐个验证，是否符合规范，若不符合，重新设计系统的Petri网模型，避免了程序中的逻辑错误。本发明给出无刷直流电机逻辑控制数学表达式，为DSP逻辑控制程序设计做铺垫，数学表达式描述逻辑控制更加严谨和清晰。