On applicability of model checking technique in power systems and electric power industry

• Main Authors: Shkarupylo, Vadym V., Blinov, Ihor V., Chemeris, Alexander A., Dusheba, Valentyna V., Jamil Alsayaydeh, Jamil Abedalrahim
• Other Authors: Kacprzyk, Janusz
• Format: Book Chapter
• Language: English
• Published: Springer Science and Business Media Deutschland GmbH 2021
• Online Access: http://eprints.utem.edu.my/id/eprint/26866/1/ON%20APPLICABILITY%20OF%20MODEL%20CHECKING%20TECHNIQUE%20IN%20POWER%20SYSTEMS%20AND%20ELECTRIC%20POWER%20INDUSTRY.pdf; http://eprints.utem.edu.my/id/eprint/26866/; https://link.springer.com/chapter/10.1007/978-3-030-87675-3_1

The chapter is devoted to the analysis of model checking technique applicability in energetics scenarios. A review of model checking technique application taking place in safety–critical scenarios has been conducted. Proven and widely adopted TLC checker has been considered as an instrument for desi...