Viability Kernels for Non-Linear Systems

(draft)

Safety properties of nonlinear dynamical systems, formalized through viability kernels.

This paper investigates how viability theory can be used to characterize safe regions in the state space of nonlinear control systems — the set of initial conditions from which safety constraints can always be satisfied. Published at ICINCO 2018.