On the sufficient conditions for input-to-state safety

In this paper, we present a novel notion of input-to-state safety (ISSf) for general nonlinear systems which can be useful for certifying system's safety under the influence of external bounded input (or disturbance) signals. We provide sufficient conditions for ISSf using barrier function/certificate which are analogous to the input-to-state stability Lyapunov function.