9 citations · 17 across the 3 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2022★ 8 cited
Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
Han Wang, Kostas Margellos, Antonis Papachristodoulou
Safety is closely related to set invariance for dynamical systems. However, synthesizing a safe invariant set and at the same time synthesizing the associated safe controller still…
math.OC2022
Safety Verification and Controller Synthesis for Systems with Input Constraints
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…