T
Tzanis Anevlavis
Researcher at University of California, Los Angeles
Publications - 11
Citations - 51
Tzanis Anevlavis is an academic researcher from University of California, Los Angeles. The author has contributed to research in topics: Computer science & Hierarchy (mathematics). The author has an hindex of 4, co-authored 9 publications receiving 22 citations. Previous affiliations of Tzanis Anevlavis include University of California.
Papers
More filters
Proceedings ArticleDOI
An enhanced hierarchy for (robust) controlled invariance
TL;DR: In this paper, the problem of computing controlled invariant sets for controllable discrete-time linear systems is revisited, where the problem is lifted to a higher dimensional space, where a closed-form expression for a set whose projection back onto the original space is proven to be controlled is computed.
Proceedings ArticleDOI
Evrostos: the rLTL verifier
TL;DR: This paper introduces Evrostos, the first tool for model checking formulas in rLTL, and presents several empirical studies, based on models and LTL formulas reported in the literature, confirming that rLLTL model checking for the aforementioned fragment incurs in a time overhead that makes the verification of rL TL practical.
Proceedings ArticleDOI
Verifying rLTL formulas: now faster than ever before!
TL;DR: This paper identifies and analyzes a fragment of rLTL for which the model checking problem can be solved using generalized Biichi automata with at most $3^{\vert \varphi\vert }$ states, a substantial improvement over the previously known bound of 5.
Posted Content
Being correct is not enough: efficient verification using robust linear temporal logic.
TL;DR: In this article, the authors introduce the logic rLTL which provides a means to formally reason about both correctness and robustness in system design, and they identify a large fragment of lTL for which the verification problem can be efficiently solved, i.e., verification can be done by using an automaton, recognizing the behaviors described by the lTL formula.
Proceedings ArticleDOI
A simple hierarchy for computing controlled invariant sets
Tzanis Anevlavis,Paulo Tabuada +1 more
TL;DR: This paper describes a hierarchy of spaces where the original problem can be lifted into so as to obtain a sequence of increasing controlled invariant sets and illustrates the performance of the proposed method on a variety of scenarios exemplifying its appeal.