23 citations · 29 across the 3 of their papers we have counts for
3 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…
Controlled invariant sets: implicit closed-form representations and applications
Tzanis Anevlavis, Zexiang Liu, Necmiye Ozay +1
We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than expli…
Being correct is not enough: efficient verification using robust linear temporal logic
Tzanis Anevlavis, Matthew Philippe, Daniel Neider +1
While most approaches in formal methods address system correctness, ensuring robustness has remained a challenge. In this paper we present and study the logic rLTL which provides a…