49 citations · 56 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018★ 49 cited
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…
math.OC2018
On sufficient conditions for mixed monotonicity
Liren Yang, Oscar Mickelin, Necmiye Ozay
Mixed monotone systems form an important class of nonlinear systems that have recently received attention in the abstraction-based control design area. Slightly different definitio…