Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares

Li Wang 0050, Dongkun Han, Magnus Egerstedt. Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 585-590, IEEE, 2018. [doi]

Abstract

Abstract is missing.