Reachability Analysis as a Safety Toolbox for Automation & Navigation — Much of the development in earlier control systems, automation, and dynamic systems was model-based, and vastly conservative which gained wider traction in modern times in the era of big data, efficient GPU, and other processors. In such a sense, data science and machine learning rediscovered and renamed many mathematical tools…