Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dzafic, Izudin, Jabr, Rabih A.
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Symbolic Computation Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Power Flow Solution in Unbalanced 3-Wire MV and 4-Wire LV Networks Using Symmetrical and Eigen-basis Coordinates
by: Aljadani, Abduljalil S., et al.
Published: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
by: Demin, Alexander, et al.
Published: (2025)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
by: Dinu, Marius-Constantin, et al.
Published: (2024)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

Network Simulator-centric Compositional Testing
by: Rousseaux, Tom, et al.
Published: (2025)

Practical Modelling with Bigraphs
by: Archibald, Blair, et al.
Published: (2024)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

PANTHER: Pluginizable Testing Environment for Network Protocols
by: Crochet, Christophe, et al.
Published: (2025)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
by: Wang, Sen, et al.
Published: (2023)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
by: Lucio, Levi
Published: (2026)

Exact hierarchical reductions of dynamical models via linear transformations
by: Demin, Alexander, et al.
Published: (2023)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

Constraint-Guided Symbolic Regression for Data-Efficient Kinetic Model Discovery
by: Servia, Miguel Ángel de Carvalho, et al.
Published: (2025)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
by: Houichime, Tarik, et al.
Published: (2025)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
by: Aso-Mollar, Ángel, et al.
Published: (2025)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
by: Bandyopadhyay, Soumyadip, et al.
Published: (2025)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)