2024
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
AAAI 2024technical
Neural-based, data-driven analysis and control of dynamical systems have been recently investigated and have shown great promise, e.g. for safety verification or stability analysis. Indeed, not only do neural networks allow for an entirely model-free, data-driven approach, but also for handling arbi…