IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v7y2019i9p812-d263409.html
   My bibliography  Save this article

Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter

Author

Listed:
  • Remigiusz Wisniewski

    (Institute of Electrical Engineering, University of Zielona Gora, Szarfrana 2, 65-516 Zielona Gora, Poland)

  • Grzegorz Bazydło

    (Institute of Electrical Engineering, University of Zielona Gora, Szarfrana 2, 65-516 Zielona Gora, Poland)

  • Paweł Szcześniak

    (Institute of Electrical Engineering, University of Zielona Gora, Szarfrana 2, 65-516 Zielona Gora, Poland)

  • Iwona Grobelna

    (Institute of Electrical Engineering, University of Zielona Gora, Szarfrana 2, 65-516 Zielona Gora, Poland)

  • Marcin Wojnakowski

    (Institute of Electrical Engineering, University of Zielona Gora, Szarfrana 2, 65-516 Zielona Gora, Poland)

Abstract

The paper proposes a novel design technique of cyber-physical systems (CPSs). The system is specified by a Petri net, and further modelled in a hardware description language (HDL) towards final implementation in a programmable device. Contrary to the traditional design methods, the proposed solution is highly focused on the verification aspects. The system is checked three times before the final implementation in hardware. Initially, the Petri-net based specification is formally verified by the application of the model-checking technique. Secondly, software verification of the modelled system is performed. Finally, the hardware verification of the already implemented system is executed. The proposed method is explained by an example of a direct matrix converter (MC) with transistor commutation and space vector modulation (SVM). The main benefits, as well as the limitations, of the proposed solution are discussed and analysed.

Suggested Citation

  • Remigiusz Wisniewski & Grzegorz Bazydło & Paweł Szcześniak & Iwona Grobelna & Marcin Wojnakowski, 2019. "Design and Verification of Cyber-Physical Systems Specified by Petri Nets—A Case Study of a Direct Matrix Converter," Mathematics, MDPI, vol. 7(9), pages 1-24, September.
    • Handle: RePEc:gam:jmathe:v:7:y:2019:i:9:p:812-:d:263409
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/7/9/812/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/7/9/812/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Naybour, Matthew & Remenyte-Prescott, Rasa & Boyd, Matthew J., 2019. "Reliability and efficiency evaluation of a community pharmacy dispensing process using a coloured Petri-net approach," Reliability Engineering and System Safety, Elsevier, vol. 182(C), pages 258-268.
    2. Pawel Szczesniak, 2019. "Challenges and Design Requirements for Industrial Applications of AC/AC Power Converters without DC-Link," Energies, MDPI, vol. 12(8), pages 1-18, April.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Nursaid Polater & Pietro Tricoli, 2022. "Technical Review of Traction Drive Systems for Light Railways," Energies, MDPI, vol. 15(9), pages 1-26, April.
    2. Yan, R. & Dunnett, S.J. & Jackson, L.M., 2022. "Model-Based Research for Aiding Decision-Making During the Design and Operation of Multi-Load Automated Guided Vehicle Systems," Reliability Engineering and System Safety, Elsevier, vol. 219(C).
    3. Jiaxing Lei & Chaofan Wei & Shuang Feng, 2019. "Input Disturbance Suppression for Unidirectional Matrix Converter with a Stability-Enhancing Modulation Scheme," Energies, MDPI, vol. 12(13), pages 1-13, July.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:7:y:2019:i:9:p:812-:d:263409. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.