Hengjun Zhao

Learning safe neural network controllers with barrier certificates

2021 · Formal Aspects of Computing

Abstract We provide a new 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 …