Learning Safe Neural Network Controllers with Barrier Certificates

2020/09/18 by Zhao, Hengjun, Zeng, Xia, Chen, Taolue +2 · 4 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · doi:10.48550/arxiv.2009.09826

Abstract

We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties. The controllers are based on neural networks (NNs). To certify the safety property we utilize barrier functions, which are represented by NNs as well. We train the controller-NN and barrier-NN simultaneously, achieving a verification-in-the-loop synthesis. We provide a prototype tool nncontroller with a number of case studies. The experiment results confirm the feasibility and efficacy of our approach.

Cited by

• Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
• Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
• Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer
• Risk-Bounded Multi-Agent Visual Navigation via Iterative Risk Allocation

Related

• Safe Control Under Input Limits with Neural Control Barrier Functions
• Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training
• BarrierNet: A Safety-Guaranteed Layer for Neural Networks
• Neural Certificates for Safe Control Policies
• Continuous-time Data-driven Barrier Certificate Synthesis