Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems