Safe Reach Set Computation via Neural Barrier Certificates

arXiv:2404.18813v1 Announce Type: cross
Abstract: We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates. Our approach uses barrier certificates given by parameterized neural networks that depend on a given initial set, unsafe sets, and time horizon. Such networks are trained efficiently offline using system simulations sampled from regions of the state space. We then employ a meta-neural network to generalize the …

abstract analysis arxiv autonomous autonomous systems computation cs.lg cs.lo cs.sy eess.sy networks neural networks novel safe safety set systems type verification via