English

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming

Optimization and Control 2025-11-25 v2 Systems and Control Systems and Control

Abstract

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 remains challenging. In this note we introduce a simple invariance-based method for linear systems with safety guarantee. The proposed method uses sum-of-squares programming.

Keywords

Cite

@article{arxiv.2207.00321,
  title  = {Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming},
  author = {Han Wang and Kostas Margellos and Antonis Papachristodoulou},
  journal= {arXiv preprint arXiv:2207.00321},
  year   = {2025}
}

Comments

submitted to POEMA as an extended abstract

R2 v1 2026-06-24T12:10:55.587Z