1 code implementation • 12 Jul 2022 • Liren Yang
Event camera is a novel bio-inspired vision sensor that outputs event stream.
no code implementations • 9 Jul 2022 • Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay
This Minkowski difference needs to be represented as a constrained zonotope to enable subsequent computation, but, as we show, it is impossible to find a polynomial-sized representation for it in polynomial time.
no code implementations • 24 Jul 2021 • Liren Yang, Necmiye Ozay
We develop an algorithm that searches for "adversarial scenarios", which can be thought of as the strategy for the adversary representing the noise and disturbances, that lead to safety violations.
no code implementations • 4 Jul 2021 • Liren Yang, Necmiye Ozay
Zonotopes are widely used for over-approximating forward reachable sets of uncertain linear systems for verification purposes.