4 papers
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…
On the Value of Preview Information For Safety Control
Zexiang Liu, Necmiye Ozay
Incorporating predictions of external inputs, which can otherwise be treated as disturbances, has been widely studied in control and computer science communities. These predictions…
Scalable Computation of Controlled Invariant Sets for Discrete-Time Linear Systems with Input Delays
Zexiang Liu, Liren Yang, Necmiye Ozay
In this paper, we first propose a method that can efficiently compute the maximal robust controlled invariant set for discrete-time linear systems with pure delay in input. The key…
Safety Control with Preview Automaton
Zexiang Liu, Necmiye Ozay
This paper considers the problem of safety controller synthesis for systems equipped with sensor modalities that can provide preview information. We consider switched systems where…