TY - RPRT TI - Computing controlled invariant sets for hybrid systems with applications to model-predictive control AU - Benoît Legat AU - Paulo Tabuada AU - Raphaël M. Jungers PY - 2018 UR - https://arxiv.org/abs/1802.04522 ID - 1802.04522 ER -