Automaton-based Implicit Controlled Invariant Set Computation for Discrete-Time Linear Systems

Zexiang Liu, Tzanis Anevlavis, Necmiye Ozay +1

In this paper, we derive closed-form expressions for implicit controlled invariant sets for discrete-time controllable linear systems with measurable disturbances. In particular, a…