A co-learning approach jointly optimizes a port-Hamiltonian system model and an energy-balancing passivity-based controller from data via alternating optimization with neural networks that embed structure for guaranteed passivity and stability.
Lyapunov-stable neural-network control
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
CT-BaB integrates branch-and-bound during training to tighten certified Lyapunov bounds, yielding neural controllers with 164X larger verifiable ROA and 11X faster verification than CEGIS on a 2D quadrotor.
A reinforcement learning policy learns to adaptively harvest data samples, improving empirical constraint satisfaction and training efficiency for Lyapunov NNs and PINNs.
Tutorial introducing applications of the existing α,β-CROWN verifier to scalable formal verification of neural network controllers via bound computation and domain partitioning.
citing papers explorer
-
Co-Learning Port-Hamiltonian Systems and Optimal Energy-Shaping Control
A co-learning approach jointly optimizes a port-Hamiltonian system model and an energy-balancing passivity-based controller from data via alternating optimization with neural networks that embed structure for guaranteed passivity and stability.
-
Adaptive Data Harvesting for Efficient Neural Network Learning with Universal Constraints
A reinforcement learning policy learns to adaptively harvest data samples, improving empirical constraint satisfaction and training efficiency for Lyapunov NNs and PINNs.
-
Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
Tutorial introducing applications of the existing α,β-CROWN verifier to scalable formal verification of neural network controllers via bound computation and domain partitioning.