DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911703427448832 |
|---|---|
| author | Feng, Fei Wang, Lizhi Liu, Ziqian |
| author_facet | Feng, Fei Wang, Lizhi Liu, Ziqian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_21701 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks Feng, Fei Wang, Lizhi Liu, Ziqian Systems and Control 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. |
| title | DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2605.21701 |