CN110865586A - 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 - Google Patents
基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 Download PDFInfo
- Publication number
- CN110865586A CN110865586A CN201911233946.1A CN201911233946A CN110865586A CN 110865586 A CN110865586 A CN 110865586A CN 201911233946 A CN201911233946 A CN 201911233946A CN 110865586 A CN110865586 A CN 110865586A
- Authority
- CN
- China
- Prior art keywords
- direct current
- control program
- brushless direct
- current motor
- logic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
- G05B19/0423—Input/output
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/25—Pc structure of the system
- G05B2219/25257—Microcontroller
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Control Of Motors That Do Not Use Commutators (AREA)
Abstract
本发明涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,通过对无刷直流电机的霍尔传感器和转向控制变量建模,得到功率管的Petri网,Petri网模型直观易懂,且易于分析。本发明通过Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个验证,是否符合规范,若不符合,重新设计系统的Petri网模型,避免了程序中的逻辑错误。本发明给出无刷直流电机逻辑控制数学表达式,为DSP逻辑控制程序设计做铺垫,数学表达式描述逻辑控制更加严谨和清晰。
Description
技术领域
本发明涉及无刷直流电机DSP逻辑控制领域,更具体地说,涉及一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,以确保逻辑程序的正确性和可靠性。
背景技术
常见的直流无刷电机由电机本体,功率驱动电路和位置传感器组成。电机本体的定子上为电枢绕组,转子材料为永磁体,转子在电机内部产生旋转磁场,电枢绕组按照相应的逻辑顺序通电产生相应的旋转磁场,两磁场相互作用产生旋转力矩,实现无刷电机的正常运转。位置传感器实时检测电机转子的位置,将转子的磁位置信号转换为电信号传给控制器,控制器根据获取的转子位置决定驱动电路中电机的换相信息。
传统的无刷直流电机DSP逻辑控制程序的设计和调试比较繁琐,验证和检测通常依靠人工的反复调试和反复试错,难于避免程序中的逻辑错误,很难得到可靠的逻辑控制程序。
发明内容
本发明的目的在于克服现有技术的不足,提供一种便于验证,避免程序逻辑错误,以得到可靠的逻辑控制程序的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法。
本发明的技术方案如下:
一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,包括如下步骤:
1)建立无刷直流电机逻辑控制的Petri网模型;
2)建立基于Petri网可达图的无刷直流电机动态行为模型;
3)通过Petri网设计无刷直流电机DSP逻辑控制程序。
作为优选,步骤1)具体如下:
1.3)建立每个功率管的Petri网模型:用一对库所和分别描述功率管的导通状态和关断状态;将功率管的梯形换向逻辑表达式形式化为析取范式,将其中每个合取逻辑描述为一个变迁,变迁的输入对应合取逻辑表达式中逻辑变量对应的库所结点,变迁的输出为功率管对应的导通或关断库所结点。
作为优选,步骤2)具体为:根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个验证,是否符合规范,若不符合,重新设计Petri网模型。
作为优选,步骤2)中,初始状态下,默认为全部信号为低电平或关断状态,作为相应的库所标记托肯,获得初始标识。
作为优选,步骤3)具体如下:
3.4)借助每个功率管的Petri网,根据每个变迁的执行逻辑,设计无刷直流电机DSP逻辑控制程序。
本发明的有益效果如下:
本发明所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,通过对无刷直流电机的霍尔传感器和转向控制变量建模,得到功率管的Petri网,Petri网模型直观易懂,且易于分析。
本发明通过Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个验证,是否符合规范,若不符合,重新设计系统的Petri网模型,避免了程序中的逻辑错误。
本发明给出无刷直流电机逻辑控制数学表达式,为DSP逻辑控制程序设计做铺垫,数学表达式描述逻辑控制更加严谨和清晰。
附图说明
图1是无刷直流电机驱动电路的电路示意图;
图2是霍尔传感器信号输出的状态示意图;
图3是无刷直流电机换相的状态示意图;
图4是霍尔传感器的Petri网模型的示意图;
图5是转向控制变量D的Petri网模型的示意图;
图6是功率管VT3的Petri网模型的示意图;
图7是无刷直流电机DSP逻辑控制程序的状态可达图。
具体实施方式
以下结合附图及实施例对本发明进行进一步的详细说明。
本发明为了解决现有技术存在的设计和调试比较繁琐,验证和检测通常依靠人工的反复调试和反复试错,难于避免程序中的逻辑错误,很难得到可靠的逻辑控制程序等不足,提供一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,以确保逻辑程序的正确性和可靠性。
本发明所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,包括如下步骤:
1)建立无刷直流电机逻辑控制的Petri网模型;
2)建立基于Petri网可达图的无刷直流电机动态行为模型;
3)通过Petri网设计无刷直流电机DSP逻辑控制程序。
其中,步骤1)具体如下:
1.1)建立霍尔传感器的Petri网模型:
1.2)建立电机旋转方向控制变量的Petri网模型:
1.3)建立每个功率管的Petri网模型:
对于每一个功率管,用一对库所和分别描述功率管的导通状态和关断状态;将功率管的梯形换向逻辑表达式形式化为析取范式,将其中每个合取逻辑描述为一个变迁,变迁的输入对应合取逻辑表达式中逻辑变量对应的库所结点,变迁的输出为功率管对应的导通或关断库所结点。
步骤2)具体为:根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个验证,是否符合规范,若不符合,重新设计Petri网模型。其中,初始状态下,默认为全部信号为低电平或关断状态,作为相应的库所标记托肯,获得初始标识。
步骤3)具体如下:
3.4)借助每个功率管的Petri网,根据每个变迁的执行逻辑,设计无刷直流电机DSP逻辑控制程序。
实施例
如图1所示,本实施例的无刷直流电机驱动电路中,电机定子绕组星型连接,逆变器采用三相全桥逆变电路,通电方式为两两导通。通过霍尔传感器检测转子位置,传感器输出的脉宽信号为180°电角度,三路霍尔信号输出相位差是120°,如图2、图3所示。控制器处理位置信号输出换相信息,驱动逆变电路三个桥臂上的VT1~VT6功率管,霍尔传感器状态与换相关系如下表所示:
所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,包括如下部分:
1)建立霍尔传感器的Petri网模型
2)建立电机旋转方向控制变量的Petri网模型
3)建立每个功率管的Petri网模型
用一对库所和分别描述功率管的导通状态和关断状态;将功率管的梯形换向逻辑表达式形式化为析取范式,将其中每个合取逻辑描述为一个变迁,变迁的输入对应合取逻辑表达式中逻辑变量对应的库所结点,变迁的输出为功率管对应的导通或关断库所结点。如图6所示,以功率管VT3为例(其他功率管同理,本领域技术人员根据功率管VT3的描述可推导出,不再赘述),变迁的输入为输出为和VT3在4个变迁条件下是导通的,在6个变迁条件下是关断的。
4)建立基于Petri网的无刷直流电机逻辑控制状态可达图
4.1)通过功率管的Petri网模型,可以得到输入变迁集和输出变迁集如下:
4.2)状态可达图中每个状态表示的具体形式如下:
其中,为1,为0时表示霍尔传感器为低电平信号;为0,为1时表示霍尔传感器为高电平信号;为1,为0时表示电机反转,为0,为1时表示电机正转;为1,为1时表示功率管关断状态,为0,为1时表示功率管导通状态。
4.3)如图7所示的状态m0为例(其他状态同理,本领域技术人员根据状态m0的描述可推导出,不再赘述),m0是以虚线表示的结点,则,m0是一个输入初始状态,默认为全部信号为低电平或关断状态,即,m0=(1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0)T。
m0经由变迁激发到m1,m3,m5,m7,m9,m11中任一状态,电机正转,旋转顺序为m1→m3→m5→m7→m9→m11;m0经过变迁激发到m2,m4,m6,m8,m10,m12中任一状态,电机反转,旋转顺序为m2→m4→m6→m8→m10→m12。
根据Petri网可达图,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个将信号代入逻辑表达式验证,是否符合规范,若不符合,重新设计系统的Petri网模型。
5)根据功率管的Petri网设计无刷直流电机的DSP逻辑控制程序
5.4)借助每个功率管的Petri网,根据每个变迁的执行逻辑,设计无刷直流电机DSP逻辑控制程序,编写功率管VTi的赋值程序指令。
以VT3为例,程序如下:
“if VT3==0*
VT3=!VT3*!H1*H2*H3*D;
VT3=!VT3*!H1*H2*!H3*D;
VT3=!VT3*H1*!H2*!H3*!D;
VT3=!VT3*H1*!H2*H3*!D;
else if VT3==1
VT3=VT3*!(!H1*!H2*H3);
VT3=VT3*!(H1*H2*!H3);
VT3=VT3*!(H1*!H2*!H3*D);
VT3=VT3*!(H1*!H2*H3*D);
VT3=VT3*!(!H1*H2*!H3*!D);
VT3=VT3*!(!H1*H2*H3*!D);”。
上述实施例仅是用来说明本发明,而并非用作对本发明的限定。只要是依据本发明的技术实质,对上述实施例进行变化、变型等都将落在本发明的权利要求的范围内。
Claims (5)
1.一种基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,其特征在于,包括如下步骤:
1)建立无刷直流电机逻辑控制的Petri网模型;
2)建立基于Petri网可达图的无刷直流电机动态行为模型;
3)通过Petri网设计无刷直流电机DSP逻辑控制程序。
2.根据权利要求1所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,其特征在于,步骤1)具体如下:
3.根据权利要求1所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,其特征在于,步骤2)具体为:根据Petri网可达图算法,计算无刷直流电机动态系统的状态集合,并根据梯形换向逻辑逐个验证,是否符合规范,若不符合,重新设计Petri网模型。
4.根据权利要求3所述的基于Petri网的无刷直流电机DSP逻辑控制程序的设计方法,其特征在于,步骤2)中,初始状态下,默认为全部信号为低电平或关断状态,作为相应的库所标记托肯,获得初始标识。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2019106820100 | 2019-07-26 | ||
CN201910682010.0A CN110308690A (zh) | 2019-07-26 | 2019-07-26 | 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110865586A true CN110865586A (zh) | 2020-03-06 |
CN110865586B CN110865586B (zh) | 2022-06-07 |
Family
ID=68081838
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910682010.0A Pending CN110308690A (zh) | 2019-07-26 | 2019-07-26 | 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 |
CN201911233946.1A Active CN110865586B (zh) | 2019-07-26 | 2019-12-05 | 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910682010.0A Pending CN110308690A (zh) | 2019-07-26 | 2019-07-26 | 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 |
Country Status (1)
Country | Link |
---|---|
CN (2) | CN110308690A (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111124694B (zh) * | 2019-11-14 | 2023-10-27 | 武汉纺织大学 | 一种基于petri网的可达图的死锁检测和解决方法 |
CN110955251A (zh) * | 2019-12-25 | 2020-04-03 | 华侨大学 | 基于Petri网的移动机器人脑机协同控制方法和系统 |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060120189A1 (en) * | 2004-11-22 | 2006-06-08 | Fulcrum Microsystems, Inc. | Logic synthesis of multi-level domino asynchronous pipelines |
CN102411330A (zh) * | 2011-08-25 | 2012-04-11 | 华侨大学 | 一种将可编程逻辑控制器程序转换为普通Petri网的方法 |
CN103019233A (zh) * | 2012-12-21 | 2013-04-03 | 华侨大学 | 一种检测plc梯形图程序中是否存在竞态的方法 |
CN103699730A (zh) * | 2013-12-18 | 2014-04-02 | 华侨大学 | 一种基于Petri网的组合逻辑FPGA系统可达图的生成方法 |
CN103761387A (zh) * | 2014-01-20 | 2014-04-30 | 华侨大学 | 一种fpga组合逻辑系统顺序规范的形式化验证方法 |
CN105760653A (zh) * | 2016-01-29 | 2016-07-13 | 北京航空航天大学 | 一种基于随机时间Petri网的系统安全性分析方法 |
CN108647380A (zh) * | 2018-04-02 | 2018-10-12 | 同济大学 | 基于PD-Net的并发系统检错方法、系统、介质及设备 |
-
2019
- 2019-07-26 CN CN201910682010.0A patent/CN110308690A/zh active Pending
- 2019-12-05 CN CN201911233946.1A patent/CN110865586B/zh active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060120189A1 (en) * | 2004-11-22 | 2006-06-08 | Fulcrum Microsystems, Inc. | Logic synthesis of multi-level domino asynchronous pipelines |
CN102411330A (zh) * | 2011-08-25 | 2012-04-11 | 华侨大学 | 一种将可编程逻辑控制器程序转换为普通Petri网的方法 |
CN103019233A (zh) * | 2012-12-21 | 2013-04-03 | 华侨大学 | 一种检测plc梯形图程序中是否存在竞态的方法 |
CN103699730A (zh) * | 2013-12-18 | 2014-04-02 | 华侨大学 | 一种基于Petri网的组合逻辑FPGA系统可达图的生成方法 |
CN103761387A (zh) * | 2014-01-20 | 2014-04-30 | 华侨大学 | 一种fpga组合逻辑系统顺序规范的形式化验证方法 |
CN105760653A (zh) * | 2016-01-29 | 2016-07-13 | 北京航空航天大学 | 一种基于随机时间Petri网的系统安全性分析方法 |
CN108647380A (zh) * | 2018-04-02 | 2018-10-12 | 同济大学 | 基于PD-Net的并发系统检错方法、系统、介质及设备 |
Non-Patent Citations (3)
Title |
---|
FERNANDO PEREIRA;LUÍS GOMES: "The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers", 《IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS》 * |
杨宽: "基于混杂系统理论的电力电子电路建模与控制研究", 《中国优秀博硕士学位论文全文数据库(硕士)工程科技Ⅱ辑》 * |
王硕: "基于Petri网的移动机器人控制系统设计", 《中国优秀博硕士学位论文全文数据库(硕士)信息科技辑》 * |
Also Published As
Publication number | Publication date |
---|---|
CN110865586B (zh) | 2022-06-07 |
CN110308690A (zh) | 2019-10-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108322103B (zh) | 一种永磁同步电机相序校正方法及其装置 | |
CN101286727B (zh) | 电动机控制装置 | |
JP2008067556A (ja) | モータ制御装置 | |
CN103780170B (zh) | 用于控制无传感器bldc电机中的电机切换的系统和方法 | |
WO2011001768A1 (ja) | 電動機駆動制御装置 | |
US5892339A (en) | Three-phase brushless DC motor driving circuits and methods using one hall signal | |
JP3416494B2 (ja) | Dcブラシレスモータの制御装置及びdcブラシレスモータの制御方法 | |
JP2008099542A (ja) | モータ制御装置、電流検出ユニット | |
CN110865586B (zh) | 基于Petri网的无刷直流电机DSP逻辑控制程序设计方法 | |
CN102957334A (zh) | 用于控制多相逆变器的方法、系统和设备 | |
CN104579045B (zh) | 一种基于角度传感器的无刷直流电机的换相方法 | |
JP2010011540A (ja) | モータ制御装置 | |
JP5843955B2 (ja) | 単相交流永久磁石モータのセンサレス・ダイナミック駆動方法およびシステム | |
Zhang et al. | Fault‐tolerant control of DSBLDC motor drive under open‐circuit faults | |
CN104702174B (zh) | 无刷直流电机的控制系统及其控制方法 | |
Xu et al. | Brushless DC motor speed control system Simulink simulation | |
CN104579092A (zh) | 电机的控制方法、控制系统及电机电感的计算方法、装置 | |
JP2021072653A (ja) | 電動機の界磁位置検出方法 | |
JP6019397B2 (ja) | モータ制御装置 | |
CN106953556B (zh) | 无感测器三相马达驱动系统及其方法 | |
JP5923437B2 (ja) | 同期電動機駆動システム | |
Fonseca et al. | A new technique to control brushless motor for blood pump application | |
CN114046808B (zh) | 电机霍尔相序自学习的方法及其装置、电子设备 | |
JP2020191724A (ja) | 制御装置 | |
Heo et al. | Integrated sliding‐mode sensorless driver with pre‐driver and current sensing circuit for accurate speed control of PMSM |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |