1 paper · 1 filter
Han Wang, Kostas Margellos, Antonis Papachristodoulou
In this paper we consider the safety verification and safe controller synthesis problems for nonlinear control systems. The Control Barrier Certificates (CBC) approach is proposed…