DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks
系统与控制
2026-05-22 v1 系统与控制
摘要
Neural control offers strong potential for handling highly nonlinear dynamics in shipboard microgrids (SMGs), yet its black-box nature can trigger abrupt control spikes and actuator saturation during initial transient shocks. This letter devises a formal verification method for SMG neural controller to assess its shock responses. Our contributions include: 1) a set-based SMG differential-algebraic equation(DAE) model compatible with set propagation; 2) a DAE-embedded bound propagation approach to compute tight envelopes of all possible neural control output. Extensive case studies demonstrate the effectiveness of the devised method in formally certifying SMG control performance under uncertain disturbances.
引用
@article{arxiv.2605.21701,
title = {DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks},
author = {Fei Feng and Lizhi Wang and Ziqian Liu},
journal= {arXiv preprint arXiv:2605.21701},
year = {2026}
}