region of attraction

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control L4DC 2026 HALO: Hybrid Auto-encoded Locomotion with Learned Latent Dynamics, Poincaré Maps, and Regions of Attraction L4DC 2026 Computation-Aware Learning for Stable Control with Gaussian Process RSS 2024 Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024 Meta-Learning-Based Adaptive Stability Certificates for Dynamical Systems AAAI 2024 Approximate Regions of Attraction in Learning with Decision-Dependent Distributions AISTATS 2023 Hybrid Systems Neural Control with Region-of-Attraction Planner L4DC 2023 A Piecewise Learning Framework for Control of Unknown Nonlinear Systems with Stability Guarantees L4DC 2022 Robust Imitation of a Few Demonstrations with a Backwards Model NeurIPS 2022 Convergence behavior of belief propagation: estimating regions of attraction via Lyapunov functions UAI 2021 Lyapunov-stable neural-network control RSS 2021 Offset-free setpoint tracking using neural network controllers L4DC 2021 Neural Lyapunov Control NeurIPS 2019 The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems CoRL 2018