SEROAISE estimates larger certified regions of attraction for PWA and ReLU dynamical systems by growing a certified invariant set via the NUGIS procedure and then solving a linear program for a Lyapunov-like function on that set.
Piecewise linear optimal controllers for hybrid systems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2025 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
SEROAISE: Advancing ROA Estimation for ReLU and PWA Dynamics through Estimating Certified Invariant Sets
SEROAISE estimates larger certified regions of attraction for PWA and ReLU dynamical systems by growing a certified invariant set via the NUGIS procedure and then solving a linear program for a Lyapunov-like function on that set.