Have a personal or library account? Click to login
Formal validation for microgrid reliability based on TLA+ Cover

Formal validation for microgrid reliability based on TLA+

Journal of Electrical Engineering
Volume 77 (2026): Issue 1 (February 2026)
By: Muhammad Nasar and  János Csatár  
Open Access
|Feb 2026

Authors

Muhammad Nasar

muhammad.nasar@edu.bme.hu

Department of Electric Power Engineering, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, Budapest, Hungary

János Csatár

Department of Electric Power Engineering, Faculty of Electrical Engineering and Informatics, Budapest University of Technology and Economics, Budapest, Hungary
DOI: https://doi.org/10.2478/jee-2026-0006 | Journal eISSN: 1339-309X | Journal ISSN: 1335-3632
Journal RSS Feed
Language: English
Page range: 55 - 67
Submitted on: Nov 8, 2025
|
Published on: Feb 18, 2026
Published by: Slovak University of Technology in Bratislava
In partnership with: Paradigm Publishing Services
Publication frequency: 6 issues per year
Keywords:
smart grids design,
microgrid reliability,
formal validation,
TLA+ model checking
Related subjects:
Engineering,
Introductions and overviews,
Engineering, other

© 2026 Muhammad Nasar, János Csatár, published by Slovak University of Technology in Bratislava
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Previous articleVolume 77 (2026): Issue 1 (February 2026)Next article