IDEAS home Printed from https://ideas.repec.org/a/gam/jeners/v14y2021i14p4360-d597315.html
   My bibliography  Save this article

Overview of Control Algorithm Verification Methods in Power Electronics Systems

Author

Listed:
  • Paweł Szcześniak

    (Institute of Automatic Control, Electronics and Electrical Engineering, University of Zielona Góra, 65-516 Zielona Góra, Poland)

  • Iwona Grobelna

    (Institute of Automatic Control, Electronics and Electrical Engineering, University of Zielona Góra, 65-516 Zielona Góra, Poland)

  • Mateja Novak

    (AAU Energy, Faculty of Engineering and Science, Aalborg University, 9220 Aalborg, Denmark)

  • Ulrik Nyman

    (Department of Computer Science, Technical Faculty of IT and Design (TECH), Aalborg University, 9220 Aalborg, Denmark)

Abstract

The paper presents the existing verification methods for control algorithms in power electronics systems, including the application of model checking techniques. In the industry, the most frequently used verification methods are simulations and experiments; however, they have to be performed manually and do not give a 100% confidence that the system will operate correctly in all situations. Here we show the recent advancements in verification and performance assessment of power electronics systems with the usage of formal methods. Symbolic model checking can be used to achieve a guarantee that the system satisfies user-defined requirements, while statistical model checking combines simulation and statistical methods to gain statistically valid results that predict the behavior with high confidence. Both methods can be applied automatically before physical realization of the power electronics systems, so that any errors, incorrect assumptions or unforeseen situations are detected as early as possible. An additional functionality of verification with the use of formal methods is to check the converter operation in terms of reliability in various system operating conditions. It is possible to verify the distribution and uniformity of occurrence in time of the number of transistor switching, transistor conduction times for various current levels, etc. The information obtained in this way can be used to optimize control algorithms in terms of reliability in power electronics. The article provides an overview of various verification methods with an emphasis on statistical model checking. The basic functionalities of the methods, their construction, and their properties are indicated.

Suggested Citation

  • Paweł Szcześniak & Iwona Grobelna & Mateja Novak & Ulrik Nyman, 2021. "Overview of Control Algorithm Verification Methods in Power Electronics Systems," Energies, MDPI, vol. 14(14), pages 1-20, July.
    • Handle: RePEc:gam:jeners:v:14:y:2021:i:14:p:4360-:d:597315
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/1996-1073/14/14/4360/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/1996-1073/14/14/4360/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Pakonen, Antti & Buzhinsky, I & Björkman, K, 2021. "Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems," Reliability Engineering and System Safety, Elsevier, vol. 205(C).
    2. Luis Ibarra & Antonio Rosales & Pedro Ponce & Arturo Molina & Raja Ayyanar, 2017. "Overview of Real-Time Simulation as a Supporting Effort to Smart-Grid Attainment," Energies, MDPI, vol. 10(6), pages 1-24, June.
    3. Jiyoung Song & Kyeon Hur & Jeehoon Lee & Hyunjae Lee & Jaegul Lee & Solyoung Jung & Jeonghoon Shin & Heejin Kim, 2020. "Hardware-in-the-Loop Simulation Using Real-Time Hybrid-Simulator for Dynamic Performance Test of Power Electronics Equipment in Large Power System," Energies, MDPI, vol. 13(15), pages 1-16, August.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Muhammad Ahsan & Jose Rodriguez & Mohamed Abdelrahem, 2023. "Distributed Control Algorithm for DC Microgrid Using Higher-Order Multi-Agent System," Sustainability, MDPI, vol. 15(10), pages 1-20, May.
    2. Pedro Costa & Sónia Pinto & José Fernando Silva, 2023. "A Novel Analytical Formulation of SiC-MOSFET Losses to Size High-Efficiency Three-Phase Inverters," Energies, MDPI, vol. 16(2), pages 1-19, January.

    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. Meysam Yousefzadeh & Shahin Hedayati Kia & Mohammad Hoseintabar Marzebali & Davood Arab Khaburi & Hubert Razik, 2022. "Power-Hardware-in-the-Loop for Stator Windings Asymmetry Fault Analysis in Direct-Drive PMSG-Based Wind Turbines," Energies, MDPI, vol. 15(19), pages 1-17, September.
    2. Ali Elkamel, 2018. "Energy Production Systems," Energies, MDPI, vol. 11(10), pages 1-4, September.
    3. Jaesik Kang, 2022. "Comprehensive Analysis of Transient Overvoltage Phenomena for Metal-Oxide Varistor Surge Arrester in LCC-HVDC Transmission System with Special Protection Scheme," Energies, MDPI, vol. 15(19), pages 1-17, September.
    4. Ignacio Llanez-Caballero & Luis Ibarra & Angel Peña-Quintal & Glendy Catzín-Contreras & Pedro Ponce & Arturo Molina & Ricardo Ramirez-Mendoza, 2023. "The “Smart” Concept from an Electrical Sustainability Viewpoint," Energies, MDPI, vol. 16(7), pages 1-22, March.
    5. Juan Roberto López Gutiérrez & Pedro Ponce & Arturo Molina, 2021. "Real-Time Power Electronics Laboratory to Strengthen Distance Learning Engineering Education on Smart Grids and Microgrids," Future Internet, MDPI, vol. 13(9), pages 1-16, September.
    6. Sisi Pan & Wei Jiang & Ming Li & Hua Geng & Jieyun Wang, 2022. "Evaluation of the Communication Delay in a Hybrid Real-Time Simulator for Weak Grids," Energies, MDPI, vol. 15(6), pages 1-16, March.
    7. Juan R. Lopez & Jose de Jesus Camacho & Pedro Ponce & Brian MacCleery & Arturo Molina, 2022. "A Real-Time Digital Twin and Neural Net Cluster-Based Framework for Faults Identification in Power Converters of Microgrids, Self Organized Map Neural Network," Energies, MDPI, vol. 15(19), pages 1-25, October.
    8. Alanen, Jarmo & Linnosmaa, Joonas & Malm, Timo & Papakonstantinou, Nikolaos & Ahonen, Toni & Heikkilä, Eetu & Tiusanen, Risto, 2022. "Hybrid ontology for safety, security, and dependability risk assessments and Security Threat Analysis (STA) method for industrial control systems," Reliability Engineering and System Safety, Elsevier, vol. 220(C).
    9. Matthias Stifter & Jose Cordova & Jawad Kazmi & Reza Arghandeh, 2018. "Real-Time Simulation and Hardware-in-the-Loop Testbed for Distribution Synchrophasor Applications," Energies, MDPI, vol. 11(4), pages 1-21, April.
    10. Zhao Jin & Jie Zhang & Shuyuan Wang & Bingda Zhang, 2023. "Component-Oriented Modeling Method for Real-Time Simulation of Power Systems," Energies, MDPI, vol. 16(6), pages 1-19, March.
    11. Moiz Muhammad & Holger Behrends & Stefan Geißendörfer & Karsten von Maydell & Carsten Agert, 2021. "Power Hardware-in-the-Loop: Response of Power Components in Real-Time Grid Simulation Environment," Energies, MDPI, vol. 14(3), pages 1-20, January.

    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:jeners:v:14:y:2021:i:14:p:4360-:d:597315. 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.