  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.
