Region of attraction estimation for a perching aircraft: A Lyapunov method exploiting barrier certificates | IEEE Conference Publication | IEEE Xplore