TY - RPRT TI - Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming AU - Han Wang AU - Kostas Margellos AU - Antonis Papachristodoulou PY - 2022 DO - 10.1007/978-3-031-38659-6_7 UR - https://arxiv.org/abs/2207.00321 ID - 2207.00321 ER -