The paper devises a DAE-embedded bound propagation method to formally verify neural control outputs in shipboard microgrids under transient shocks and uncertain disturbances.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks
The paper devises a DAE-embedded bound propagation method to formally verify neural control outputs in shipboard microgrids under transient shocks and uncertain disturbances.