49 citations · 56 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
eess.SY2021★ 4 cited
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections
Liren Yang, Necmiye Ozay
In this paper, we study feedback dynamical systems with memoryless controllers under imperfect information. We develop an algorithm that searches for "adversarial scenarios", which…
eess.SY2021★ 1 cited
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems
Liren Yang, Necmiye Ozay
Zonotopes are widely used for over-approximating forward reachable sets of uncertain linear systems for verification purposes. In this paper, we use zonotopes to achieve more scala…