49 citations · 56 across the 7 of their papers we have counts for
6 papers · 1 filter
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin +1
Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorit…
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…
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…
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…
Correct-by-construction control synthesis for buck converters with event-triggered state measurement
Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz +1
In this paper, we illustrate a new correct-by-construction switching controller for a power converter with event-triggered measurements. The event-triggered measurement scheme is b…
Using control synthesis to generate corner cases: A case study on autonomous driving
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…