Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation

被引：28

作者：

Wisniewski, Remigiusz ^{[1
]}

Bazydlo, Grzegorz ^{[1
]}

Szczesniak, Pawel ^{[1
]}

Wojnakowski, Marcin ^{[1
]}

机构：

[1] Univ Zielona Gora, Inst Elect Engn, PL-65417 Zielona Gora, Poland

来源：

IEEE ACCESS | 2019年 / 7卷

关键词：

Concurrency; FPGA; cyber-physical system; matrix converter; Petri net; SVM; Verilog; CONCURRENT CONTROL-SYSTEMS; DYNAMIC PARTIAL RECONFIGURATION; DISCRETE-EVENT SYSTEMS; PERFORMANCE EVALUATION; DEADLOCK PREVENTION; IMPLEMENTATION; DESIGN; TREE;

D O I：

10.1109/ACCESS.2019.2899316

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper proposes a Petri-net-based specification of cyber-physical systems dedicated to the control of a direct matrix converter with space vector modulation (SVM) and transistor commutation. The technique employed is further applied for hardware implementation in a programmable logic device [namely, field-programmable gate array (FPGA)]. Contrary to the traditional SVM computation methods, concurrency aspects of the digital devices are highly utilized in the presented solution. Therefore, the hardware system is specified by a live and safe Petri net, which is based on the parallelism. Moreover, such a specification can be easily analyzed and verified against the structural properties in order to avoid formal errors and prototyping mistakes (such as deadlocks or non-reachable states). The proposed idea is illustrated by a case-study example of the real prototype of the SVM algorithm. The system has been specified by a live and safe Petri net, analyzed, verified, and finally implemented in the FPGA device. The obtained results of the physical implementation are presented and discussed.

引用

页码：23407 / 23420

页数：14

共 69 条

[11] Hybrid Petri Net scheduling model of household appliances for optimal renewable energy dispatching [J].

Fendri, Dalia ;

Chaabene, Maher .

SUSTAINABLE CITIES AND SOCIETY, 2019, 45 :151-158

[12] Design and Performance of a 200-kHz All-SiC JFET Current DC-Link Back-to-Back Converter [J].

Friedli, Thomas ;

Round, Simon D. ;

Hassler, Dominik ;

Kolar, Johann W. .

IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2009, 45 (05) :1868-1878

[13]

Furukawa Y, 2016, IEEE ENER CONV, DOI 10.1109/ICAUMS.2016.8479849

[14] An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets [J].

Gan, MengDi ;

Wang, ShouGuang ;

Ding, ZhiJun ;

Zhou, MengChu ;

Wu, Wenhui .

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (06) :2135-2140

[15]

Girault C., 2013, PETRI NETS SYSTEMS E

[16]

Gomes Luis, 2013, 2013 23rd International Conference on Field Programmable Logic and Applications (FPL 2013), DOI 10.1109/FPL.2013.6645633

[17] From Petri net models to VHDL implementation of digital controllers [J].

Gomes, Luis ;

Costa, Aniko ;

Barros, Joao Paulo ;

Lima, Paulo .

IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, :94-+

[18] Design and Verification of Real-Life Processes With Application of Petri Nets [J].

Grobelna, Iwona ;

Wisniewski, Remigiusz ;

Grobelny, Michal ;

Wisniewska, Monika .

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (11) :2856-2869

[19] Model checking of reconfigurable FPGA modules specified by Petri nets [J].

Grobelna, Iwona .

JOURNAL OF SYSTEMS ARCHITECTURE, 2018, 89 :1-9

[20] A Simple Carrier-Based Modulation for the SVM of the Matrix Converter [J].

Gruson, Francois ;

Le Moigne, Philippe ;

Delarue, Philippe ;

Videt, Arnaud ;

Cimetiere, Xavier ;

Arpilliere, Michel .

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (02) :947-956

← 1 2 3 4 5 6 7 →