Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
Han Wang, Kostas Margellos, Antonis Papachristodoulou
TL;DR
The paper introduces the elsarticle.cls LaTeX class to standardize formatting for Elsevier submissions and minimize package conflicts. It emphasizes compatibility with widely used packages and provides configurable options for preprint, final, and model layouts, including $1+$, $3+$, and $5+$ models. It offers a detailed installation workflow via Elsevier resources or CTAN and compares major differences with the older elsart.cls. The practical impact is streamlined, robust formatting for authors, reviewers, and publishers, reducing friction in the submission pipeline.
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.