Search Results for author:
Found 4 papers, 1 papers with code
Ego-motion Estimation Based on Fusion of Images and Events
Event camera is a novel bio-inspired vision sensor that outputs event stream.
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
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.
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections
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.
Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems
Zonotopes are widely used for over-approximating forward reachable sets of uncertain linear systems for verification purposes.
