Hyperlyve: Hyperplane Partitioning for Neural Lyapunov Verification

arXiv:2605.03992 · eess.SY, cs.SY · Submitted 2026-05-05 · Read on arXiv

eess.SY, cs.SY

Submitted: 2026-05-05

Updated: 2026-09-18

Code: https://github.com/Jw1836/HyParLyVe

Terminology

• Lyapunov function — 26× in this paper · explained in 2 episodes
• Verification — 23× in this paper · explained in 2 episodes
• Activation Function — 6× in this paper · explained in 1 episode
• IEEE Conference on Decision and Control — 4× in this paper
• Verifier — 3× in this paper · explained in 2 episodes
• Benchmark — 2× in this paper · explained in 2 episodes
• Formal Methods — 1× in this paper · explained in 3 episodes
• Hybrid System — 1× in this paper · explained in 2 episodes
• International Conference on Machine Learning — 1× in this paper
• Robustness — 1× in this paper · explained in 5 episodes

Sources

• Computing Lyapunov functions using deep neural networks
• Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
• Reachability Analysis and Safety Verification for Neural Network Control Systems
• On the number of response regions of deep feed forward networks with piece-wise linear activations

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation