modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring

📅 2025-08-25
📈 Citations: 0
✨ Influential: 0
📄 PDF
🤖 AI Summary
Power system domain experts often lack programming proficiency, hindering efficient modeling and analysis. Method: This paper proposes a symbolic, model-driven solution framework built upon an open model architecture. It enables intuitive definition of system components (e.g., AVRs, LTCs) via mathematical expressions—including complex-valued variables—without requiring code implementation. The framework integrates continuous power flow computation and equality-constrained Gauss–Newton state estimation, and ensures compatibility with standard datasets through a MATPOWER data converter. Contribution/Results: Compared to conventional tools, the framework substantially lowers the entry barrier for non-programmers, enhances modeling flexibility and accessibility, and supports rapid prototyping. Its design facilitates seamless adoption in power system education, research, and engineering practice, while preserving numerical rigor and interoperability with established simulation ecosystems.

Technology Category

Cognitive Modeling & Cognitive Systems: Symbolic RepresentationsConstraint Satisfaction and Optimization: Mixed Discrete/Continuous OptimizationSearch and Optimization: Mixed Discrete/Continuous Search

Application Category

Systems and Infrastructure for Web, Mobile and WoT: Experiences and lessons learnt from Web-based algorithms and system deploymentsUser Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systemsSemantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactions
📝 Abstract
The development of advanced software tools for power system analysis requires extensive programming expertise. Even when using open-source tools, programming skills are essential to modify built-in models. This can be particularly challenging for domain experts who lack coding proficiency. This paper introduces modelSolver, a software solution with a new framework centered around symbolic mathematical modeling. The proposed paradigm facilitates defining models through intuitive mathematical expressions, thus eliminating the need for traditional programming constructs such as arrays, loops, and sparse matrix computations. The modelSolver focuses on power flow and state estimation using an open-box approach, which allows users to specify custom models using either real or complex variables. Unlike existing tools that rely on hard-coded models, modelSolver enables the representation of a wide range of advanced functionalities, including power flow with voltage regulators and load tap changers, continuation power flow, and Gauss-Newton state estimation with equality constraints. Compatibility with MATPOWER is ensured via a converter that automates importing data files. The framework prioritizes model-driven development and empowers domain experts to focus on power system modeling without programming barriers. It aims to simplify power system computations, making them more accessible to students, scientists, and practitioners.
Problem

Research questions and friction points this paper is trying to address.

Simplifying power system modeling for non-programming domain experts
Enabling custom power flow and state estimation without coding
Providing symbolic mathematical framework to replace programming constructs
Innovation

Methods, ideas, or system contributions that make the work stand out.

Symbolic mathematical modeling framework
Open-box approach for custom models
MATPOWER compatibility via automated converter
🔎 Similar Papers
No similar papers found.
💼 Related Jobs
No related jobs found.
I
Izudin Dzafic
University of Sarajevo, Faculty of Electrical Engineering, Zmaja od Bosne bb 71000 Sarajevo
R
Rabih A. Jabr
Department of Electrical & Computer Engineering, American University of Beirut, P.O. Box 11-0236, Riad El- Solh / Beirut 11072020, Lebanon