The authors extend an SOS-based stability verification framework to smooth semialgebraic activations and recurrent equilibrium networks, and introduce a sequential algorithm that grows certified regions of attraction.
Complexity of stability and control- lability of elementary hybrid systems,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
eess.SY 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
support 1representative citing papers
citing papers explorer
-
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
The authors extend an SOS-based stability verification framework to smooth semialgebraic activations and recurrent equilibrium networks, and introduce a sequential algorithm that grows certified regions of attraction.