Scalable synthesis of safety certificates from data with application to learning-based control

Kim P. Wabersich, Melanie N. Zeilinger

The control of complex systems faces a trade-off between high performance and safety guarantees, which in particular restricts the application of learning-based methods to safety-c…