arXiv:1612.01554 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords safety critical control, control lyapunov function, robustness, control barrier function enables controller, barrier function enables controller synthesis Tags conference paper, journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset