Learning Safe-by-Design Neural Network Controllers

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

eess.SY, cs.SY

Submitted: 2026-05-26

Updated: 2026-09-21

Terminology

• Computational overhead — 3× in this paper · explained in 2 episodes
• Activation Function — 2× in this paper · explained in 1 episode
• Control Barrier Functions (CBFs) — 2× in this paper · explained in 4 episodes
• Transformer — 2× in this paper · explained in 2 episodes
• Adam — 1× in this paper · explained in 2 episodes
• IEEE Conference on Decision and Control — 1× in this paper
• Mean Squared Error — 1× in this paper
• Regularization — 1× in this paper · explained in 3 episodes

Sources

• CAPIR: Collaborative Action Planning with Intention Recognition
• CAffNet: Hard Constraint-Affine Neural Networks

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