Abstract: We present a data-driven method for computing reachable sets for unknown nonlinear dynamical systems using a Koopman operator based approach. We find mixed-monotone decompositions for a ...
Abstract: Approximate computing techniques are essential for achieving low-power consumption in error-tolerant applications. This paper presents a novel design for a ...