2 papers
cs.LG2024
Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
Shaoru Chen, Lekan Molu, Mahyar Fazlyab
Barrier functions are a general framework for establishing a safety guarantee for a system. However, there is no general method for finding these functions. To address this shortco…
eess.SY2023
Safety Filter Design for Neural Network Systems via Convex Optimization
Shaoru Chen, Kong Yao Chee, Nikolai Matni +2
With the increase in data availability, it has been widely demonstrated that neural networks (NN) can capture complex system dynamics precisely in a data-driven manner. However, th…