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

Published in: CDC (2021)

Keyphrases