grid-following converters 1grid-forming converters 1grid strength 1stability analysis 1synchronous generators 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.LO2026
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
eess.SY2026
Stability Analysis of Grid-Following and Grid-Forming Converters Connected to Generators
Alessandra Casiraghi, Marzio Barresi, Samuele Grillo
The paper analyzes how grid‑following and grid‑forming voltage source converters interact with synchronous generators, using small‑signal and time‑domain simulations to assess stab…