Thank you for reporting this station. We will review the data in question. You are about to report this weather station for bad data. Please select the information that is incorrect.

Abstract: An important tool for proving the safety of dynamical systems is the notion of a barrier certificate. In this paper, we prove that every robustly safe ordinary differential equation has a ...